[SML 7533] Re: オーバロードはポリモフィズムか?

Hidetaka MASUDA masuda @ im.dendai.ac.jp
2009年 5月 2日 (土) 21:15:47 JST


増田です。

Polymorphism を分類してくれている文献がありました。1985年のものです。

Luca Cardelli and Peter Wegner:
On Understanding Types, Data Abstraction, and Polymorphism,
Computing Surveys, Vol 17 n. 4, pp 471-522, December 1985
http://lucacardelli.name/Papers/OnUnderstanding.A4.pdf

さっそく4ページ目に 1.3 Kinds of Polymorphism という節があります。

私が考えていたポリモフィズムは universal polymorphism (inclusion)で、
オーバロードは ad hoc polymorphism となるんですね。

-- 
------
〒101-8457 東京電機大学 未来科学部 情報メディア学科  増田 英孝
E-mail: masuda @ im.dendai.ac.jp                TEL 03-5280-3551
http://www.cdl.im.dendai.ac.jp/%7Emasuda/     FAX 03-5280-3592


SML メーリングリストの案内