Domande taggate «category-theory»

La teoria delle categorie viene utilizzata per formalizzare la matematica ei suoi concetti come una raccolta di oggetti e frecce (chiamati anche morfismi). La teoria delle categorie può essere utilizzata per formalizzare concetti di altre astrazioni di alto livello come la teoria degli insiemi, la teoria degli anelli e la teoria dei gruppi. (Di Steve Awodey)

La teoria delle categorie è utile per l'apprendimento della programmazione funzionale?

Sto imparando Haskell e sono affascinato dalla lingua. Tuttavia non ho alcuna seria matematica o background CS. Ma sono un programmatore di software esperto. Voglio imparare la teoria delle categorie in modo da poter diventare migliore in Haskell. Quali argomenti nella teoria delle categorie dovrei imparare a fornire una buona …

118 programming-languages functional-programming category-theory

In che modo sono collegati i linguaggi di programmazione e le basi della matematica?

Fondamentalmente sono a conoscenza di tre basi per la matematica Insiemistica Teoria dei tipi Teoria delle categorie Quindi, in che modo sono correlati i linguaggi di programmazione e le basi della matematica? MODIFICARE La domanda originale era "Linguaggi di programmazione basati su basi matematiche" con l'aggiunta del paragarfo di E …

30 programming-languages history type-theory category-theory

Qual è la relazione tra i funzionali nella teoria SML e della categoria?

Lungo lo stesso pensiero di questa affermazione di Andrej Bauer in questa risposta La comunità di Haskell ha sviluppato una serie di tecniche ispirate alla teoria delle categorie, di cui le monadi sono più conosciute ma non devono essere confuse con le monadi . Qual è la relazione tra funtori …

24 programming-languages functional-programming category-theory

Cosa si intende per teoria delle categorie che non sa ancora come gestire le funzioni di ordine superiore?

Nel leggere la risposta di Uday Reddy a Qual è la relazione tra i funzionari nella teoria SML e della categoria? Stati Uday La teoria delle categorie non sa ancora come gestire le funzioni di ordine superiore. Un giorno lo farà. Poiché pensavo che la teoria delle categorie potesse servire …

22 functional-programming category-theory

Teoria delle categorie (non) per la programmazione?

Dopo aver appreso Haskell e altri linguaggi FP non altrettanto puri, ho deciso di leggere la teoria delle categorie. Dopo aver acquisito una buona conoscenza della teoria delle categorie, ho iniziato a pensare a come i concetti della teoria delle categorie possano essere usati per pensare alla progettazione di programmi, …

21 functional-programming category-theory

Eventi naturali di monadi che fanno uso del quadro teorico di categoria

Oggi, un discorso di Henning Kerstan ("Trace Semantics for Probabilistic Transition Systems") mi ha confrontato per la prima volta con la teoria delle categorie. Ha costruito un quadro teorico per descrivere i sistemi di transizione probablistica e il loro comportamento in modo generale, cioè con insiemi di stati infiniti e …

18 applied-theory category-theory

Richiesta di riferimento: teoria delle categorie in quanto si applica ai sistemi di tipi

Continuo a sentire come si deve imparare la teoria delle categorie per comprendere veramente la teoria del linguaggio di programmazione. Finora ho appreso molti PL senza mai entrare nel regno delle categorie. Tuttavia, ho pensato che fosse tempo di fare il salto per vedere cosa mi mancava. Sfortunatamente, nessuna delle …

13 reference-request programming-languages type-theory category-theory

Esiste un isomorfismo tra (sottoinsieme di) teoria delle categorie e algebra relazionale?

Viene dalla prospettiva dei big data. Fondamentalmente, molti framework (come Apache Spark) "compensano" la mancanza di operazioni relazionali fornendo interfacce tipo Functor / Monad e c'è un movimento simile verso conversioni da gatti a SQL (Slick in Scala). Ad esempio, abbiamo bisogno di un join naturale (supponendo che non vi …

12 relational-algebra category-theory curry-howard

Qual è esattamente la differenza semantica tra categoria e set?

In questa domanda, ho chiesto quale sia la differenza tra set e type . Queste risposte sono state molto chiare (ad esempio @AndrejBauer), quindi nella mia sete di conoscenza, mi sottopongo alla tentazione di chiedere lo stesso riguardo alle categorie: Ogni volta che leggo della teoria delle categorie (che certamente …

11 sets category-theory

Quale fixpoint è il tipo di elenco Haskell?

Diciamo che gli elenchi sono definiti come List a = Nil | Cons a (List a) Quindi, in Haskell è List xil punto di correzione più grande o meno? Sto chiedendo perché lfp dovrebbe escludere elenchi infiniti (ma è possibile costruirli in Haskell), mentre gfp dovrebbe escludere quelli finiti.

9 programming-languages type-theory functional-programming semantics category-theory

I formalismi della teoria delle categorie possono sostituire quelli della teoria dei tipi?

Le sottigliezze della corrispondenza tra teoria dei tipi e teoria delle categorie sono al di fuori della mia comprensione. Tuttavia, dalla mia ingenua comprensione della relazione tra le due discipline storicamente convergenti, quest'ultima sussume interamente la prima. In tal caso, il linguaggio e le descrizioni formali / grafiche utilizzate dai …

8 type-theory category-theory

Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.

Licensed under cc by-sa 3.0 with attribution required.