Bagaimanakah `fmap` Haskell Boleh Ditiru dengan Berkesan dalam Go Menggunakan Generik?

Meniru fmap Haskell dalam Go

Ketidakupayaan untuk mempunyai hujah kaedah menggunakan jenis parameter memberikan cabaran apabila meniru kelas jenis Haskell dalam Go. Pertimbangkan contoh berikut yang cuba meniru 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
}

Kod ini gagal disebabkan oleh jenis B yang tidak ditentukan dalam pelaksanaan antara muka.

Penyelesaian Menggunakan Fungsi Peringkat Atas

Memandangkan kaedah Go tidak dapat memperkenalkan parameter jenis baharu, satu penyelesaian adalah dengan melaksanakan fmap sebagai fungsi peringkat atas:

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

Pendekatan Alternatif

Walaupun penyelesaian ini menyelesaikan isu segera, ia menyerlahkan bahawa meniru kelas taip Haskell menggunakan generik dan kaedah bukanlah sesuatu yang mudah. berusaha dalam Go. Pendekatan alternatif boleh melibatkan:

• Menggunakan warisan: Reka bentuk hierarki warisan di mana setiap jenis melaksanakan kaedah untuk fungsi tertentu.
• Menggunakan antara muka dengan pelaksanaan kaedah eksplisit: Tentukan antara muka dengan kaedah yang dilaksanakan secara eksplisit yang menerima jenis generik sebagai hujah.

Atas ialah kandungan terperinci Bagaimanakah `fmap` Haskell Boleh Ditiru dengan Berkesan dalam Go Menggunakan Generik?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!