Functor is base for more complex abstractions like Applicative, Monad, Comonad. In Haskell, applicative functors are implemented in the codice 1 type class. In addition, verbs exhibit derivational morphology, including a causative and an applicative. Now, these two procedures already promote codice 2 to an applicative functor. Sahaptin has a split ergative syntax, with direct-inverse voicing and several applicative constructions. However, prepositions can be compounded with verbs for an applicative effect. There are directive and applicative constructions. Backus calls functional programming applicative programming; his function-level programming is a particular, constrained type. The earliest known applicative language was LISP. English does not have a dedicated applicative prefix or suffix. The applicative construction adds an argument to the verb. However the applicative and causative voices are found in many modern dialects. Applicative order is not a normalising strategy. There are a variety of philosophical, theoretical, and applicative questions related to AE. It is based on the techniques of applicative computing.