Pour simplifier, dans un GADT par rapport au type somme classique, tu peux y mettre des fonctions en plus des type de donnés. Ok.
L'exemple d'AST que tu donnes, je pense que cela peut se coder avec des variants en jouant sur des ensembles fermés.
"De façon générale, mais ce n’est que mon avis, les fonctions avancées des langages fonctionnels sont surtout intéressantes parce qu’elles permettent d’écrire rapidement et de façon très concise (surtout en Haskell) du code sûr et performant."
Tout le monde veut écrire du code rapidement et sans bug !
[^] # Re: langage fonctionnel
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Ada, langage et ressources. Évalué à 1.
Pour simplifier, dans un GADT par rapport au type somme classique, tu peux y mettre des fonctions en plus des type de donnés. Ok.
L'exemple d'AST que tu donnes, je pense que cela peut se coder avec des variants en jouant sur des ensembles fermés.
"De façon générale, mais ce n’est que mon avis, les fonctions avancées des langages fonctionnels sont surtout intéressantes parce qu’elles permettent d’écrire rapidement et de façon très concise (surtout en Haskell) du code sûr et performant."
Tout le monde veut écrire du code rapidement et sans bug !
"La première sécurité est la liberté"