나는 읽었습니다 힌들리 - 밀너는 서브 클래스가 타입 시스템으로 작업을하지 않으며, 또한 잘 작동하지 않는 다른 유형의 시스템 기능이 있습니다. Go는 현재 :=연산자 에서 형식 유추가 매우 제한되어 있습니다. 그러나 Go에는 전통적인 의미의 하위 클래스가 없으며 Hindley-Milner 추론에서 잘 작동하는 Haskell의 유형 클래스와 매우 유사한 인터페이스 만 있습니다.
따라서 Hindley-Milner 추론은 원칙적으로 Haskell과 같은 방식으로 Go에서 작동 할 수 있습니까? 아니면 Go에 다른 기능이 있습니까? 반면에 Haskell에는 프로그램의 해당 부분을 수동으로 입력해야하는 기능을 사용하는 경우 Hindly-Milner에서 작동하지 않는 기능도 있습니다.
답변:
Hindley-Milner 타입 추론은 System-F 타입 시스템의 제한 인 Hindley-Milner 타입 시스템에 사용됩니다. HM 타입 시스템의 흥미로운 특징은 파라 메트릭 다형성 (일명 제네릭) 을 가지고 있다는 것 입니다. 이것이 Golang이 거부 한 가장 큰 단일 유형 시스템 기능입니다.
이러한 좌절스러운 제한으로 인해 HM 스타일의 유추는 불가능합니다. 형식화되지 않은 코드를 보자.
func f(a) {
return a.method()
}유형은 f무엇입니까? a익명의 인터페이스를 사용할 수 있도록 메소드 가 있어야 함을 알 수 있습니다 func f(a interface { method() ??? }) ???. 그러나 반환 유형이 무엇인지 모릅니다. 타입 변수를 사용하면 타입을 다음과 같이 선언 할 수 있습니다.
func f[T](a interface{ method() T }) T그러나 Go에는 유형 변수가 없으므로 작동하지 않습니다. 암시 적 인터페이스는 형식 유추의 일부 측면을 더 쉽게 만들지 만 이제 함수 호출의 반환 형식을 찾을 수있는 방법이 없습니다. HM 시스템은 모든 함수가 묵시적인 것이 아니라 선언되어야하며 각 이름은 단일 유형 만 가질 수 있습니다 (Go의 메소드는 인터페이스마다 다른 유형을 가질 수 있음).
대신 Go는 함수가 항상 완전히 선언되어야하지만 변수가 형식 유추를 사용할 수 있도록해야합니다. 과제의 오른쪽 variable := expression에 프로그램의 해당 지점에 이미 알려진 유형이 있기 때문에 가능 합니다. 이러한 유형의 유추는 간단하고 정확하며 선형입니다.
map, filter그리고 reduce모든 이동의 매우 제한 내에서 말로 표현할 수없는입니다 유형 시스템.
gengen하고gonerics