La théorie des catégories est utilisée pour formaliser les mathématiques et ses concepts comme une collection d'objets et de flèches (également appelées morphismes). La théorie des catégories peut être utilisée pour formaliser des concepts d'autres abstractions de haut niveau telles que la théorie des ensembles, la théorie des anneaux et la théorie des groupes. (Par Steve Awodey)
J'apprends Haskell et je suis fasciné par la langue. Cependant, je n'ai aucun fond sérieux en mathématiques ou en CS. Mais je suis un programmeur expérimenté. Je veux apprendre la théorie des catégories afin de devenir meilleur à Haskell. Quels sujets de la théorie des catégories devrais-je...
Fondamentalement, je connais trois fondements des mathématiques Théorie des ensembles Théorie des types Théorie des catégories Alors, en quoi les langages de programmation et les fondements des mathématiques sont-ils liés? MODIFIER La question d'origine était "Langages de programmation basés sur...
Dans le même esprit que cette déclaration d' Andrej Bauer dans cette réponse La communauté Haskell a développé un certain nombre de techniques inspirées de la théorie des catégories, dont les monades sont les plus connues mais ne doivent pas être confondues avec les monades . Quelle est la relation...
En lisant la réponse d' Uday Reddy à Quelle est la relation entre les foncteurs en SML et la théorie des catégories? États Uday La théorie des catégories ne sait pas encore comment gérer les fonctions d'ordre supérieur. Un jour, ce sera le cas. Comme je pensais que la théorie des catégories pouvait...
Après avoir appris Haskell et d'autres langages de FP pas si purs, j'ai décidé de lire sur la théorie des catégories. Après avoir acquis une bonne compréhension de la théorie des catégories, j'ai commencé à réfléchir à la façon dont les concepts de la théorie des catégories peuvent être utilisés...
Aujourd'hui, une conférence de Henning Kerstan ("Trace Semantics for Probabilistic Transition Systems") m'a confronté pour la première fois à la théorie des catégories. Il a construit un cadre théorique pour décrire les systèmes de transition probabilistes et leur comportement de manière générale,...
Je n'arrête pas d'entendre comment on doit apprendre la théorie des catégories pour vraiment comprendre la théorie du langage de programmation. Jusqu'à présent, j'ai appris beaucoup de PL sans jamais entrer dans le domaine des catégories. Cependant, j'ai pensé qu'il était temps de faire le saut...
Cela vient du Big Data. Fondamentalement, de nombreux frameworks (comme Apache Spark) "compensent" le manque d'opérations relationnelles en fournissant des interfaces de type Functor / Monad et il existe un mouvement similaire vers les conversions de chats en SQL (Slick in Scala). Par exemple, nous...
Dans cette question, j'ai demandé quelle est la différence entre set et type . Ces réponses ont été vraiment clarifiantes (par exemple @AndrejBauer), donc dans ma soif de connaissances, je me soumets à la tentation de poser la même question sur les catégories: Chaque fois que je lis sur la théorie...
Disons que les listes sont définies comme List a = Nil | Cons a (List a) Alors, à Haskell est List xle plus grand point ou le moins fixe? Je demande parce que le lfp devrait exclure les listes infinies (mais vous pouvez les construire dans Haskell), tandis que le gfp devrait exclure les listes...
Les subtilités de la correspondance entre la théorie des types et la théorie des catégories sont en dehors de mon ken. Cependant, par ma compréhension naïve de la relation entre les deux disciplines historiquement convergentes, cette dernière subsume entièrement la première. Si tel est le cas, le...