명백한 이유로 다음은 작동하지 않습니다. (defprotocol Monoid
(mappend [a b])
(mzero []))
mzero 제로 인수가, 제로 인수 방법은 프로토콜에 (이해가되지 않거나)는 허용되지 않습니다. 디스패치가 가치 기반이 아닌 유형 기반 인 하스켈이나 스칼라에서 이것은 문제가되지 않습니다. Clojure에서 M
나는 Haskell monoids and their uses을 거쳤으며, 이는 모노로이드의 기초를 상당히 잘 이해하고 있습니다. 블로그 게시물에서 소개 된 것 중 하나는 모든 모노 이드이며, 다음과 같은 사용의 : 비슷한 맥락에서 foldMap (Any . (== 1)) tree
foldMap (All . (> 1)) [1,2,3]
, 나는 최대 모노
haskell 예제를 변환하려고했는데, 이전에 scalaz를 보았습니다. ("Answer to the ", (*)) <*> ("Ultimate Question of ", 6) <*> ("Life, the Universe, and Everything", 7)
가 어떤, 지금까지의 내가 이해할 수 있어요로서, this 인스턴스를 사용하여 원래의 예는이이었다