例如,mask在Haskell中,类型为(((forall a . IO a -> IO a) -> IO b) -> IO b)。这种功能的目的是什么?欢迎使用任何具有高阶功能的语言。
mask
(((forall a . IO a -> IO a) -> IO b) -> IO b)
为了精确起见,仅包括在公共库中定义或在实时代码中使用的功能。
冈崎展示了一个六阶函数:甚至是用于解析的高阶函数,或者为什么有人要使用六阶函数?
本文收集自互联网,转载请注明来源。
如有侵权,请联系[email protected] 删除。
点击生成二维码
我来说两句