エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
記事へのコメント0件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
独習 Scalaz — Free Monad
この記事は Rúnar の助言に基づいて大幅に手を加えた。古い版は github のソースを参照してほしい。 Fre... この記事は Rúnar の助言に基づいて大幅に手を加えた。古い版は github のソースを参照してほしい。 Free Monad 今日は、Gabriel Gonzalez の Why free monads matter を読みながら Free モナドをみていく: 構文木の本質を表す抽象体を考えてみよう。[中略] 僕らの toy 言語には 3つのコマンドしかない: output b -- prints a "b" to the console bell -- rings the computer's bell done -- end of execution 次のコマンドが前のコマンドの子ノードであるような構文木としてあらわしてみる: data Toy b next = Output b next | Bell next | Done とりあえずこれを素直に Scala に翻訳するとこう