Sub:
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
{
concept
{
콘셉트_(제네릭_프로그래밍) = https://ko.wikipedia.org/wiki/콘셉트_(제네릭_프로그래밍)
Concept_(generic_programming) = https://en.wikipedia.org/wiki/Concept_(generic_programming)
}

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

https://foldoc.org/parametric polymorphism

parametric_polymorphism
Parametric_polymorphism
... parametric.polymorphism parametric.polymorphism
}

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

Overloading means using the same syntax for different types.[3]

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

Ad_hoc_polymorphism
... ad hoc polymorphism ad hoc polymorphism
}

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

aka subtype_polymorphism or inclusion_polymorphism (wpen)
aka subtype_polymorphism[4]

subtyping

Sub:
behavioral_subtyping
MKLINK
subtype
supertype
subsumption
{
... subsumption subsumption
... subsumption oo subsumption oo
... subsumption
}

Twins:
Subtyping
subtyping

...
서브타이핑
서브타이핑
subtyping
subtyping
}

polymorphic_lambda_calculus
{
MKLINK
람다대수,lambda_calculus - 람다대수,lambda_calculus
System_F

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

row_polymorphism
{
행,row?
Row_polymorphism
}

static_polymorphism
{
tmp see Template_metaprogramming#Static_polymorphism
... static.polymorphism
}

MKLINK
디스패치,dispatch
타입,type
type_system
상속,inheritance

opp
단형성,monomorphism
{
함수,function가/펑션,function이
여러 타입,type이

https://wiki.haskell.org/Monomorphism

opp. 다형성,polymorphism

... 단형성 monomorphism
}

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

다형성_(컴퓨터_과학)
Polymorphism_(computer_science)
https://rosettacode.org/wiki/Polymorphism
https://foldoc.org/polymorphism

https://wiki.haskell.org/Polymorphism

... 다형성 다형성
... polymorphism polymorphism