在this article函数中,通过C#代码和Haskell类型定义引入了么半群。
如果
b
是么半群,则函数a -> b
是么半群。这意味着您可以组合两个相同类型的函数。在面向对象的上下文中,这意味着只要返回类型形成monoid,就可以将具有相同签名的两个方法组合成一个方法。
泛化
虽然上面的C#代码只是一个示例,但一般规则是,任何返回么半群的函数本身都是么半群。在Haskell中,此规则在标准库中明确表示:
实例么半群b =>么半群(a -> b)
这意味着对于任何么半群,函数a -> b
也(自动)是么半群。
问题是C#中的示例对"GUID“过于具体,我不知道作者试图在代码中做什么,而Haskell类型定义仅仅是类型定义。
用JavaScript实现这个函数Monoid的示例代码是什么?
https://stackoverflow.com/questions/55289369
复制相似问题