monad是category of endofuctors中的monoid。Category是一个由两件事组成的集合:这些元素之间的一组二进制操作。当我们谈到类别endofunctors时,我们还有两件事:Function compositions作为二进制操作
Function composition是一种将一个函子应用于输入,然后将另一个函子因此,这使我认为,对于一个Maybe函子(我甚至不确定它是一个函子,
因此,我查看了stl,例如,在std::transform中,函数对象的参数只是模板参数,因此调用传递的函数对象时到底发生了什么取决于传递了什么: call(b,2); //operator() method of b call}
这很好,因为它非常通用:它允许您使用像boost::bind()这样<e