エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
Extensible Effects in the van Laarhoven Free Monad
記事へのコメント0件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
Extensible Effects in the van Laarhoven Free Monad
Edit: you can find this code on Hackage at free-vl. Algebraic effects seem to be a sort of holy g... Edit: you can find this code on Hackage at free-vl. Algebraic effects seem to be a sort of holy grail in functional programming. What I mean when I say “algebraic effect” here is: treating any effect like a value or type in your program, while also having some simple operations (an algebra) to combine effects. What does this look like practically? The two languages that come to mind are Idris and