제네릭을 사용하여 Haskell의 'fmap'을 Go에서 어떻게 효과적으로 에뮬레이션할 수 있나요?

Go에서 Haskell의 fmap 에뮬레이션

메서드 인수가 매개변수화된 유형을 사용하도록 할 수 없기 때문에 Go에서 Haskell 유형 클래스를 에뮬레이션할 때 문제가 발생합니다. fmap을 에뮬레이션하려고 시도하는 다음 예를 고려하십시오.

type S[A any] struct {
  contents A
}

type Functor [A any, B any] interface{
  fmap(f func(A)B) B
}

func (x S[A]) fmap (f func(A)B) S[B] {
  x.contents = f(x.contents)
  return x
}

이 코드는 인터페이스 구현에서 정의되지 않은 유형 B로 인해 실패합니다.

최상위 함수를 사용한 해결 방법

Go 메소드는 새로운 유형 매개변수를 도입할 수 없으므로 한 가지 해결 방법은 fmap을 최상위 수준으로 구현하는 것입니다. function:

func Fmap[A, B any](sa S[A], f func(A) B) S[B] {
    return S[B]{contents: f(sa.contents)}
}

대체 접근 방식

이 해결 방법은 즉각적인 문제를 해결하지만 Go에서 제네릭과 메서드를 사용하여 Haskell 타입 클래스를 에뮬레이트하는 것이 간단한 작업이 아니라는 점을 강조합니다. . 대체 접근 방식은 다음과 같습니다.

• 상속 사용: 각 유형이 특정 기능에 대한 메서드를 구현하는 상속 계층 구조를 설계합니다.
• 인터페이스 사용 명시적 메서드 구현: 일반 유형을 다음과 같이 허용하는 명시적으로 구현된 메서드로 인터페이스를 정의합니다. 인수.

위 내용은 제네릭을 사용하여 Haskell의 'fmap'을 Go에서 어떻게 효과적으로 에뮬레이션할 수 있나요?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!