Cómo escribir el protocolo monoide en Clojure?

Question

Lo siguiente no funciona, por razones obvias.

(defprotocol Monoid 
    (mappend [a b]) 
    (mzero [])) 

mzero tiene cero argumentos, y no se permiten los métodos de argumento cero (o no tienen sentido) en los protocolos. En Haskell o Scala, donde el despacho se basa en el tipo y no en el valor, esto no es un problema.

¿Cuál sería la forma correcta de conceptualizar y escribir el protocolo Monoid en Clojure?

Answer 1

mirando el source, la forma en que esto se implementa en el new reducers library no es como un procotol sino como una función sobrecargada. una llamada sin argumentos es mzero; dos llamadas args es mappend.

más exactamente, monoid toma dos argumentos - op y ctor y devuelve una función que, cuando se llama sin argumentos, evalúa ctor, y cuando se le llama, con dos delegados a op.

esto es coherente con cómo se maneja el cero en un pliegue, por ejemplo - reduce (pliegue) evaluará la función que se va a plegar sin args para encontrar el cero, si es necesario.

me siento un poco avergonzado de mostrar algo tan poco interesante, pero no veo cómo puede hacerlo mejor dentro de clojure. gracias por las explicaciones/educación en los comentarios.