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