Difference between r1.22 and the current
@@ -14,6 +14,8 @@
[[concept]]
{
[[개념,concept]]과?
[[WpEn:Concept_(generic_programming)]] = https://en.wikipedia.org/wiki/Concept_%28generic_programming%29
}
Sub:
parametric_polymorphism
{
Parametric polymorphism refers to the use of type variables in a strongly typed(strong_type strong_typing) language.[1]
parametric_polymorphism
{
Parametric polymorphism refers to the use of type variables in a strongly typed(strong_type strong_typing) language.[1]
parameter
generic_function
generic_datatype = generic_type
...
generic_programming =,generic_programming =,generic_programming . generic_programming
{
generic_function
generic_datatype = generic_type
...
generic_programming =,generic_programming =,generic_programming . generic_programming
{
![WpKo: WpKo:](/wiki/imgs/interwiki/wpko-16.png)
![WpEn: WpEn:](/wiki/imgs/interwiki/wpen-16.png)
}
![WpKo: WpKo:](/wiki/imgs/interwiki/wpko-16.png)
![WpEn: WpEn:](/wiki/imgs/interwiki/wpen-16.png)
} // generic_programming
오버로딩overloading
ad-hoc_polymorphism
ad_hoc_polymorphism
{
overloading : sometimes called ad-hoc polymorphism(즉석/임시 다형성,polymorphism?)[2]
ad-hoc_polymorphism
ad_hoc_polymorphism
{
overloading : sometimes called ad-hoc polymorphism(즉석/임시 다형성,polymorphism?)[2]
Overloading means using the same syntax for different types.[3]
번역?
무슨다형성 ...이 최선?
무슨다형성 ...이 최선?
![WpEn: WpEn:](/wiki/imgs/interwiki/wpen-16.png)
= https://en.wikipedia.org/wiki/Ad_hoc_polymorphism
'ad hoc'이란 표현은 이 다형성 형태가 type_system 의 근본적 특징이 아니라는 뜻.
parametric_polymorphism 은 반대.
... 'ad hoc'이란 표현은 이 다형성 형태가 type_system 의 근본적 특징이 아니라는 뜻.
parametric_polymorphism 은 반대.
![Google: Google:](/wiki/imgs/interwiki/google-16.png)
![Naver: Naver:](/wiki/imgs/interwiki/naver-16.png)
}
Sub:
behavioral_subtyping
subtype ... curr 타입,type?action=highlight&value=subtype
{
...
subsumption
subsumption
...
subsumption oo
subsumption oo
...
subsumption
}
behavioral_subtyping
{
behavioral_subtyping = https://en.wiktionary.org/wiki/behavioral_subtyping
Behavioral_subtyping = https://en.wikipedia.org/wiki/Behavioral_subtyping
...
behavioral.subtyping
}
strong_behavioral_subtyping - rel. Liskov_substitution_principle (LSP) - curr at 치환,substitution
{
...
strong.behavioral.subtyping
}
lazy_behavioral_subtyping
{
...
lazy.behavioral.subtyping
}
MKLINK![WtEn: WtEn:](/wiki/imgs/interwiki/wten-16.png)
![WpEn: WpEn:](/wiki/imgs/interwiki/wpen-16.png)
...
![Google: Google:](/wiki/imgs/interwiki/google-16.png)
}
strong_behavioral_subtyping - rel. Liskov_substitution_principle (LSP) - curr at 치환,substitution
{
...
![Google: Google:](/wiki/imgs/interwiki/google-16.png)
}
lazy_behavioral_subtyping
{
...
![Google: Google:](/wiki/imgs/interwiki/google-16.png)
}
subtype ... curr 타입,type?action=highlight&value=subtype
rel subtyping
supertype ... curr 타입,type?action=highlight&value=supertyperel supertyping ???
subsumption =,subsumption . subsumption{
...
![Google: Google:](/wiki/imgs/interwiki/google-16.png)
![Naver: Naver:](/wiki/imgs/interwiki/naver-16.png)
...
![Google: Google:](/wiki/imgs/interwiki/google-16.png)
![Naver: Naver:](/wiki/imgs/interwiki/naver-16.png)
...
![Ndict: Ndict:](/wiki/imgs/interwiki/ndict-16.png)
}
Twins:
Subtyping
= https://en.wikipedia.org/wiki/Subtyping
サブタイピング_(計算機科学)
=
https://ja.wikipedia.org/wiki/サブタイピング_(計算機科学)
![WpEn: WpEn:](/wiki/imgs/interwiki/wpen-16.png)
= https://en.wikipedia.org/wiki/Subtyping
![WpJa: WpJa:](/wiki/imgs/interwiki/wpja-16.png)
=
![[https]](/wiki/imgs/https.png)
polymorphic_lambda_calculus =,polymorphic_lambda_calculus =,polymorphic_lambda_calculus . polymorphic_lambda_calculus
{
polymorphic_lambda_calculus ???
{
![WtEn: WtEn:](/wiki/imgs/interwiki/wten-16.png)
row_polymorphism =,row_polymorphism =,row_polymorphism . row_polymorphism
{
row_polymorphism ?? iiiiiiiii8888888
{
![WtEn: WtEn:](/wiki/imgs/interwiki/wten-16.png)
}
static_polymorphism
{
tmp see
Template_metaprogramming#Static_polymorphism
...
static.polymorphism
}
{
tmp see
![WpEn: WpEn:](/wiki/imgs/interwiki/wpen-16.png)
...
![Google: Google:](/wiki/imgs/interwiki/google-16.png)
}
이 단어는 일단 단어만 보면 polymorphism의 반대 개념 같은데
CS에선 거의 안 쓰임(polymorphism이 압도적으로 많이 쓰인다 - 이유는 뭐 당연하고)
wiktionary 보면 2023-10-26 현재 cs/pl에서의 의미는 없고 다른 분야에서 많이 쓰인다
monomorphism = https://en.wiktionary.org/wiki/monomorphism#English
CS에선 거의 안 쓰임(polymorphism이 압도적으로 많이 쓰인다 - 이유는 뭐 당연하고)
wiktionary 보면 2023-10-26 현재 cs/pl에서의 의미는 없고 다른 분야에서 많이 쓰인다
![WtEn: WtEn:](/wiki/imgs/interwiki/wten-16.png)
opp./Cmp/contrast: 다형성,polymorphism
QQQ 이거 이름단어 뒷부분이 morphism인데 혹시 사상,morphism과 related? 뜻은 관계없어도 etymology나 어근(root)이 뭐 괸련되었는지... 그리스어 형태 어쩌고가 morph 였나? .... 어근만 일치?
![WpKo: WpKo:](/wiki/imgs/interwiki/wpko-16.png)
![WpEn: WpEn:](/wiki/imgs/interwiki/wpen-16.png)
https://rosettacode.org/wiki/Polymorphism
https://foldoc.org/polymorphism