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
}