トップ «前の日記(2003-02-05) 最新 次の日記(2003-02-08)» 月表示 編集

日々の流転


2003-02-07 [長年日記]

λ. RHG

いちおう読了。読んで良かったです。だからといって、いきなり明日からRubyをハックできるようになるかと言ったら、そんな事は無いですが。……というか、正直、よくこれだけの物をメンテナンス出来てるよなぁ。ruby-devの常連さん達が如何に人間離れしてるか分かったような気がする。

Tags: ruby

λ. 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
Tags: haskell CPL