Haskell??? Sorry I'm against Big Lambda

· · Web · 4 · 5 · 9

okay sorry there are several layers of deep here, none of them particularly good

Show thread

@cwebber I have to explain System F in my thesis and I'm never sure whether to call them capital lambdas or big lambdas, it just does not sound like a serious type theorist thing to say

@cwebber big lambda selling lambda's cheap so they can upcharge you on the function applications

@operand Oh shit I somehow didn't even think about Amazon's AWS Lambda when I made this joke

Sign in to participate in the conversation

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!