エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
記事へのコメント1件
- 注目コメント
- 新着コメント
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
C Style Haskell
The other day I found this blog post on using GADTs to write more usable C style Haskell with eff... The other day I found this blog post on using GADTs to write more usable C style Haskell with effects, references and loops. I couldn't get the example to typecheck without unsafe code, so I decided to write my own version. I wanted the behavior of expressions and operators to be similar to that of C. This is what I came up with: swap(r1, r2) = function $ do { z <- auto undefined; z =: r1; r1 =
2012/04/22 リンク