Reprenons l'exemple de add :: Int -> Int -> Int. C'est un théorème qui dit "Pour tout Int, pour tout autre Int, alors je peux associer un Int". Et la preuve est une preuve par construction avec la fonction + qui associe un Int à tout couple de deux Int.
...je ne vois toujours pas de relation hiérarchique (ou d'ordre) entre les deux premiers Int. Et donc, je continue à trouver cette syntaxe déroutante/inadaptée. Et j'ai tendance à penser que ce genre de choix, même si il peut trouver une justification dans les mathématiques classiques (que je ne vois pas pour le moment), est une bonne manière de tuer l'adoption d'un langage.
[^] # Re: Haskell super expressif ?
Posté par Dring . En réponse au journal Comprendre Go en 5 minutes, en Haskell. Évalué à 2.
Dans...
...je ne vois toujours pas de relation hiérarchique (ou d'ordre) entre les deux premiers Int. Et donc, je continue à trouver cette syntaxe déroutante/inadaptée. Et j'ai tendance à penser que ce genre de choix, même si il peut trouver une justification dans les mathématiques classiques (que je ne vois pas pour le moment), est une bonne manière de tuer l'adoption d'un langage.