2004-07-26 (Mon) [長年日記]
_ 静的型言語
型は構造ではなく、signatureで表現する。 型をメソッドの集合によって表現する。 メソッドの名前、それぞれの引数の数とsignatureがすべて一致する型は 同じ型であるとする。ちょっとドラスティックすぎるか。 型の互換性はsignatureの包含関係でチェックする。
[Matzにっきより引用]
Emeraldとかいう言語がそんな感じじゃなかったですっけ。 (ってfjか何かの記事で読んだだけですけど。) あと、gccのC++拡張のsignatureとか。
でも、そこを明示しないんだったらRubyみたいな動的言語でもいいような 気もします。 それでは既存の型のsuper typeが定義できないから柔軟性がない、という 向きにはsupertypingで。
_ Supertyping Suggestion for Haskell
Googleで"supertyping"で検索したらこんな記事が。 Satherへの言及もあるようだ。
_ tDiary-2.0.0
ようやくアップグレードした。