Type Theory Forall Podcast: David Christiansen (www.typetheoryforall.com)
In this episode we talk with David Christiansen, he wrote the books Functional Programming in Lean and the Little Typer....
Issue 420 :: Haskell Weekly newsletter (haskellweekly.news)
News about the Haskell programming language from 2024-05-16.
Haskell Interlude Podcast 49: Arseniy Seroka (haskell.foundation)
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...
The ultimate guide to Haskell Strings (hasufell.github.io)
GHC 9.10.1 is now available! (discourse.haskell.org)
h/t @bgamari
Issue 418 :: Haskell Weekly newsletter (haskellweekly.news)
News about the Haskell programming language from 2024-05-02.
Bluefin, a new effect system (discourse.haskell.org)
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....
[Well-Typed Blog] Improvements to the ghc-debug terminal interface (www.well-typed.com)
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...
Issue 416 :: Haskell Weekly newsletter (haskellweekly.news)
News about the Haskell programming language from 2024-04-18.
[Well-Typed Blog] Choreographing a dance with the GHC specializer (Part 1) (well-typed.com)
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.
OC TIL: wrapping list comprehension in a function can prevent fusion
This fuses:...
Oleg's gists - Core Inspection (oleg.fi)
Issue 415 :: Haskell Weekly newsletter (haskellweekly.news)
News about the Haskell programming language from 2024-04-11.
Haskell development job with Well-Typed (well-typed.com)
Issue 414 :: Haskell Weekly newsletter (haskellweekly.news)
News about the Haskell programming language from 2024-04-04.
Haskell Interlude 46: effectfully (haskell.foundation)
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.
Issue 413 :: Haskell Weekly newsletter (haskellweekly.news)
News about the Haskell programming language from 2024-03-28.
Pre-HFTP: GHC should offer low-level logging infrastructure (discourse.haskell.org)
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
Issue 412 :: Haskell Weekly newsletter (haskellweekly.news)
News about the Haskell programming language from 2024-03-21.
The Haskell Unfolder Episode 22: foldr-build fusion (well-typed.com)
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...
Haskell Interlude 45 - András Kovács (haskell.foundation)
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...
Issue 411 :: Haskell Weekly newsletter (haskellweekly.news)
News about the Haskell programming language from 2024-03-14.
[ANN] GHCup-0.1.22.0 released (discourse.haskell.org)
Botan: The first milestone | Haskell Cryptography Group (haskell-cryptography.org)
A step towards improving the state of Haskell cryptography