3 ms·
And some people think laziness is still good and a desire-able property [0]. tldr; laziness enables a lot of optimizations for high-level languages that are go
by agentultra 3y ago
And some people think laziness is still good and a desire-able property [0].
tldr; laziness enables a lot of optimizations for high-level languages that are good for performance. Laziness/strictness aren't direct causes for performance but impact it in different ways. There are a lot of myths around thunks and memory usage. There are still fertile areas for improvement.
Haskell is suitable for industrial use and production. Most of the research being done these days is around maintaining an industrial-grade compiler pipeline while supporting new, interesting features [1]. And it has been that way for quite a long time now.
[0] https://www.youtube.com/watch?v=fSqE-HSh_NU https://www.youtube.com/watch?v=fSqE-HSh_NU
[1] https://www.researchgate.net/publication/334751646_Dependently_typed_Haskell_in_industry_experience_report https://www.researchgate.net/publication/334751646_Dependent...