haskellのMaybeとEither理解した。気がする。 - think and error
Haskell の Maybe a 型と Either a b 型 (1) - 「結果を返しそこなう計算」、 Java と比較しながら | すぐに忘れる脳みそのためのメモ

あ、なんかHaskell面白そうかも。
なんだか最近Perl6のエントリにしても型だとかメタな機構に対して興味を持っているような気がする...