Salut, je trouve certaines idées intéressante, mais il y a un point que je voudrais comprendre :
Cependant, à la différence de la plupart des langages de programmation, une valeur n'a pas un unique type. Au contraire, je m'inspire ici des mathématiques :
42 est un entier mais aussi un réel
(1; 2) est un vecteur 2D mais aussi une matrice 2x1
En quoi est-ce différent du système de haskell, dont les classes de type permet de résoudre élégamment se problème ?
# Intéressant
Posté par Anthony Jaguenaud . En réponse au journal Letlang, encore un nouveau langage de programmation. Évalué à 7. Dernière modification le 06 janvier 2022 à 09:25.
Salut, je trouve certaines idées intéressante, mais il y a un point que je voudrais comprendre :
En quoi est-ce différent du système de haskell, dont les classes de type permet de résoudre élégamment se problème ?