21
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"
this post was submitted on 10 Oct 2026
21 points (100.0% liked)
Programming
28795 readers
132 users here now
Welcome to the main community in programming.dev! Feel free to post anything relating to programming here!
Cross posting is strongly encouraged in the instance. If you feel your post or another person's post makes sense in another community cross post into it.
Hope you enjoy the instance!
Rules
Rules
- Follow the programming.dev instance rules
- Keep content related to programming in some way
- If you're posting long videos try to add in some form of tldr for those who don't want to watch videos
Wormhole
Follow the wormhole through a path of communities !webdev@programming.dev
founded 3 years ago
MODERATORS