Mercurial > dylan

view categorical/monad.clj @ 2:b4de894a1e2e

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
initial import
author Robert McIntyre <rlm@mit.edu>
date Fri, 28 Oct 2011 00:03:05 -0700
parents
children
line wrap: on
line source
     1 



     2 (ns categorical.monad)



     3 (use 'clojure.contrib.monads)



     4 



     5 (in-ns 'categorical.monad)



     6 



     7 ;; To implement nondeterministic programs, we'll use a lazy seq to represent a value which may be any one of the members of seq.



     8 



     9 (defmonad amb



    10   [



    11    m-result (fn[& vals] (cons 'amb vals))



    12    m-bind (fn[amb-seq f] (cons 'amb (map f (rest amb-seq))))



    13    ]



    14 )