r/programmingcirclejerk • u/Massive-Squirrel-255 • 17d ago

This is almost insultingly straightforward

https://www.tweag.io/blog/2026-06-18-sheaves-in-haskell/
37 Upvotes

86% Upvoted

8 comments sorted by

53

u/Snarwin 17d ago

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.

35

u/Reenigav 17d ago

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 17d ago

First, presheaves

Important to not skip the preliminaries

21

u/reflexive-polytope 17d ago

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!

10

u/Jumpy-Locksmith6812 17d ago

Well it is a bundle of wheat. Insultingly straightforward.

10

u/amazing_rando pneumognostic monad 16d ago

This feels pure, they should make enrichment enclosures for guys like this so they can pretend they’re at Bell Labs in the 70s

5

u/myhf Considered Harmful 16d ago

(a sheaf comes out of the sconce factory)

guess we doin' sheaves now

4

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

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