Un point de vue sur les types
Le mot type est lourdement surchargé en informatique.
J'adopte la position du typage statique fort, avec comme exemple ML
(en version française : Caml)
Cette position exige un système de types rigoureux, qui permet de calculer les types (inférence de types).
Conséquence : en O'Caml (extension objet de Caml),
les relations d'héritage et des sous-typage sont distinctes.
En outre, dans la plupart des langages fortement typés, les types n'apparaissent qu'à la compilation,
et disparaissent du code exécutable engendré.
On peut par exemple schématiser un compilateur Caml en le décrivant comme
un compilateur Scheme précédé d'un contrôleur de types :
le générateur de code Scheme n'est appelé que si le contrôleur de types donne son feu vert...