This is the second of a two-part series of blog posts focused on GHC’s specialization optimization. Part 1 acts as a reference manual documenting exactly how, why, and when specialization works in GHC. In this post, we will finally introduce the new tools and techniques we’ve developed to help us make more precise,...
News about the Haskell programming language from 2024-06-13.
News about the Haskell programming language from 2024-06-06.
"Duality" is the idea that two concepts are "similar but opposite" in some precise sense. The discovery of a duality enables us to use our understanding of one concept to help us understand the dual concept, and vice versa. It is a powerful technique in many disciplines, including computer science. In this episode of the Haskell...
News about the Haskell programming language from 2024-05-30.
In this episode we talk with David Christiansen, he wrote the books Functional Programming in Lean and the Little Typer....
News about the Haskell programming language from 2024-05-16.
Wouter and Joachim interview Arseny Seroka, CEO of Serokell. Arseny got into Haskell because of a bet over Pizza, fell for it because it means fewer steps between his soul and his work, and founded Serokell because he could not get a Haskell job. He speaks about the business side of a Haskell company, about the need for more...
h/t @bgamari
News about the Haskell programming language from 2024-05-02.
ghc-debug is a debugging tool for performing precise heap analysis of Haskell programs (check out our previous post introducing it). While working on Eras Profiling, we took the opportunity to make some much needed improvements and quality of life fixes to both the ghc-debug library and the...
I've mentioned my new effect system, Bluefin, a few times on this forum. It's now ready for me to announce it more formally....
News about the Haskell programming language from 2024-04-18.
This is the first of a two-part series of blog posts on GHC specialization, an optimization technique used by GHC to eliminate the performance overhead of ad-hoc polymorphism and enable other powerful optimizations. There will also be a Haskell Unfolder episode about this topic.
This fuses:...
News about the Haskell programming language from 2024-04-11.
News about the Haskell programming language from 2024-04-04.
Roman, known better online as effectfully, is interviewed by Wouter and Joachim. On his path to becoming a Plutus language developer at IOG, he learned English to read Software Foundations, has encountered many spaceleaks, and used Haskell to prevent robots from killing people.
News about the Haskell programming language from 2024-03-28.
Logs are a critical thing in production systems and I would like to start a discussion about bringing low-level support for efficient logging into GHC
News about the Haskell programming language from 2024-03-21.