The minimal megaparsec tutorial

"In my functional programming course to Master Students of Telecom Nancy, I like to use parsing as an example of monadic programming, relying on the megaparsec library. My only concern with megaparsec is that its official tutorial is long: at the time I’m writing, it’s 15000 words long." https://www.tweag.io/blog/2025-04-24-minimal-megaparsec-tutorial/

Implementing Unsure Calculator in 100 lines of Haskell

"Implementing a calculator with normal ranges, embedded in Haskell, using a simplified probability monad." https://alt-romes.github.io/posts/2025-04-25-unsure-calculator-in-100-lines-of-haskell.html

Frontend live-coding via GHCI

"A few months ago, I announced that the GHC wasm backend added support for Template Haskell and ghci. Initially, the ghci feature only supported running code in nodejs and accessing the nodejs context, and I’ve been asked a few times when ghci was going to work in browsers in order to allow live-coding the frontend. Sure, why not? I promised it in the last blog post’s wishlist. After all, GHCJS used to support GHCJSi for browsers almost 10 years ago!".. https://www.tweag.io/blog/2025-04-17-wasm-ghci-browser/

An introduction to Typeclass Metaprogramming

"Typeclass metaprogramming is a powerful technique available to Haskell programmers to automatically generate term-level code from static type information. It has been used to great effect in several popular Haskell libraries (such as the servant ecosystem), and it is the core mechanism used to implement generic programming via GHC generics. Despite this, remarkably little material exists that explains the technique, relegating it to folk knowledge known only to advanced Haskell programmers." https://lexi-lambda.github.io/blog/2021/03/25/an-introduction-to-typeclass-metaprogramming/

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

"Haskell is the world’s best programming language, but let’s face the harsh reality that a lot of times in life you’ll have to write in other programming languages. But alas you have been fully Haskell-brained and lost all ability to program unless it is type-directed, you don’t even know how to start writing a program without imagining its shape as a type first..." https://blog.jle.im/entry/faking-adts-and-gadts.html

Update!

I've just released a small update to change the following: - Added lives and life counter at the top right - Reduced frequency of falling garbage With those 2 changes, games should last a little longer, cheers

Symbolize 1.0.1.0: Efficient string interning / global Symbol table, with Garbage Collection

"Symbols are very common in dynamically-typed languages. In Haskell, some of the usage of symbols is subsumed by parsing directly into datatypes with statically-known field / variant names, or sometimes singleton-based ‘known-at-compile-time’ string constants that also happen to be called symbols...." https://discourse.haskell.org/t/symbolize-1-0-1-0-efficient-string-interning-global-symbol-table-with-garbage-collection/11426