3 ms·
You mean that decomposing abstractions with substitution works better in Haskell than in a lot of the other languages because programs in Haskell are essentiall
by verttii 7y ago
You mean that decomposing abstractions with substitution works better in Haskell than in a lot of the other languages because programs in Haskell are essentially (pure) functions and abstractions are built by composing functions?
- whateveracct 7y agoYeah - referential transparency is what allows it to Just Be Substitution.