应用式函子 在函数式编程中 应用式函子或简称应用式applicative是在函子和单子之间的中间结构应用式函子允许函子式计算成为序列不同于平常函子但是不允许使用前面计算的结果于后续计算的定义之中不同于单子应用式函子是范畴论中具有张量强度英语Strong monad的不严格幺半群函子英语Monoidal functor的编程等价者 应用式函子是年Conor McBride和Ross Paterson在他们的论文Applicative programming with effects中介入的应用式函子在Haskell中最初作为库特征出现现在已经传播到了其他语言包括IdrisAgdaOCamlScala和F为了方便使用应用式函子编程Glasgow Haskell和Idris二者现在提供了专门设计的语言特征在Haskell中应用式函子实现在Applicative类型类中