中（不同于单子）。应用式函子是范畴论中具有的的编程等价者。应用式函子是2008年Conor McBride和Ross Paterson在他们的论文《Applicative programming with effects》中介入的。应用式函子在Haskell中最初作为库特征出现，现在已经传播到了其他语言，包括Idris、Agda、OCaml、Scala和F#。为了方便使用应用式函子编程，Glasgow Haskell和Idris二者现在提供了专门设计的语言特征。在Haskell中，应用式函子实现在cod