気に入った記事をブックマーク
- 気に入った記事を保存できます
保存した記事の一覧は、はてなブックマークで確認・編集ができます
- 記事を読んだ感想やメモを書き残せます
- 非公開でブックマークすることもできます
型クラスとモナドと Free モナド - あどけない話
23 users
kazu-yamamoto.hatenablog.jp
kazu-yamamoto.hatenablog.jp
kazu-yamamoto.hatenablog.jp
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
要約：Free モナドは何が嬉しいのかを議論するためのたたき台。以下の2つの論文に載っている例を3つの方... 要約：Free モナドは何が嬉しいのかを議論するためのたたき台。以下の2つの論文に載っている例を3つの方法で実装する。 Janis Voigtlander, "Asymptotic Improvement of Computations over Free Monads" Wouter Swierstra and Thorsten Altenkirch, "Beauty in the Beast -- A Functional Semantics for the Awkward Squad" モナド 最近、僕はモナドを次のように説明するようにしている。「モナドとは言語内DSLを実装するための API (あるいはフレームワーク)」 だから、何か言語内DSLを作るなら、それをモナドのインスタンスにすべきだ。ここでは、getChar と putChar という API を持つ簡単な DSL を考
kazu-yamamoto.hatenablog.jp
kazu-yamamoto.hatenablog.jp
kazu-yamamoto.hatenablog.jp
kazu-yamamoto.hatenablog.jp
note.com/rosenkavalier
anond.hatelabo.jp
www.roomie.jp
anond.hatelabo.jp
developer.apple.com
wirelesswire.jp
blog.inorinrinrin.com
zenn.dev/ad5
p2ptk.org
kazu-yamamoto.hatenablog.jp
kazu-yamamoto.hatenablog.jp
kazu-yamamoto.hatenablog.jp
kazu-yamamoto.hatenablog.jp
kazu-yamamoto.hatenablog.jp
kazu-yamamoto.hatenablog.jp
2019/07/05 リンク