Conversely, OCaml allows you the pleasure of a ML-style language without being shackled to .NET.
It is a very, very nice language to work with. Its performance when compiled is nothing to sneeze at, either.
Basically, short of any intensive bit twiddling, I'd take OCaml over C. You get the speed of of native code with the expressivity, type safety and memory management features of a higher level language. It is easier to write solid apps with, since it's harder to screw things up in OCaml.
It is a very, very nice language to work with. Its performance when compiled is nothing to sneeze at, either.
Basically, short of any intensive bit twiddling, I'd take OCaml over C. You get the speed of of native code with the expressivity, type safety and memory management features of a higher level language. It is easier to write solid apps with, since it's harder to screw things up in OCaml.