еще о нём же
появился вариант, способный грузить динамические
библиотеки в native-варианте. подробности см.

http://alain.frisch.fr/natdynlink.html

там же предлагают ocamlnat, toplevel, в реальном
времени компилирующий в native и подгружающий.

попробовавшие говорят, что ускорение по сравнению
с обычным ocamltop колоссальное (раз в сорок)