2004-07-26 (Mon)
_ [言語] 静的型言語
型は構造ではなく、signatureで表現する。 型をメソッドの集合によって表現する。 メソッドの名前、それぞれの引数の数とsignatureがすべて一致する型は 同じ型であるとする。ちょっとドラスティックすぎるか。 型の互換性はsignatureの包含関係でチェックする。
[Matzにっきより引用]
Emeraldとかいう言語がそんな感じじゃなかったですっけ。 (ってfjか何かの記事で読んだだけですけど。) あと、gccのC++拡張のsignatureとか。
でも、そこを明示しないんだったらRubyみたいな動的言語でもいいような 気もします。 それでは既存の型のsuper typeが定義できないから柔軟性がない、という 向きにはsupertypingで。
_ [言語] Supertyping Suggestion for Haskell
Googleで"supertyping"で検索したらこんな記事が。 Satherへの言及もあるようだ。
[ツッコミを入れる]
[TrackBack URL: http://shugo.net/jit/tb.rb/20040726]
本日のリンク元
- http://www.rubyist.net/~matz/20040722.html ×8
- http://search.live.com/results.aspx?q=signature&mr... ×4
- http://www.rubyist.net/~matz/20040724.html ×3
- http://search.live.com/results.aspx?q=signature ×3
- http://www.rubyist.net/~matz/20041023.html ×2
- http://search.live.com/results.aspx?q=signature&fo... ×1
- http://209.85.175.104/search?q=cache:8sla2rqJp0MJ:... ×1
- http://209.85.175.104/search?q=cache:8sla2rqJp0MJ:... ×1
- http://216.239.37.104/translate_c?hl=en&u=http://s... ×1
- http://babelfish.altavista.com/babelfish/trurl_pag... ×1
- http://www.rubyist.net/~matz/20040812.html ×1
