回答編集履歴

2

update

2016/12/05 06:30

投稿

yohhoy
yohhoy

スコア6187

test CHANGED
@@ -24,7 +24,7 @@
24
24
 
25
25
 
26
26
 
27
- 本来の"polymorphism"は、型システム(type system)の文脈で定義される用語ですし。型システムの話は比較的学術よりと思いますが、(私も含めた)一般的なプログラマ/エンジニア視点では、「オブジェクト指向の文脈において型継承により実現される動的な多態性」として認知されている気がします。
27
+ 本来の"polymorphism"は、型システム(type system)の文脈で定義される用語ですし、オブジェクト指向に限定した用語でもありません。型システムの話は比較的学術よりと思いますが、(私も含めた)一般的なプログラマ/エンジニア視点では、「オブジェクト指向の文脈において型継承により実現される動的な多態性」として認知されている気がします。
28
28
 
29
29
 
30
30
 

1

update

2016/12/05 06:30

投稿

yohhoy
yohhoy

スコア6187

test CHANGED
@@ -24,6 +24,10 @@
24
24
 
25
25
 
26
26
 
27
+ 本来の"polymorphism"は、型システム(type system)の文脈で定義される用語ですし。型システムの話は比較的学術よりと思いますが、(私も含めた)一般的なプログラマ/エンジニア視点では、「オブジェクト指向の文脈において型継承により実現される動的な多態性」として認知されている気がします。
28
+
29
+
30
+
27
31
  ----
28
32
 
29
33
 
@@ -32,4 +36,4 @@
32
36
 
33
37
 
34
38
 
35
- 同氏の回答中では"polymorphism"という単語がoverridingを通して実現される"subtyping polymorphism"を意味しています。該当文"Method Overloading is unrelated to polymorphism"は、overloadingはその"subtyping polymorphism"とは無関係である、つまりoverloadingとoverridingは別物だという自然な主張だと思います。
39
+ 同氏の回答中では"polymorphism"という単語がoverridingを通して実現される"subtype polymorphism"を意味しています。該当文"Method Overloading is unrelated to polymorphism"は、overloadingはその"subtype polymorphism"とは無関係である、つまりoverloadingとoverridingは別物だという自然な主張だと思います。