&gt; Is there a language X that allows you to write high performance X without huge amounts of profiling and time?<p>Yeah, if high-performance is something faster than Haskell I&#x27;m already there with C++. If I understand copy&#x2F;move semantics I won&#x27;t get bitten by anyone, same thing with laziness in Haskell, although sometimes I stumble a bit.<p>Of course we&#x27;re all talking about C++14. I guess everyone else is talking about GHC 8.+, at least in this thread.<p>&gt; You can&#x27;t really compare development time though can you, even with C++x11? Even if so, you should probably specify the version of C++ you are referring to since they can mean very different experiences.<p>Write a highly performant discrete optimization in Haskell using monad transformers that have overhead, laziness that has overhead, and almost everything has several levels of indirection.
Yes, I can write a prototype that is sufficiently fast, I can then profile and write a version that Haskell might never reach. And yes, it&#x27;ll probably take me less time to do than to do the same with Haskell, it might be my lack of expertise, who knows, I&#x27;ve tried.