#noindex
NdEn:kind
Ndict:kind

'''kind'''의 가능한 번역은
종류
-종 (특히 수학에서 first kind second kind 그런 게 많은데, 이건 대체로 제 1종 제 2종 이렇게 번역함)
유형
-류
부류
....

그래서, 비슷한 것은
[[클래스,class]]

관련
[[분류,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/カインド_(型理論)

}