"There's a trend at the moment of solving online games with programming, let's do one from the UK called Passport Application, which is developed by "His Majesty's Passport Office" or HMPO. It's a cultural phenomenon in the UK: despite being quite expensive (about £100 just to start) for the standard online version (a masterpiece of minimalist design, entirely text-based), most British play the game, and do so every 10 years or so." https://jameshaydon.github.io/passport/

"A common issue in impure ML-style languages with polymorphism and mutable references is the possibility of polymorphic references. In a hypothetical impure language that had both these features, but no mitigations against polymorphic references, the following code would be extremely unsafe...." https://welltypedwit.ch/posts/value-restriction

"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 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

"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/

"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/

"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