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
ようやくアップグレードした。
[ツッコミを入れる]
2006-07-26 (Wed)
_ ニコニコカレンダー
会社でためすことにした。 とりあえず、三日連続青い顔。 黄色を貼る日は来るのか。
_ ゲット・アウト・オブ・マイ・ヤード
会社の隣のベスト電器で購入。 まだぜんぜん聞けてないけど。
[ツッコミを入れる]