It may be of interest to some that Bloomberg has an ocaml based DSL built in for pricing exotic derivatives.