Well-Typed

Today, Wednesday, 2025-07-09, at 1830 UTC, there's going to be a new episode of the #Haskell #Unfolder. Edsko and @kosmikus will show how to develop a small but useful Haskell CLI application completely from scratch. youtube.com/watch?v=5W0ZUY…

On Wednesday, 2025-06-25, at 1830 UTC, there will be a new episode of the #Haskell #Unfolder. This time, Edsko and I will discuss the current situation of records in Haskell. youtube.com/watch?v=9hrDm7…

Check out the latest #Haskell toolchain development report from Well-Typed: well-typed.com/blog/2025/06/g…

From GHC 9.14, GHCi will fully support Multiple Home Units, so you can load a whole multi-package Haskell project into a single GHCi session and use the REPL normally! well-typed.com/blog/2025/06/g…

Well-Typed have come up with a great way to provide concrete value to clients while ensuring that the wider Haskell ecosystem gets investment. Thank you, Well-Typed!

Well-Typed are delighted to be working in partnership with @haskellfound to support companies investing in the #Haskell tooling ecosystem: well-typed.com/blog/2025/06/h…

Starting in ~20 minutes, a new episode of the #Haskell #Unfolder, with Edsko and @kosmikus discussing testing of stateful APIs: youtube.com/watch?v=RPQVsa…

Thanks to @effectfully and @theo for highlighting our YouTube channel! As a common theme of the comments was that we need better thumbnails, we tried to listen. Next episode of the #Haskell #Unfolder this Wednesday, 1830 UTC: youtube.com/watch?v=RPQVsa…

Today, there will be a new #Haskell #Unfolder episode, where Edsko and @kosmikus will talk about the monomorphism restriction and defaulting. Join us live on YouTube 2025-05-07 at 1830 UTC (or watch later) via youtube.com/watch?v=nD93M2…

Our work on Explicit Level Imports for #Haskell received the best paper award at TFP, and the implementation has been merged! well-typed.com/blog/2025/04/e…

The #Haskell #Unfolder is two years old! Join us for a new episode tomorrow, 2025-04-16, at 1830 UTC, live on YouTube. This time, the topic is logic programming with typedKanren, which is a typed version of #miniKanren embedded into Haskell. youtube.com/watch?v=ukk5JD…

New blog post: Evaluating AI's Impact on Haskell Open Source Development well-typed.com/blog/2025/04/a…

Tonight, 2025-03-26, at 1930 UTC (still an unusual time for US/Canada) there'll be a new episode of the #Haskell #Unfolder, and after all this time, we'll finally talk about generics! youtube.com/watch?v=db-KjK…

Check out the latest report from our #Haskell toolchain team, covering GHC, Cabal and HLS: well-typed.com/blog/2025/03/g…

Tomorrow, 2025-03-12, at 1930 UTC (note: one hour later than usual in Canada / US due to asynchronous DST shifts), there'll be a new episode of the #Haskell #Unfolder, titled "understanding through a model". We'll talk about QuickCheck and convolutions... youtube.com/watch?v=0QTt2W…

Tomorrow, 2025-02-11, we'll live-stream a new episode of the #Haskell #Unfolder. Edsko and @kosmikus will discuss the various strategies for deriving instances that GHC offers and their relative strengths and weaknesses. Hope to see you all there! youtube.com/watch?v=NEUbp2…

New blog post by @samderbyshire on Cabal Hooks, improvements we've made to the #haskell build system thanks to @sovtechagency: well-typed.com/blog/2025/01/c…

The #Haskell #Unfolder is back! In tomorrow's episode, we'll take a look at #CUDA and write some simple functions in it. We'll also show how to interface from Haskell to CUDA and how to use QuickCheck to test CUDA functions from Haskell. youtube.com/watch?v=ww4C3j…

Read about the latest improvements to the #Haskell development toolchain by Well-Typed: well-typed.com/blog/2024/12/g…

New library and blog post by Edsko: Debugging your Haskell application with `debuggable` well-typed.com/blog/2024/12/d…