Re:Monads and GATs in Nightly Rust
by Twisol on Friday December 11, 2020 @02:36PM
(#25389824)
"BFD" here means "big f#$%ing deal", not "b??? factorization domain".
[ Parent
| on HN ]
"Bounded Factorization Domain" apparently
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?"