http://dev.clojure.org/jira/secure/IssueNavigator.jspa?reset=true&jqlQuery=project+%3D+ALGOM+AND+resolution+%3D+Unresolved+AND+priority+%3D+Major+ORDER+BY+key+DESC An XML representation of a search request en-us 4.4 649 25-07-2011 http://dev.clojure.org/jira/browse/ALGOM-7 algo.monads <p>One of the monad laws is that (m-bind (m-result v) f) should be the same as (f v). However, this is not the case in maybe-m:</p> <p>user=&gt; (with-monad maybe-m (m-bind (m-result nil) nil?))<br/> nil</p> <p>user=&gt; (nil? nil)<br/> true</p> <p>The crux of the problem is that in algo.monad's maybe-m, there is no way to wrap a nil in a Just-like container.</p> ALGOM-7

maybe-m breaks the monad laws.

Defect Major Open Unresolved Konrad Hinsen Seth J. Gold Sat, 15 Sep 2012 15:00:36 -0500 Sat, 15 Sep 2012 15:27:03 -0500 0 2 <p>Just realized that that demonstration doesn't actually work, because the function passed to m-bind is supposed to return a monadic value. Here's a better one:</p> <p>user=&gt; (with-monad maybe-m (m-bind (m-result nil) (comp m-result nil?)))<br/> nil<br/> user=&gt; (with-monad maybe-m ((comp m-result nil?) nil))<br/> true</p> Global Rank http://dev.clojure.org/jira/browse/ALGOM-2 algo.monads <p>This patch contains the same features as </p> <p><a href="http://dev.clojure.org/jira/browse/ALGOM-1">http://dev.clojure.org/jira/browse/ALGOM-1</a></p> <p>plus a new one, the ability to add :cond statements using the domonad macro.</p> <p>More info can be found on the commit history of the given patch.</p> Mac OS X Lion ALGOM-2

Adding support for both :if-:then-:else and :cond statements on domacro implementations

Enhancement Major Open Unresolved Konrad Hinsen Roman Gonzalez Sat, 21 Jan 2012 23:40:25 -0600 Tue, 24 Jan 2012 11:15:37 -0600 0 0 <p>This is a new version of the patch that handles the conflicts with whitespaces vs tabs.</p> Global Rank Patch Code and Test