What are your most interesting lambda calculus programs?

Working with lambda calculus, and want to know what everybody has in their portfolio.

Don’t people use Haskell or another functional programming language as a practical implementation of lambda calculus?

path: 0 26266370, hotness: undefined, score: 8, children: 0

Azzu 6 points 5 days ago

I've been programming for many many years, and I honestly never heard of anyone making or anything being specifically a "lambda calculus program".

save

path: 0 26266042, hotness: undefined, score: 6, children: 2

ki4jgt 2 points 5 days ago

It's Turing complete.

save

path: 0 26266042 26266891, hotness: undefined, score: 2, children: 1

Azzu 5 points 5 days ago

Yeah I know, I've been using Lambda calculus constructs in various languages, it's a tool like any other.

Just basically saying that I've not seen something (except learning exercises, which of course make sense) entirely centered around it, and I also kinda don't know why, it'd be like making a program around for-loops or whatever.

save

path: 0 26266042 26266891 26270235, hotness: undefined, score: 5, children: 0

degen 1 point 5 days ago

Probably some sort of grammar that can only spell "boobies"

save

path: 0 26268179, hotness: undefined, score: 1, children: 0

Rules

Wormhole

Follow the wormhole through a path of communities !webdev@programming.dev

Rules

Wormhole

Follow the wormhole through a path of communities !webdev@programming.dev