태그가 지정되지 않은 공용체가 유형 클래스를 허용하는 것과 동등한 것을 허용합니까?

Question

this 질문에서 태그가 지정되지 않은 공용체는 하위 유형 지정의 한 형태로 설명됩니다.

유형 클래스도 하위 유형 지정의 양식입니다.

개념적으로 동일합니까? 저도 그렇습니다. 하스켈에서 어떻게 구현합니까?

Answer 1

유형 클래스도 하위 유형 지정의 한 형태입니다.

아니요. 그림을 위해 들어, 내가 그 질문에 언급 TypeScript examples로 돌아가 보자

우리는 노동 조합 유형이 값이 있다면, 우리가 할 수있는 노동 조합의 모든 유형에 공통되는 전용 액세스 회원 .

interface Bird { 
    fly(); 
    layEggs(); 
} 

interface Fish { 
    swim(); 
    layEggs(); 
} 

function getSmallPet(): Fish | Bird { 
    // ... 
} 

let pet = getSmallPet(); 
pet.layEggs(); // okay 
pet.swim(); // errors 

여기, getSmallPet의 반환 형식은 Fish도 Bird하지만 Fish 및 Bird 모두 회원 일반 회원으로 가지고 그 둘의 슈퍼 아닙니다. Fish은 이고은 Fish | Bird이며, 따라서 Bird입니다. 타입 클래스와 어떻게됩니까

는 매우 다르다 :

foo :: Num a => a -> a 
foo x = (x * x) + x 

동안 (3 :: Integer) 및 (7.7 :: Double)도 가지고 Num에 해당하는 슈퍼가 의미하지 않는다 모두 foo (3 :: Integer) 및 foo (7.7 :: Double) 작품. 대신 Num a => a -> a에 따르면 a을 선택하면 Num의 인스턴스가 있어야하며 Num은 유형이 아니므로 해당 유형의 (*) 및 (+)의 적절한 구현이 있도록 강조해야합니다. OOP 메소드와 달리 (*) 및 (+)은 특정 유형에 속하지 않으므로 Integer 및 Double과 함께 사용하려면 상위 유형을 도입 할 필요가 없습니다.