검색 결과

'''종'''(kind)는 [[수리논리학]] 및 [[컴퓨터 과학]]의 영역에서 [[형 이론]](타입 이론)으로 구분되어 있다. '''종'''(kind)이란 [[wikipedia:Type_constru ..."[[자료형|(데이터) 타입]]의 타입"으로 설명되곤 하지만, 실제로는 인자(arity) 지정자라고 보는게 더 맞다. 구문 상으로는, 다형성 타입을 타입 생성자라고 생각하는 것이 더 자연스러우며, 따라서 다형성이 없는 타입의 경우 [[:en:Arity|인자가 없는(nullar ...

* [[다형성 (컴퓨터 과학)]] [[분류:다형성 (컴퓨터 과학)]] ...