3 ms·
> Lambda calculus is a BFD in the subfield of programming languages This is a good example of abusing the vocabulary of mathematics as is common in the FP worl
by zelly 6y ago
> Lambda calculus is a BFD in the subfield of programming languages
This is a good example of abusing the vocabulary of mathematics as is common in the FP world. A programming language is not an object in abstract algebra. You can't add, subtract, or factorize a programming language. It's just software.
- Twisol 6y ago"BFD" here means "big f#$%ing deal", not "b??? factorization domain".
- tome 6y ago"Bounded Factorization Domain" apparently https://en.wikipedia.org/wiki/Atomic_domain#Special_cases https://en.wikipedia.org/wiki/Atomic_domain#Special_cases This is a pretty hilarious misinterpretation > "Lambda calculus is a bounded factorization domain in the subfield of programming languages. What's the problem?"