J'ai récemment dû faire un logiciel en C++, et j'ai saisi l'occasion
de me renseigner sur le librairie "STL".  Il était facile une fois que
je m'étais rendu compte que les templates sont essentiellement
identiques aux "functors" ML :).

---Alors, me dis-je, pourquoi ne pas écrire la même utilitaire en ML,
et peut-être le logiciel entier?  (Il s'agit d'une librairie petite
pour manipuler les "sparse vectors" au moyen des "iterators" .)

Mais il semble que ocaml implément les functors au moyen des
"dispatch tables"; ça marche donc un peu lentement.  Est-ce qu'il y a
une raison pour laquelle les fonctions dans les functors ne peuvent
pas être mise "inline"?




I recently had to write a program in C++, and I took the opportunity
to learn about the STL.  It was easy once I realised that templates
are essentially identical to ML functors :).

"OK", I thought, "why not write the same utility in ML, and perhaps
the whole program?"  (It's a little library for manipulating sparse
vectors using iterators.)

But it seems that ocaml implements functors with dispatch tables, so
it runs a bit slowly.  Is there some reason why functors cannot be
treated as normal code, much as C++ treats templates, and functions
from functors treated as candidates for inlining?