Auteur : Till Varoquaux

Titre :
Compilation multi-passe en OCaml : trancher le noeud Gordien sans
perdre les types ni la concision...


Résumé :
La compilation est souvent présentée comme une série de
micro transformations atomiques. Cette présentation utilise une
kyrielle d'arbres intermédiaires ayant tous des types différents.

Dans les langages fortement typés on ne retrouve généralement pas ce
découpage dans le code source. En effet, beaucoup de systèmes de type
imposent un choix entre le partage de fonction et l'extensibilité des types
et forcent donc à perdre la concision ou la sûreté du typage.

Heureusement pour nous, OCaml possède tout les outils nécessaires pour
apporter une solution satisfaisante à ce problème.

Cette présentation nécessite une compréhension rudimentaire de ML et
de son système de type. La solution présentée illustre l'utilité de
fonctionnalités ésotériques (monades,module récursifs,type variants
polymorphes...) qui seront introduites .