Difference between r1.3 and the current
@@ -1,3 +1,4 @@
#noindex
NdEn:kindNdict:kind
@@ -15,3 +16,38 @@
관련
[[분류,classification]]
[[taxonomy]]?
[[분류,classification]]
[[taxonomy]]?
[[타입이론,type_theory]]에서의 kind
{
MKL
[[type_constructor]] { Srch:type_constructor
'''type constructor'''
https://en.wikipedia.org/wiki/Type_constructor
https://en.wiktionary.org/wiki/type_constructor x 2024-1
} // type constructor Ggl:"type constructor" Naver:"type constructor" Bing:"type constructor"
[[higher-order_type_operator]] =,higher-order_type_operator =,higher-order_type_operator . higher-order_type_operator |=,HOTO HOTO
{
'''higher-order type operator'''
https://en.wikipedia.org/wiki/Higher-order_type_operator ....... [[Date(2024-01-13T03:09:09)]] 현재 https://en.wikipedia.org/wiki/Type_constructor 로 redir.
Up: [[type_operator]] =,type_operator . type_operator
{
'''type operator'''
https://en.wiktionary.org/wiki/type_operator x 2024-1
WpEn:Type_operator ..... [[Date(2024-01-13T03:09:09)]] 현재 https://en.wikipedia.org/wiki/Type_constructor 로 redir.
} // type operator Ggl:"type operator"
} // higher-order type operator Ggl:"higher-order type operator"
Twin
[[WpKo:종_(유형_이론)]]
= https://ko.wikipedia.org/wiki/종_(유형_이론)
[[WpEn:Kind_(type_theory)]]
= https://en.wikipedia.org/wiki/Kind_(type_theory)
wj는 '카인드'로...
[[WpJa:カインド_(型理論)]]
= https://ja.wikipedia.org/wiki/カインド_(型理論)
}
kind의 가능한 번역은
종류
-종 (특히 수학에서 first kind second kind 그런 게 많은데, 이건 대체로 제 1종 제 2종 이렇게 번역함)
유형
-류
부류
....
종류
-종 (특히 수학에서 first kind second kind 그런 게 많은데, 이건 대체로 제 1종 제 2종 이렇게 번역함)
유형
-류
부류
....
MKL
type_constructor {
type_constructor
type_constructor {
type_constructortype constructor
https://en.wikipedia.org/wiki/Type_constructor
https://en.wiktionary.org/wiki/type_constructor x 2024-1
} // type constructor
type constructor 
type constructor 
type constructor
higher-order_type_operator =,higher-order_type_operator =,higher-order_type_operator . higher-order_type_operator |=,HOTO HOTOhttps://en.wikipedia.org/wiki/Type_constructor
https://en.wiktionary.org/wiki/type_constructor x 2024-1
} // type constructor
type constructor type constructor type constructor{
higher-order type operator
https://en.wikipedia.org/wiki/Higher-order_type_operator ....... 2024-01-13 현재 https://en.wikipedia.org/wiki/Type_constructor 로 redir.
Up: type_operator =,type_operator . type_operator
higher-order type operator
Twinhigher-order type operator
https://en.wikipedia.org/wiki/Higher-order_type_operator ....... 2024-01-13 현재 https://en.wikipedia.org/wiki/Type_constructor 로 redir.
Up: type_operator =,type_operator . type_operator
{
type operator
https://en.wiktionary.org/wiki/type_operator x 2024-1
Type_operator ..... 2024-01-13 현재 https://en.wikipedia.org/wiki/Type_constructor 로 redir.
} // type operatortype operator
} // higher-order type operator type operator
https://en.wiktionary.org/wiki/type_operator x 2024-1
Type_operator ..... 2024-01-13 현재 https://en.wikipedia.org/wiki/Type_constructor 로 redir.} // type operator
type operatorhigher-order type operator
}