Mercurial > dylan

view categorical/monad.clj @ 5:3ff40c869d1a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
ReTouchups
author Dylan Holmes <ocsenave@gmail.com>
date Thu, 27 Oct 2011 22:38:23 -0500
parents b4de894a1e2e
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 )