Clojureのprotocolで型クラス的な多態な関数を作る | rb.blog.pasberth.com
Clojure の protocol でモナドを定義したい！！ そう思ったけれど、 protocol の仕組み上 return の定義がけっこう難しいのである。 なぜかというと protocol という仕組みは第一引数に依る分岐なので、型クラスのように型に依る分岐ではないからである しかしこれをいい感じに解決する構造を考えた。 まず、 MonadUnit と MonadBind 、 そしてそれらを対応するデータ型に変換する monad-context 関数を持つ Monad protocol を定義する。 たとえば (maybe-context (MonadUnit. 1)) などとすると (Just. 1) が返されるわけである それから、 return a は単に (MonadUnit. a) とする。 そして m >>= k は、もし m が具体的なデータ(つまり、MonadUnit
In Clojure, when should we use a monad instead of a macro and vice-versa?
There are too many tutorials out there on monads that say... "Look! here is a case where we can use a monad" or "This is what a monad is for". What I want to know is what are some of the steps that people use to come to the conclusion that they can say to themselves - "Gee Whiz! It looks like we can use a monad here!" So when someone tells me... "(blah) has nothing to do with a monad...", it reall
Clojureでモナド内包表記とStateモナド
cljsbuildのcrossoversという機能を知らない所為で今まで無駄に苦労してきましたが、これでマクロが使えないという制約から解き放たれました。 万歳！cljsbuild！ マクロが使えるようになってまず一番最初にやることは何か？ もちろん、モナド内包表記の実現ですね！ HaskellのdoよりはScalaのforの方が慣れているのでこちらを採用しました。 動的型付けの言語でのモナドの実現はいくつか見てきましたが、明示的にコンテキストを指定するタイプはあまり好かないので、ClojureらしくProtocolで表現することにしました。 Monadic Protocol 通常モナドはunitとbindが実装され、モナド則 bind f (unit x) == f x bind unit m == m あともう一個なんかあった気がする を満たしますが、動的型付けの言語でunitを実現する
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Monad Comprehension in Clojure
