Planet Haskell planet.haskell.org

Practical recursion schemes in Rust: traversing and extending trees

tweag.io·58w

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

blog.jle.im·59w·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

Haskell Interlude: 63: Farhad Mehta

haskell.foundation·61w

Magnus Therning: Using lens-aeson to implement FromJSON

magnus.therning.org·61w

GHC Developer Blog: GHC 9.12.2 is now available

haskell.org·62w

Brent Yorgey: Hendrix College Programming Contest 2025

byorgey.github.io·62w

Extrinsic termination proofs for well-founded recursion in Lean

joachim-breitner.de·62w·Hacker News

Chris Reade: PenroseKiteDart User Guide

readerunner.wordpress.com·48w·readerunner.wordpress.com

Unification-free ("keyword") type checking

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

Constructing Clifford Algebras using the Super Tensor Product

blog.sigfpe.com·167w·Blogger

Running from the past

blog.sigfpe.com·395w·Blogger

Expectation-Maximization with Less Arbitrariness

blog.sigfpe.com·500w·Blogger

Log in to enable infinite scrolling