OCaml
scamp