[Haskell'22] Industrial Strength Laziness: What's Next?

Industrial Strength Laziness: What's Next?
David Thrane Christiansen (The Haskell Foundation)
The story of Haskell is that of a Utopian dream and the struggle to make it real. Both purity and laziness are radical departures from the low-level details of computer hardware, and yet today we have an industrial-strength compiler and a thriving library ecosystem. Haskell is used in industry for purposes as varied as payment processing, formal verification of cryptography, freight forwarding, and spam fighting. By bringing the same attention to detail, practicality, and respect for elegant theory to bear on new problems, researchers can continue the cycle of improvements to Haskell that has given us all so much.
High-quality batch-mode compilation, an unusually expressive type system, and a fast concurrent runtime system are not the only relevant aspects of Haskell implementations. In 2022, an implementation of a programming language is additionally expected to assist its users with writing a program, by offering useful feedback as quickly as possible and by providing operations on the program text that are at a higher level of abstraction than the insertion and deletion of characters. While the open-source Haskell community is working on tools to address these needs, there are also opportunities for the research community to do work with real impact on programming practice. In this talk, I’ll describe some of these opportunities, as well as some ways that the Haskell Foundation can work to multiply the impact of research on Haskell practice.

[@NiDeCo]

OMG YES! A handbook for optimizing Haskell would be VERY much appreciated!

[@Lorenzo1938]

Haskell (which i use) will be a great programming language for everybody after they somewhat slow a lot in inserting additional features, and concentrate to refine the actual implementation and all the tooling like cabal or stack and everything else. Is the next step for me to tell the industries "hey, you can use me!"

[@worgenzwithm14z]

Wow I wish this video got recommended to me sooner, this was inspiring

[@mattinykanen4780]

Regarding Impact: Robert C. Martin has a new book called "Functional Design" (Addison Wesley, 2024; despite the copyright year, the book has been available since October 2023) where he goes through the GoF patterns and uses them with Clojure (not Haskell, sorry!).

[@32gigs96]

That man is a con artist. No thank you

[@mattinykanen4780]

@@32gigs96I agree: he is a con artist. And not a very skilled one, either: by page 32, I realized that I could use his own example in my algorithmics course as an example of how _not_ to do algorithm analysis.
But that is one sign of impact and maturity: a professional con man would not bother to write yet another book if there wasn't a quick buck to be made in FP. There hasn't been, until now.
Someone (Oscar Wilde?) once said that "imitation is the sincerest form of flattery". In the same vein, attention from a professional con artist is an honest evaluation of what something is really worth. An underhanded compliment to be sure, but a compliment nevertheless.
In compliments, as in life at large, beggars can't be choosers: you take whatever you get.
(This posting is has been a joint effort of my brain and the Boston Scientific Vercise Genus R16 graciously planted into it by the Finnish government, the Happiest Country in the World... 🤖)

[@ingframin]

If we could add something better than Jupyter notebook, that would be huge!