Haskell での IO 型/IO モナドの実装としては、現在 GHC で使われている World を状態として受け渡すやり方が有名です。ですが、GHC での実装が IO 型/IO モナドを定義するための唯一の方法と.. 続きを読む
一口に可変長引数と言っても色々あります。限られた範囲でのオプション引数が欲しいこともありますし、多相的な本物の可変長引数が欲しいこともあります。また、可変長引数を型安全に使いたい.. 続きを読む
GHC (Haskell) のスレッド実装について議論する時の参考になるよう、GHC 7.2.1 までのスレッド実装についてのやり取りやメモ的なつぶやきをまとめておきます。 続きを読む
3月31日から4月2日にかけて行われた、GHC の開発 repository の darcs から git への移行に関するつぶやきをまとめてみました。(その前からちょくちょくと移行準備が行われていましたが、本.. 続きを読む