Pattern matching, strong typing with type inference and mutability by default are certainly not available in &quot;acceptable&quot; mainstream languages.  Also OCaml is highly productive, very fast to run, and you can just call down to C when you need to use a library.