haskell

Why I Still Reach for Lisp (& Scheme) Instead of Haskell https://lobste.rs/s/tzqafn #haskell #lisp #programming
https://jointhefreeworld.org/blog/articles/lisps/why-i-still-reach-for-scheme-instead-of-haskell/index.html

Nix for Haskell: Static Builds by @abnv https://lobste.rs/s/medvuo #haskell #nix
https://abhinavsarkar.net/posts/nix-for-haskell-static-builds/

Functional Programmers need to take a look at Zig https://lobste.rs/s/b57uhm #haskell #zig
https://pure-systems.org/posts/2026-04-29-functional-programmers-need-to-take-a-look-at-zig.html

What is a property? https://lobste.rs/s/ogz2ro #haskell #plt
https://alperenkeles.com/posts/what-is-a-property/

Tries for Polynomials via @abnv https://lobste.rs/s/7jll50 #haskell #math
https://doisinkidney.com/posts/2026-04-28-poly-trie.html

Monad tutorials timeline https://lobste.rs/s/efm106 #haskell
https://wiki.haskell.org/Monad_tutorials_timeline

Single Module Lambda Calculus from Simply Typed to Martin Lof Type Theory https://lobste.rs/s/fwvw1q #haskell #plt
https://github.com/solomon-b/lambda-calculus-hs

Haskell Foundation 2026 Update https://lobste.rs/s/9qfw9k #haskell
https://discourse.haskell.org/t/haskell-foundation-2026-update/14136

Data types à la carte (2008) https://lobste.rs/s/8ukphx #haskell #plt
https://www.cambridge.org/core/journals/journal-of-functional-programming/article/data-types-a-la-carte/14416CB20C4637164EA9F77097909409

Exception Annotations: Lay of the Land https://lobste.rs/s/slndvk #haskell
https://well-typed.com/blog/2026/05/lay-annotation-land/

Eras profiling for GHC (2024) https://lobste.rs/s/dghgnl #haskell #performance
https://www.well-typed.com/blog/2024/01/ghc-eras-profiling/

A Revised Haskell 2010 Language Report https://lobste.rs/s/illv4o #haskell
https://blog.haskell.org/revised-haskell-2010-report/

Profunctors in Haskell (2011) https://lobste.rs/s/tibn5s #pdf #haskell #plt
https://github.com/dpiponi/StableBlog/blob/main/Profunctors/Profunctors.pdf

Coalgebras and Automata https://lobste.rs/s/grqzwv #haskell #math
https://web.archive.org/web/20071014215938/http://homepage.mac.com/sigfpe/Computing/fold.html

Homomorphic static analysis https://lobste.rs/s/mqate3 #haskell
http://marcosh.github.io/post/2026/05/21/homomorphic-static-analysis.html

[Call for Participation]: 2.5 hour Haskell Foundation Online Workshop https://lobste.rs/s/mtcwsq #event #haskell #vibecoding
https://discourse.haskell.org/t/call-for-participation-2-5-hour-haskell-foundation-online-workshop/14312

Extreme Haskell: Typed Expression EDSLs (Part 1) via @abnv https://lobste.rs/s/0byhfy #haskell
https://blog.jle.im/entry/extreme-haskell-typed-expression-edsls-1.html

Announcing Mutation Testing in Haskell via @abnv https://lobste.rs/s/xwhlul #haskell
https://cs-syd.eu/posts/2026-06-03-mutation-testing-in-haskell

Extension or Imitation? Can you tell the valid Haskell Language Extensions, from the Impostors? by @hungryjoe https://lobste.rs/s/r7by0p #haskell
https://doscienceto.it/extension-or-imitation/

Diagrams for Penrose Tiles https://lobste.rs/s/rrtmck #haskell #math
https://readerunner.wordpress.com/2021/09/13/diagrams-for-penrose-tiles/

Type-checked non-empty strings via @lobsters https://lobste.rs/s/r1uxyo #haskell
https://exploring-better-ways.bellroy.com/haskell-koan-type-checked-non-empty-strings.html

Low-level Haskell: The cursed way to emulate inline assembly in Haskell/GHC via @abnv https://lobste.rs/s/ceo3qf #haskell
https://minoki.github.io/posts/2026-06-30-haskell-inline-asm.html

Using Notes in the Glasgow Haskell Compiler https://lobste.rs/s/m3i81d #haskell #practices
https://gitlab.haskell.org/ghc/ghc/-/wikis/commentary/coding-style#2-using-notes

Simple Hindley-Milner in Practice (2025) via @abnv https://lobste.rs/s/ksxquq #haskell #plt
https://www.andrevdm.com/posts/2025-05-29-simple-hm-in-practice.html