hymn - a monad library for python and hy - release 0.1

測試 python 版本 2.7, 3.3, 3.4 （3.5 因爲 hy 0.11.0 不支持沒辦法）
hy 版本 0.11.0
文檔在 readthedocs
Documentation
http://hymn.readthedocs.org/
Issue Tracker
https://github.com/pyx/hymn/issues/
上傳了 cheese shop (PyPI)
https://pypi.python.org/pypi/hymn/
Mercurial/HG 源碼庫
https://bitbucket.org/pyx/hymn/
Git 源碼庫
https://github.com/pyx/hymn/

monad transformer api 構思中，歡迎各種意見

廣招建議，monad transformer 的 api 怎麼設計

正在寫個 lazy monad
將 lazy evaluation 用 monad 封裝
不知道是不是想多了

借個地方
@Clerk_Ma 我 email 你了

太高深，看不懂

0.3 發佈了
增加了 Lazy monad，將 lazy/deferred computation 實現爲 monad
利用 lift . const 加上 strict 參數求職，可以出來依賴關係
詳情請見 examples/deps.hy
代碼如下
;;; lazy monad example
(import [hymn.dsl [const force lift]])
(require hymn.dsl)
(def depends (lift (const nil)))
(defmacro deftask [n &rest actions]
`(def ~n
(depends (lazy (print "(started" '~n))
~@actions
(lazy (print " finished " '~n ")" :sep "")))))
(deftask a)
(deftask b)
(deftask c)
(deftask d)
(deftask e)
(deftask f (depends c a))
(deftask g (depends b d))
(deftask h (depends g e f))
(defmain [&rest args]
(force h))
輸出
(started h
(started g
(started b
finished b)
(started d
finished d)
finished g)
(started e
finished e)
(started f
(started c
finished c)
(started a
finished a)
finished f)
finished h)

我懷疑目前 CachedSequence 的實現因爲偷懶用 tee 會有 memory leak
但是又懶得找個 memory profiler 測驗一下

0.5 了，直接從 0.4 跳上來，因爲覺得預期的實現了至少一半
增加了兩個 macro
monad-> 和 monad->>，就是給 monad 用的 threading macro 和 threading tail macro
比如
(monad-> (maybe-m.unit 99) m-inc (m-div 5) (m-div 2))
擴展後成爲
(do-monad-m [a (maybe-m.unit 99) b (m-inc a) c (m-div b 5)] (m-div c 2))
值是 Just(10.0)
(monad->> (maybe-m.unit 4) m-inc (m-div 25) (m-div 100))
擴展後成爲
(do-monad-m [a (maybe-m.unit 4) b (m-inc a) c (m-div 25 b)] (m-div 100 c))
值是 Just(20.0)
當然，爲了寫安全的 macro，中間變量名字不是 a, b, c 而是用 (gensym) 的