他人のHaskell日記

■ Haskellで自分の足を撃つ方法(抜粋/意訳)

(http://www.haskell.org/haskellwiki/Shooting_your_self_in_the_foot)

• あなたは銃を発射した。しかし銃弾はIOモナドにからめとられた。
• プログラムをコンパイルしようとしたら、コンパイラが型エラーを発生させ、それはカーネルバッファをオーバーフローするほど長かったために、トリガーコントロールレジスタを上書きし、足を撃つことになった。
• 型エラーという暗号を解読しようとして、あなたの頭は爆発した。
• 足を撃ったが、何も起きなかった。Haskellの世界では副作用は起きないのだ。
• 足を撃とうとしたが、Gunというdatatypeが無かったため、変わりにArrowを使った。
• 足を撃ったが完全に元気だ。足を評価するまでは。
• 足を撃った。しかしSTM(Software Transactional Memory)モナドのなかにいるので、やりたいことがみつかるまでいつだってやりなおせる。