La syntaxe des types paramétrés est une vieille discussion qui n'a pas attendu Reason; la "syntaxe révisée" de Camlp4 était déjà disponible en 2001 et faisait ce changement. Je n'ai pas en mémoire de discussion récente au sein de l'équipe de développement, mais je pense que tout le monde est convaincu que l'écriture list 'a est meilleure sur le long terme1. (Un autre aspect de la syntaxe révisée qui était une amélioration est pour les constructeurs, Cons of 'a and 'a list et ensuite Cons 1 Nil dans les expressions et les motifs).
1: par "sur le long terme" j'entends que la syntaxe int list est en fait assez naturelle (voire élégante) en anglais—elle a été choisie pour ça—mais que les coûts se sont révélés avec le temps: le fait que tous les langages utilisent l'autre ordre et qu'on programme plus au niveau des types qu'à l'époque où ML est né, c'est clair qu'utiliser le même sens que l'application au niveau des termes est le meilleur choix. Après je fais partie des gens qui préféreraient qu'on écrive (x)f en maths, mais c'est encore un autre débat.
[^] # Re: Questions en vrac.
Posté par gasche . En réponse au journal Pourquoi la recherche en langages de programmation ?. Évalué à 3.
La syntaxe des types paramétrés est une vieille discussion qui n'a pas attendu Reason; la "syntaxe révisée" de Camlp4 était déjà disponible en 2001 et faisait ce changement. Je n'ai pas en mémoire de discussion récente au sein de l'équipe de développement, mais je pense que tout le monde est convaincu que l'écriture
list 'aest meilleure sur le long terme1. (Un autre aspect de la syntaxe révisée qui était une amélioration est pour les constructeurs,Cons of 'a and 'a listet ensuiteCons 1 Nildans les expressions et les motifs).1: par "sur le long terme" j'entends que la syntaxe
int listest en fait assez naturelle (voire élégante) en anglais—elle a été choisie pour ça—mais que les coûts se sont révélés avec le temps: le fait que tous les langages utilisent l'autre ordre et qu'on programme plus au niveau des types qu'à l'époque où ML est né, c'est clair qu'utiliser le même sens que l'application au niveau des termes est le meilleur choix. Après je fais partie des gens qui préféreraient qu'on écrive (x)f en maths, mais c'est encore un autre débat.