Non-Applicative Languages
The big difference between Cat and other functional languages is that Cat is non-applicative. Functions are composed instead of applied. I am considering writing a paper dedicated to the subject of non-applicative functional languages. The proposed abstract is:Â
Non-applicative Functional Languages
Most of today’s functional languages are examples of applicative languages. In other words
the operation of function application is generally implied between two consecutive terms.
This paper explores what it means for a language to be non-applicative, and what the implications
are in terms of basic operations such as the Y combinator.
Any comments on how to improve the abstract? Also is anyone aware of related work besides the Joy programming language?