2003-02-07 [長年日記]
λ. RHG
いちおう読了。読んで良かったです。だからといって、いきなり明日からRubyをハックできるようになるかと言ったら、そんな事は無いですが。……というか、正直、よくこれだけの物をメンテナンス出来てるよなぁ。ruby-devの常連さん達が如何に人間離れしてるか分かったような気がする。
λ. variance
O'Haskellでは全ての型構築子(type constructor)はvarianceを持っている。おそらく、subtypeの判定時にはCPLのCSL(Categorical Specification Language)と同様の計算を行っているはず。他にvarianceの概念を明示的に用いているものにはどんなものがあるだろうか?
| O'Haskell | CSL | Charity |
|---|---|---|
| covariant | covariant (+) | positive |
| contravariant | contravariant (-) | negative |
| invariant | fixed-variant (T) | both |
| novariant | free-variant (⊥) | neither |
[ツッコミを入れる]
