Brian Hurt
@bhurt42.bsky.social
Democratic Socialist politics and pure functional programming, especially Haskell. He/him. You have been warned.
OK, so why the fsck is foldr's type:
(a -> b -> b) -> b -> f a -> b
and not:
(a -> b -> b) -> f a -> b -> b
Or at least:
(b -> a -> b) -> b -> f a -> b
?
No wonder I can never remember what order the arguments go in- we're switching argument order halfway through the type.
(a -> b -> b) -> b -> f a -> b
and not:
(a -> b -> b) -> f a -> b -> b
Or at least:
(b -> a -> b) -> b -> f a -> b
?
No wonder I can never remember what order the arguments go in- we're switching argument order halfway through the type.
January 30, 2026 at 8:33 PM
OK, so why the fsck is foldr's type:
(a -> b -> b) -> b -> f a -> b
and not:
(a -> b -> b) -> f a -> b -> b
Or at least:
(b -> a -> b) -> b -> f a -> b
?
No wonder I can never remember what order the arguments go in- we're switching argument order halfway through the type.
(a -> b -> b) -> b -> f a -> b
and not:
(a -> b -> b) -> f a -> b -> b
Or at least:
(b -> a -> b) -> b -> f a -> b
?
No wonder I can never remember what order the arguments go in- we're switching argument order halfway through the type.
Reposted by Brian Hurt
The real winner of the Nobel Peace Prize? Florida governor Ron DeSantis.
January 16, 2026 at 11:36 PM
The real winner of the Nobel Peace Prize? Florida governor Ron DeSantis.
Reposted by Brian Hurt
You elected him.
You haven't removed him.
You're fuckups.
Own it.
You haven't removed him.
You're fuckups.
Own it.
January 17, 2026 at 3:18 AM
You elected him.
You haven't removed him.
You're fuckups.
Own it.
You haven't removed him.
You're fuckups.
Own it.
Remember: the way to a man's heart is through his stomach. With a quick upward thrust so the knife doesn't get hung up on the rib cage.
December 27, 2025 at 3:44 PM
Remember: the way to a man's heart is through his stomach. With a quick upward thrust so the knife doesn't get hung up on the rib cage.
Reposted by Brian Hurt
There are two types of problems in programming: cache in validation, DNS, and off-by-one errors.
December 21, 2025 at 6:48 PM
There are two types of problems in programming: cache in validation, DNS, and off-by-one errors.
OK, the fact that Network.WAI hard codes both IO and ResponseReceived in it's definition is starting to really chap my ass. It punts the requirement to work in any more interesting monad down the line, which mean such uses are 1) different, and 2) wrong.
December 16, 2025 at 8:56 PM
OK, the fact that Network.WAI hard codes both IO and ResponseReceived in it's definition is starting to really chap my ass. It punts the requirement to work in any more interesting monad down the line, which mean such uses are 1) different, and 2) wrong.
