2
종속 유형은 하위 유형 지정의 모든 기능을 제공합니까?
타입과 프로그래밍 언어 는 서브 타이핑에 상당히 중점을두고 있지만, 아시다시피 서브 타이핑은 특히 기본적으로 보이지는 않습니다. 하위 유형 지정은 종속 유형보다 더 많은 것을 제공합니까? 종속 유형 작업은 더 많은 작업이 필요하므로 하위 유형이 실제로 유용한 이유를 이해할 수 있습니다. 그러나 프로그래밍 언어의 기초가 아닌 수학의 기초로 유형 이론에 더 …