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

Purely Functional, Declarative Game Logic Using Reactive Programming

"In the previous article I introduced the Coroutine data type. In this second part I will show how coroutines can be used to implement a fixed time-step reactive programming library and use that library for modeling a simple game. The code examples will require a basic proficiency in reading Haskell code." https://github.com/leonidas/codeblog/blob/master/2012/2012-01-17-declarative-game-logic-afrp.md

How we made Haskell search strings as fast as Rust

"In this post, we will describe our quest to create Alfred–Margaret, the fastest Haskell implementation of the Aho–Corasick string searching algorithm, which powers string search in Channable." https://www.channable.com/tech/how-we-made-haskell-search-strings-as-fast-as-rust