위키 홈
Edit
Recursive type
타입 이론
에서 자기 스스로를 지칭하여 정의된 타입을 귀납 타입이라고 한다.