다형성,polymorphism

Difference between r1.8 and the current

@@ -4,9 +4,35 @@
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]] =,generic_programming =,generic_programming . generic_programming
{
 
WtEn:generic_programming
 
[[concept]]
{
[[개념,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
 
} // 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
}

@@ -30,29 +56,94 @@
... Google:ad+hoc+polymorphism Naver:ad+hoc+polymorphism
}

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

aka [[subtype_polymorphism]] or [[inclusion_polymorphism]]
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]] ... curr [[타입,type?action=highlight&value=subtype]]
rel [[subtyping]]
[[supertype]] ... curr [[타입,type?action=highlight&value=supertype]]
rel [[supertyping]] ???
[[subsumption]] =,subsumption . subsumption
{
... Google:subsumption Naver:subsumption
... Google:subsumption+oo Naver:subsumption+oo
... Ndict:subsumption
}
 
----
Twins:
[[WpEn:Subtyping]]
= https://en.wikipedia.org/wiki/Subtyping
[[WpJa:サブタイピング_(計算機科学)]]
= [[https://ja.wikipedia.org/wiki/サブタイピング_(計算機科学)]]

Srch:subtyping

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

[[polymorphic_lambda_calculus]]
[[polymorphic_lambda_calculus]] =,polymorphic_lambda_calculus =,polymorphic_lambda_calculus . polymorphic_lambda_calculus
{
WtEn:polymorphic_lambda_calculus ???
 
MKLINK
[[람다대수,lambda_calculus]] - [[VG:람다대수,lambda_calculus]]
[[System_F]]

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

[[row_polymorphism]] =,row_polymorphism =,row_polymorphism . row_polymorphism
{
WtEn:row_polymorphism ?? iiiiiiiii8888888
 
[[WpEn:Row_polymorphism]]
= https://en.wikipedia.org/wiki/Row_polymorphism
 
[[행,row]]?
 
}
 
[[static_polymorphism]]
{
tmp see [[WpEn:Template_metaprogramming#Static_polymorphism]]
... Google:static.polymorphism
}
 
----
MKLINK
[[디스패치,dispatch]]
static_dispatch
@@ -60,28 +151,31 @@
[[타입,type]]
[[type_system]]
[[상속,inheritance]]
{
단일상속 single_inheritance
https://rosettacode.org/wiki/Inheritance/Single
다중상속 multiple_inheritance ?
https://rosettacode.org/wiki/Inheritance/Multiple
 
}


opp
[[단형성,monomorphism]]
[[단형성,monomorphism]] =단형성,monomorphism =,monomorphism 단형성 monomorphism
{
번역?
or 일형성?
[[함수,function]]가/[[펑션,function]]이
여러 [[타입,type]]이

https://wiki.haskell.org/Monomorphism

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

... Google:단형성+monomorphism
opp./Cmp/contrast: [[다형성,polymorphism]]
 
... Google:단형성+monomorphism Ndict:monomorphism
}

QQQ 이거 ~~이름~~단어 뒷부분이 morphism인데 혹시 [[사상,morphism]]과 related? 뜻은 관계없어도 etymology나 어근(root)이 뭐 괸련되었는지... 그리스어 형태 어쩌고가 morph 였나? .... 어근만 일치?
----
[[WpKo:다형성_(컴퓨터_과학)]]
= https://ko.wikipedia.org/wiki/다형성_%28컴퓨터_과학%29
@@ -91,5 +185,7 @@
https://rosettacode.org/wiki/Polymorphism
https://foldoc.org/polymorphism

https://wiki.haskell.org/Polymorphism
... Google:다형성 Naver:다형성
... Google:polymorphism Naver:polymorphism

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 =,generic_programming =,generic_programming . generic_programming
{





} // generic_programming





오버로딩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]


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

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
{
번역?
서브타이핑
...







polymorphic_lambda_calculus =,polymorphic_lambda_calculus =,polymorphic_lambda_calculus . polymorphic_lambda_calculus
{
WtEn:polymorphic_lambda_calculus ???






row_polymorphism =,row_polymorphism =,row_polymorphism . row_polymorphism
{
WtEn:row_polymorphism ?? iiiiiiiii8888888



}


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


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



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

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


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



----
다형성,polymorphism Modified on 6:20 am, December 15, 2023.
🎲 Random