dylan: categorical/monad.clj annotate

ReTouchups

author	Dylan Holmes <ocsenave@gmail.com>
date	Thu, 27 Oct 2011 22:38:23 -0500
parents	b4de894a1e2e
children

rev	line source
rlm@2	1
rlm@2	2 (ns categorical.monad)
rlm@2	3 (use 'clojure.contrib.monads)
rlm@2	4
rlm@2	5 (in-ns 'categorical.monad)
rlm@2	6
rlm@2	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.
rlm@2	8
rlm@2	9 (defmonad amb
rlm@2	10 [
rlm@2	11 m-result (fn[& vals] (cons 'amb vals))
rlm@2	12 m-bind (fn[amb-seq f] (cons 'amb (map f (rest amb-seq))))
rlm@2	13 ]
rlm@2	14 )

Mercurial > dylan