Planet Haskell planet.haskell.org

Well-Typed.Com: Explicit Level Imports awarded best paper at TFP 2025

well-typed.com·54w

Expectation-Maximization with Less Arbitrariness

blog.sigfpe.com·500w·Blogger

Running from the past

blog.sigfpe.com·395w·Blogger

Constructing Clifford Algebras using the Super Tensor Product

blog.sigfpe.com·167w·Blogger

Unification-free ("keyword") type checking

haskellforall.com·116w·Hacker News, haskellforall.com

Matthew Sackman: Rallentando, and the awfulness of anti-virus software

wellquite.org·55w

3 things other languages should steal from Unison

chrispenner.ca·55w

The minimal megaparsec tutorial

tweag.io·55w

Haskell Interlude: 64: Sandy Maguire

haskell.foundation·55w

GHC Developer Blog: GHC 9.10.2-rc1 is now available

haskell.org·56w

GHC Developer Blog: GHC 9.10.2-rc1 is now available

haskell.org·56w

Frontend live-coding via ghci

tweag.io·56w

Well-Typed.Com: The Haskell Unfolder Episode 42: logic programming with typedKanren

well-typed.com·56w

Derek Elkins: What difference lists actually are

derekelkins.github.io·57w

Practical recursion schemes in Rust: traversing and extending trees

tweag.io·57w

Faking ADTs and GADTs in Languages That Shouldn't Have Them

blog.jle.im·58w·Lobsters, Hacker News, Hacker News, r/programming, r/programming

Unfolding trees breadth-first in Haskell

blog.poisson.chat·59w·Hacker News

GHC Developer Blog: GHC 9.6.7 is now available

haskell.org·60w

GHC Developer Blog: GHC 9.6.7 is now available

haskell.org·60w

Haskell Interlude: 63: Farhad Mehta

haskell.foundation·61w

Log in to enable infinite scrolling