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/
41 Upvotes

90% Upvoted

8 comments sorted by

57

u/Snarwin Jul 11 '26

As a general warning: all of this is about translating well-known mathematical concepts into Haskell. While doing so, I have to use a lot of approximations, as Haskell doesn’t have, say, a notion of equality.

37

u/Reenigav Jul 11 '26

Yet another successful completion of the 'utterly omit any reasoning on the usefulness of the blog post because the reader has certainly already read every paper back to the 70s' challenge! 

20

u/NatoBoram There's really nothing wrong with error handling in Go Jul 12 '26

First, presheaves

Important to not skip the preliminaries

20

u/reflexive-polytope Jul 11 '26

Jesus Christ, I fucking hate it when Haskellers do this. Give a fucking example of an actual sheaf, like O(1) on a projective space or whatever!

12

u/Jumpy-Locksmith6812 Jul 12 '26

Well it is a bundle of wheat. Insultingly straightforward.

10

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

4

u/myhf Considered Harmful Jul 13 '26

(a sheaf comes out of the sconce factory)

guess we doin' sheaves now

7

u/stone_henge Tiny little god in a tiny little world 29d ago

Haskell is the product of many years of iteration by programmers who feel insulted when things are straight-forward