타입은 데이터에서 어떤 연산이 수행될 수 있는지, 그리고 해당 데이터 또는 값이 해당 타입에 대해 저장되는 방식을 정의합니다. integer와 string 같은 일반 타입, 복합 타입, 커스텀 타입이 있습니다. 프리미티브 타입과 컨테이너 타입도 참고하세요. type 키워드는 중괄호와 사용하여 예상 타입을 정의할 수 있습니다. 현재 함수 선언 및 숫자 범위가 선언으로 지원됩니다. 예를 들어, subscribable 인터페이스에 대한 Subscribe() 함수는 type 키워드를 사용하여 Callback 파라미터가 void 반환 타입을 가진 함수가 되도록 정의합니다.
Verse
Subscribe<public>(Callback:type {__(:t):void})<transacts>:cancelable