2007-09-04から1日間の記事一覧

Concurrent Clean : IOモジュール

IO系のモジュールを追加した。まだ試行錯誤中。

Concurrent Clean : PassFail

値を返すかエラーを返す場合には、PassFailという型を定義しているけれど、値を返さないかエラーを返す場合はどうしようか? SQLモジュールでは、Maybeを使って表現していたけれど、はっきりそれと分かる型を用意しておく方がよいように思う。 :: PassFail f…