An informal introduction to abstraction
Andrew Bacon · 2023
In a typed applicative language, the only way to combine expressions is by application. This makes these languages pretty limited. We might therefore wish to explore languages with other devices for combining expressions.