>lose the ability to reason about order of execution
>But does it really result in more performant code?
That is not the goal. The goal is being able to reason about the code, and write code that is correct. The fact that it performs very well is due to a high quality compiler, not purity.
> Every benchmark I've ever seen, more practical languages like Ocaml have come out on top.
Doesn't look that way from here: http://benchmarksgame.alioth.debian.org/u32/ocaml.php
How exactly is a language that is unable to handle parallelism "more practical" than one that handles it better than virtually any other language?
> And haskell has extensible records, they are just a library like anything else:
And OCaml has monads, they are just a library like else.
Then what? You made the vague statement, make it not vague.
>And OCaml has monads, they are just a library like else.
And? I did not claim ocaml lacks monads. You claimed haskell lacks extensible records. You do understand that my post was a direct reply to what you said right? Not just some random things I felt like saying for no particular reason.