但是当我把它写出来的时候,我想我可能拥有它。其次,我试图理解多重:在__functor定义中的作用,但这可能是我对Nix表达式基本熟悉的一个缺点,但我想发生的情况是,self和x都是__functor的参数,也就是说,它看起来可能是一个仓促的函数所以说真的,__functor这里是fmap在Haskell中的位置,self (add)是函子本身,x: x + self.x是fmap映射的函数。
monad是category of endofuctors中的monoid。Category是一个由两件事组成的集合:这些元素之间的一组二进制操作。当我们谈到类别endofunctors时,我们还有两件事:Function compositions作为二进制操作
Function composition是一种将一个函子应用于输入,然后将另一个函子(或相同的函子)应用于前一个输入结果的事物。因此,这使我认为,对于一