中的一个练习是编写函子实例 GoatyConst binstance Functor (EvilGoateeConst a) wherefmap f (GoatyConst b) = GoatyConst b
最简单的修复方法就是将参数转换为类型构造函数,但我猜这是verboten。在不改变原始类型的情况下,最简单的</
它位于Control.Applicative模块中,它定义了两个方法,pure and <*>。它没有为其中的任何一个提供默认的实现,所以如果我们想要一个应用程序函子,我们必须同时定义它们。我正在尝试理解谁在使用pure函数。我确实使用了应用函子最有用的(<*>)函数。但我不确定谁真正使用了pure。我读过类似pure (+3) <*> Just 10的<