Haskell recap for week 4/2025

From 20/1/2025 to 26/1/2025

Articles #

• Haskell: A Great Procedural Language 274 comments in 6 discussions

• Cabal cannot build scotty project on Windows because of zlib 21 comments in 2 discussions

• A Proper x86 Assembler in Haskell Using the Escardó-Oliva Functional 19 comments in 1 discussion

• "ghc-9.4.8.exe: could not detect mingw toolchain in the following paths:" - Problem when running ghci 17 comments in 3 discussions

• GHC String Interpolation Survey Open! 13 comments in 1 discussion

• Making My Life Harder with GADTs 12 comments in 1 discussion

• Making my life easier with two GADTs 11 comments in 1 discussion

• Making my life easier with GADTs 8 comments in 2 discussions

• Haskell Interlude 61: Sam Lindley 4 comments in 1 discussion

• Use Monoids for Construction 3 comments in 1 discussion

• Advent of Code in Haskell: Reflections and write-ups for all 25 days of 2024 3 comments in 1 discussion

• Interpreting Brainfuck in Haskell 3 comments in 1 discussion

• Documentation on using Renovate with haskell-actions 3 comments in 1 discussion

• New SHA256 bindings supporting HMAC key reuse

• Modeling dataframes in Haskell using higher-kinded types

Projects #

• Announcing Aztecs v0.2: An ECS for Haskell game engines - Now faster than Bevy with a new simplified core 43 comments in 3 discussions

• Update: Jaxpr / Jax interop Haskell Library (named Neptune) 7 comments in 1 discussion

• Hyperbole: Haskell interactive serverside web framework inspired by HTMX, Elm, and Phoenix LiveView

Videos #

• Quicksort [Computerphile] 36 comments in 2 discussions

• SupGen is program synthesizer that outperforms SOTA alternatives using the HVM (which is now in Haskell!) 10 comments in 2 discussions

• SupGen is a code/proof synthesizer built with HVM. It can find programs by examples and types, and is up to 1000x faster than SOTA.