В OCaml нет простого способа выполнить код, определенный во время выполнения.Это статически скомпилированный язык.
С некоторыми усилиями вы можете запустить компилятор OCaml из своего кода, а затем загрузить результат в виде разделяемой библиотеки.Или вы можете связать интерпретатор OCaml с вашей программой.
ИМХО, как правило, плохой план выполнения кода, который генерируется динамически.Это дает программе потрясающую мощность, но чрезвычайно трудно контролировать (и понимать).