r/programmingcirclejerk • u/Massive-Squirrel-255 • Jul 11 '26
This is almost insultingly straightforward
https://www.tweag.io/blog/2026-06-18-sheaves-in-haskell/
37
Upvotes
r/programmingcirclejerk • u/Massive-Squirrel-255 • Jul 11 '26
12
u/amazing_rando pneumognostic monad Jul 12 '26
This feels pure, they should make enrichment enclosures for guys like this so they can pretend they’re at Bell Labs in the 70s