kind
kind
kind
의 가능한 번역은
종류
-종 (특히 수학에서 first kind second kind 그런 게 많은데, 이건 대체로 제 1종 제 2종 이렇게 번역함)
유형
-류
부류
....
그래서, 비슷한 것은
클래스,class
관련
분류,classification
taxonomy
?
타입이론,type_theory
에서의 kind
{
MKL
type_constructor
{
type_constructor
type 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 HOTO
{
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
{
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 operator
} // higher-order type operator
higher-order type operator
Twin
종_(유형_이론)
=
https://ko.wikipedia.org/wiki/종_(유형_이론
)
Kind_(type_theory)
=
https://en.wikipedia.org/wiki/Kind_(type_theory
)
wj는 '카인드'로...
カインド_(型理論)
=
https://ja.wikipedia.org/wiki/カインド_(型理論
)
}
Retrieved from http://red-ruby.com/wiki/wiki.php/카인드,kind
last modified 2024-01-13 12:09:09