Pas du tout, et même pas dans le cas que je cite. Un type de liste indexé par un entier n'est pas un type liste indexé par le type entier (int) mais par des valeurs de type entier. C'est a dire que la liste vide est de type "('a,0) list" et que le constructeur "::" est de type "'a -> ('a,n) list -> ('a, (n+1)) list". Et oui le "n" est bien une *avleur* entière qui dit que la liste est de taile "n".
Ceci est impossible à faire en OCaml ou Haskell, c'est bien pour ca que des gens développent Concoqtion, Cayenne, Epigram, Twelf, etc .... Si c'était si trvial je pense pas que tant de gens se ferait chier pour rien.
[^] # Re: Les langages sécurisés ca existe !
Posté par GTof . En réponse au journal Qu'est-ce qu'un langage sécurisé ?. Évalué à 2.
Ceci est impossible à faire en OCaml ou Haskell, c'est bien pour ca que des gens développent Concoqtion, Cayenne, Epigram, Twelf, etc .... Si c'était si trvial je pense pas que tant de gens se ferait chier pour rien.