> I do wonder if one might get those same benefits in another language without the problems which seem to crop up with Haskell
Not until other languages raise their game. Nothing compares to Haskell for productivity and I've tried many different languages professionally over the years (including Haskell).
But yes, reasoning about what happens operationally is the big problem.
> Not until other languages raise their game. Nothing compares to Haskell for productivity and I've tried many
different languages professionally over the years (including Haskell).
100% agree.
> But yes, reasoning about what happens operationally is the big problem.
In GHC Haskell, it can be difficult to predict the lifetime of heap objects and control when objects are not shared (optimisations may or not lift terms out of a local context).
Not until other languages raise their game. Nothing compares to Haskell for productivity and I've tried many different languages professionally over the years (including Haskell). But yes, reasoning about what happens operationally is the big problem.