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?
I’ve been programming for many many years, and I honestly never heard of anyone making or anything being specifically a “lambda calculus program”.
It’s Turing complete.
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.
Probably some sort of grammar that can only spell “boobies”