The compiler is written in OCaml. This ensures high portability, reasonable speed, along with modularization and type safety.