Sub:
[[parametric_polymorphism]]
{
Parametric polymorphism refers to the use of type variables in a strongly typed(strong_type strong_typing) language.[* https://foldoc.org/polymorphism]

[[parameter]]
generic_function
generic_datatype = generic_type
...
generic_programming
{
[[concept]]
{
[[WpKo:콘셉트_(제네릭_프로그래밍)]] = https://ko.wikipedia.org/wiki/콘셉트_%28제네릭_프로그래밍%29
[[WpEn:Concept_(generic_programming)]] = https://en.wikipedia.org/wiki/Concept_%28generic_programming%29
}

WpKo:제네릭_프로그래밍 = https://ko.wikipedia.org/wiki/제네릭_프로그래밍
WpEn:Generic_programming = https://en.wikipedia.org/wiki/Generic_programming
}

https://foldoc.org/parametric+polymorphism

WtEn:parametric_polymorphism
 = https://en.wiktionary.org/wiki/parametric_polymorphism

WpEn:Parametric_polymorphism
 = https://en.wikipedia.org/wiki/Parametric_polymorphism

... Google:parametric.polymorphism Naver:parametric.polymorphism
}

오버로딩[[overloading]]
[[ad-hoc_polymorphism]]
[[ad_hoc_polymorphism]]
{
overloading : sometimes called '''ad-hoc polymorphism'''(즉석/임시 [[다형성,polymorphism]]?)[* https://foldoc.org/polymorphism]

'''Overloading''' means using the same syntax for different types.[* https://foldoc.org/polymorphism]


번역?
무슨다형성 ...이 최선?

[[WpEn:Ad_hoc_polymorphism]]
 = https://en.wikipedia.org/wiki/Ad_hoc_polymorphism
 'ad hoc'이란 표현은 이 다형성 형태가 type_system 의 근본적 특징이 아니라는 뜻.
 parametric_polymorphism 은 반대. 

... Google:ad+hoc+polymorphism Naver:ad+hoc+polymorphism
}

[[subtyping]] =,subtyping . subtyping 
{
번역?
서브타이핑
...

aka [[subtype_polymorphism]] or [[inclusion_polymorphism]] (wpen)
aka [[subtype_polymorphism]][* WtEn:subtype_polymorphism]

WtEn:subtyping

Sub:
[[behavioral_subtyping]]
 {
 [[WtEn:behavioral_subtyping]] = https://en.wiktionary.org/wiki/behavioral_subtyping
 [[WpEn:Behavioral_subtyping]] = https://en.wikipedia.org/wiki/Behavioral_subtyping
 ... Google:behavioral.subtyping
 }
 [[strong_behavioral_subtyping]] - rel. [[Liskov_substitution_principle]] (LSP) - curr at [[치환,substitution]]
 {
 ... Google:strong.behavioral.subtyping
 }
 [[lazy_behavioral_subtyping]]
 {
 ... Google:lazy.behavioral.subtyping
 }

MKLINK
[[subtype]]
[[supertype]]
[[subsumption]]
{
... Google:subsumption Naver:subsumption
... Google:subsumption+oo Naver:subsumption+oo
... Ndict:subsumption
}

Twins:
WpEn:Subtyping
 = https://en.wikipedia.org/wiki/Subtyping

Srch:subtyping

...
Naver:서브타이핑
Ggl:서브타이핑
Naver:subtyping
Google:subtyping
}

[[polymorphic_lambda_calculus]]
{
MKLINK
[[람다대수,lambda_calculus]] - [[VG:람다대수,lambda_calculus]]
[[System_F]]

https://foldoc.org/polymorphic+lambda-calculus
... Google:polymorphic+lambda+calculus
}

[[row_polymorphism]]
{
[[행,row]]?
WpEn:Row_polymorphism
 = https://en.wikipedia.org/wiki/Row_polymorphism
}

[[static_polymorphism]]
{
tmp see [[WpEn:Template_metaprogramming#Static_polymorphism]]
... Google:static.polymorphism
}

----
MKLINK
[[디스패치,dispatch]]
 static_dispatch
 dynamic_dispatch
[[타입,type]]
[[type_system]]
[[상속,inheritance]]


opp
[[단형성,monomorphism]] =단형성,monomorphism =,monomorphism 단형성 monomorphism
{
번역?
or 일형성?

[[함수,function]]가/[[펑션,function]]이
여러 [[타입,type]]이

https://wiki.haskell.org/Monomorphism

이 단어는 일단 단어만 보면 polymorphism의 반대 개념 같은데
CS에선 거의 안 쓰임(polymorphism이 압도적으로 많이 쓰인다 - 이유는 뭐 당연하고)
wiktionary 보면 [[Date(2023-10-25T20:33:42)]] 현재 cs/pl에서의 의미는 없고 다른 분야에서 많이 쓰인다
[[WtEn:monomorphism]] = https://en.wiktionary.org/wiki/monomorphism#English

opp./Cmp/contrast: [[다형성,polymorphism]]

... Google:단형성+monomorphism
}

QQQ 이거 ~~이름~~단어 뒷부분이 morphism인데 혹시 [[사상,morphism]]과 related? 뜻은 관계없어도 etymology나 어근(root)이 뭐 괸련되었는지... 그리스어 형태 어쩌고가 morph 였나? .... 어근만 일치?

----
[[WpKo:다형성_(컴퓨터_과학)]]
 = https://ko.wikipedia.org/wiki/다형성_%28컴퓨터_과학%29
[[WpEn:Polymorphism_(computer_science)]]
 = https://en.wikipedia.org/wiki/Polymorphism_%28computer_science%29

https://rosettacode.org/wiki/Polymorphism
https://foldoc.org/polymorphism

https://wiki.haskell.org/Polymorphism

... Google:다형성 Naver:다형성
... Google:polymorphism Naver:polymorphism