GHC activities report: April–May 2023 (well-typed.com)
Read about the latest GHC development activity in this report from Well-Typed. Highlights include bug fixes and performance improvements.
Read about the latest GHC development activity in this report from Well-Typed. Highlights include bug fixes and performance improvements.
As one of its moderators, I am making the Haskell sub-Reddit private to protest Reddit’s planned changes to API pricing. This is part of a coordinated effort that you can read more about here: I am posting this announcement here because if I posted it to Reddit, nobody would be able to see it. Also I’m recommending that...
In this episode Niki Vazou and Mattias Pall chat with Richard Eisenberg. Richard is currently a language designer at Jane Street, he is the chair of the board at the Haskell Foundation and known for his work on the GHC compiler. Today we talk about dependent types in Haskell, how to get involved with GHC and Haskell foundation...
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.
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.
When composing several list-processing functions, GHC employs an optimisation called foldr-build fusion. Fusion combines functions in such a way that any intermediate lists can often be eliminated completely. In this episode, we will look at how this optimisation works, and at how it is implemented in GHC: not as built-in...
In this episode, András Kovács is being interviewed by Andres Löh and Matthias Pall Gissurarson. We learn how to go from economics to functional programming, how GHC's runtime system is superior to Rust's, the importance of looking at GHC's Core for spotting stray closures, and why staging might be the answer to all your...
News about the Haskell programming language from 2024-03-14.