在函数式编程中， 应用式函子，或简称应用式（applicative），是在函子和单子之间的中间结构。应用式函子允许函子式计算成为序列（不同于平常函子），但是不允许使用前面计算的结果于后续计算的定义之中（不同于单子）。应用式函子是范畴论中具有的的编程等价者。应用式函子是2008年Conor McBride和Ross Paterson在他们的论文《Applicative programming with effects》中介入的。应用式函子在Haskell中最初作为库特征出现，现在已经传播到了其他语言，包括