reify/reflect 2

gistfile1.clj

(use 'delimc.core)
(use 'clojure.contrib.monads)

(defmacro reify [thunk]
  `(reset
     (m-result ~thunk)))

(defmacro reflect [meaning]
  `(shift k#
     (m-bind ~meaning k#)))

(with-monad sequence-m
  (reify (list (reflect '(1 2 3)) (reflect '(4 5 6)))))

(with-monad (writer-m ())
  (reify
   (letfn [(fact [acc n]
	     (reflect (write n))
	     (if (= 1 n)
		 acc
	         (fact (+ acc n) (dec n))))]
	         ;↑recurにできない
	  (fact 1 10))))