On 28 Jan 2010, at 03:22, Tayssir John Gabbour wrote:
But the maybe-m monad seems to violate this law. For instance, when the function is inc, and the value is nil, as I demonstrate here: http://paste.lisp.org/display/94017
nil should not be considered a value in the maybe monad. It is in fact used to stand specifically for a non-value, that's the whole point of this monad.
Perhaps m-result in maybe-m should throw an exception if the value passed in is nil, to enforce this rule.
Konrad. -- You received this message because you are subscribed to the Google Groups "Clojure" group. To post to this group, send email to [email protected] Note that posts from new members are moderated - please be patient with your first post. To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/clojure?hl=en
