Readings shared May 9, 2026

The readings shared in Bluesky on 9 May 2026 are: A shallow embedding of Datalog in Lean. ~ Ramy Shahin. #LeanProver #ITP Bennett's conjecture in Lean 4: Counter-models for the PSR-reducibility of Sp

Vestigium

Oh snap. Nerd stuff here with @GabriellaG439 (of #Haskell and #Nix fame) on the Impure Pics @impurepics channel, where she talks about #Grace, which looks like a web-based functional language (I just started the video and got excited)

#FunctionalProgramming #Programming

https://www.youtube.com/watch?v=lTEP0zrjPwY

Beyond agentic coding with Grace, inspiring nice programming language

YouTube

I wanted a #Haskell function to efficiently compute the conjugate of an integer partition. I think I know how to write it, but it's fiddly. There's a nice, succinct functional specification:

conjugate = reverse . map length . transpose . map (`replicate` ())

but it's slow. Now I'm wondering whether it's possible to derive an efficient version from this specification, #Bird-Meertens style. Anyone know of previous work along these lines? Or should I add it to my list of interesting projects?

Why I Still Reach for Scheme and Lisp Instead of Haskell - jointhefreeworld

Exception annotations: Lay of the Land. ~ Edsko de Vries. https://well-typed.com/blog/2026/05/lay-annotation-land/ #Haskell #FunctionalProgramming
Exception Annotations: Lay of the Land

Web MicroHs

Exception Annotations: Lay of the Land

"Exception Annotations: Lay of the Land" by Edsko de Vries.

TL;DR: Use ghc 9.12, don’t call throwIO on an argument of type SomeException, and use your own function instead of displayException if you want to see all exception annotations.

https://well-typed.com/blog/2026/05/lay-annotation-land/

#Haskell

Exception Annotations: Lay of the Land

Functional Programmers need to take a look at Zig.

Web MicroHs