I am switching my systems modeling from other languages to OCaml or F# or Haskell.
Besides the functional clarity, a very important reason is that these languages are well suited to execution on multiple cores/processors. They scale. C++/# will not, except by way of unsatisfactory...