[java] Java의 인터페이스와 Haskell의 유형 클래스 : 차이점과 유사점?

유형 클래스는 기본적으로 오버로드 된 함수 의 기술 용어 인 “임시 다형성”을 표현하는 구조화 된 방법으로 생성되었습니다 . 유형 클래스 정의는 다음과 같습니다.

class Foobar a where
    foo :: a -> a -> Bool
    bar :: String -> a

이것이 의미하는 바는 foo클래스에 속하는 유형의 일부 인수에 함수 를 적용 할 때 해당 유형 Foobar에 foo특정한 구현을 찾아서 사용한다는 것입니다. 이것은 더 유연하고 일반화 된 것을 제외하고는 C ++ / C #과 같은 언어에서 연산자 오버로딩이있는 상황과 매우 유사합니다.

인터페이스는 OO 언어에서 비슷한 목적을 제공하지만 기본 개념은 약간 다릅니다. OO 언어는 Haskell이 가지고 있지 않은 유형 계층 구조의 기본 제공 개념과 함께 제공됩니다. 이는 인터페이스가 하위 유형 지정 (예 : 적절한 인스턴스에서 메서드 호출, 인터페이스를 구현하는 하위 유형의 상위 유형 수행)에 의한 오버로딩을 모두 포함 할 수 있기 때문에 어떤면에서 문제를 복잡하게 만듭니다. 플랫 타입 기반 디스패치 (인터페이스를 구현하는 두 클래스가 인터페이스를 구현하는 공통 수퍼 클래스가 없을 수 있기 때문에)에 의해. 서브 타이핑에 의해 도입 된 엄청난 추가 복잡성을 감안할 때, 유형 클래스를 비 OO 언어에서 오버로드 된 함수의 개선 된 버전으로 생각하는 것이 더 유용하다고 제안합니다.

또한 주목할 가치가있는 것은 타입 클래스는 훨씬 더 유연한 디스패치 수단을 가지고 있다는 것입니다. 인터페이스는 일반적으로 그것을 구현하는 단일 클래스에만 적용되는 반면 타입 클래스는 클래스 함수의 시그니처 어디에나 나타날 수 있는 타입에 대해 정의 됩니다. OO 인터페이스에서 이와 동등한 것은 인터페이스가 해당 클래스의 객체를 다른 클래스에 전달하는 방법을 정의하고, 어떤 반환 유형을 기반으로 구현을 선택하는 정적 메서드 및 생성자를 정의하도록 허용하는 것입니다. , 호출 컨텍스트에서 필요한 정의하고, 인터페이스를 구현하는 클래스와 동일한 유형의 인수 및 실제로 전혀 번역되지 않는 다양한 기타 항목을 가져옵니다.

요컨대 : 그들은 비슷한 목적을 제공하지만 작동 방식이 다소 다르며 유형 클래스는 모두 훨씬 더 표현력이 뛰어나고 경우에 따라 상속 계층 구조의 일부가 아닌 고정 유형에서 작업하기 때문에 사용하기가 더 간단합니다.

답변