Recherche:

Tu opposes Scheme/Lisp et OCaml/Haskell au niveau des capacités d'auto-transformation syntaxique, et tu dis "il y a un lien avec le typage". Je prétends que le lien est en fait syntaxique : la...

Certes, mais ce n'est pas lié au système de typage. La plupart des langages typés permettent ce genre de choses en plaçant dans les parties à compléter des valeurs divergentes.

Exemple en OCaml :...