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...
Issue 418 :: Haskell Weekly newsletter (haskellweekly.news)
News about the Haskell programming language from 2024-05-02.
[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...
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....
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.
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.
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.
Botan: The first milestone | Haskell Cryptography Group (haskell-cryptography.org)
A step towards improving the state of Haskell cryptography
[Well-Typed Blog] GHC activities report: December 2023–February 2024 (well-typed.com)
Read about the latest GHC development activity in this report from Well-Typed.
Issue 410 :: Haskell Weekly newsletter (haskellweekly.news)
News about the Haskell programming language from 2024-03-07.
The Haskell Unfolder Episode 21: testing without a reference (well-typed.com)
The best case scenario when testing a piece of software is when we have a reference implementation to compare against. Often however such a reference is not available, begging the question how to test a function if we cannot verify what that function computes exactly. In this episode we will consider how to define properties to...
2024 Haskell Ecosystem Workshop, June 6-7, co-located with Zurihac (discourse.haskell.org)
In this two-day event, held on the lakeside campus of OST in lovely Rapperswil, Switzerland, you can learn what you need to know in order to get started working on these tools. We’ve asked the presenters to identify ‘good first issues’ for those wanting to get their feet wet on contributing. Because the workshop is...
Haskell Interlude 44: José Manuel Calderón Trilla (haskell.foundation)
Wouter and Niki interview Jose Calderon, the new Executive Director of the Haskell Foundation. Jose tells why he applied for the job, how he sees the foundation developing over the coming years, and how you can get involved in the Haskell community.