Unlike Perl, OCaml is AOT compiled in a very efficient machine code, has a good static type system and has a good concurrency support. Both are not very mainstream.