Ocaml из коробки предлагает на выбор, что делать с кодом:
a) интерпретировать
b) компилировать в машинный код
c) компилировать в байт-код
d) выкинуть нахер и забыть как страшный сон
Очевидно, что на первом месте компилятор, на третьем - интерпретатор.
http://www.ibm.com/developerworks/ru...8_2/index.html