En complément, ça pourrait t'intéresser en tant que développeur OCaml ;-)
J'avais fait un commentaire sur un article de Gérard Huet où il aborde l'analogie entre grammaire et typage.
Ou encore, cet article avec analyse sémantique des langues naturelles par des lambad-termes avec paradigme CPS (Continuation Passing Style).
Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.
[^] # Re: Ouane pourquoi pas, mais ça se contredit dès Tou !
Posté par kantien . En réponse au journal You are legion. Évalué à 3.
En complément, ça pourrait t'intéresser en tant que développeur OCaml ;-)
J'avais fait un commentaire sur un article de Gérard Huet où il aborde l'analogie entre grammaire et typage.
Ou encore, cet article avec analyse sémantique des langues naturelles par des lambad-termes avec paradigme CPS (Continuation Passing Style).
Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.