[TOULOUSE] Venez assister à une conférence de MATHS faite par un KHEY !
Le 12 avril 2024 à 10:58:04 :
Je suis bourré
je comprends rien
ça vas parler Ocaml et Prolog
Nope, ça va parler catégories khey
Mais ocaml est un exemple de langage dont on étudie la sémantique via les catégories, en effet
En fait, ocaml implémente même une forme de théorie des catégories avec ses modules/foncteurs
Le 12 avril 2024 à 11:02:20 :
Le 12 avril 2024 à 10:58:04 :
Je suis bourré
je comprends rien
ça vas parler Ocaml et PrologNope, ça va parler catégories khey
Mais ocaml est un exemple de langage dont on étudie la sémantique via les catégories, en effet
En fait, ocaml implémente même une forme de théorie des catégories avec ses modules/foncteurs
Bon courage, faire une conf c'était ma phobie avant que je tombe à la douce AAH
Le 12 avril 2024 à 11:07:37 :
Le 12 avril 2024 à 11:02:20 :
Le 12 avril 2024 à 10:58:04 :
Je suis bourré
je comprends rien
ça vas parler Ocaml et PrologNope, ça va parler catégories khey
Mais ocaml est un exemple de langage dont on étudie la sémantique via les catégories, en effet
En fait, ocaml implémente même une forme de théorie des catégories avec ses modules/foncteursBon courage, faire une conf c'était ma phobie avant que je tombe à la douce AAH
Bonne conférence khey
Données du topic
- Auteur
- ChaiseIongue
- Date de création
- 12 avril 2024 à 10:39:39
- Nb. messages archivés
- 52
- Nb. messages JVC
- 51