如何使用泛型在 Go 中有效模擬 Haskell 的 `fmap`？

在Go 中模擬fmap

在嘗試使用泛型和方法模擬Go 中fmap 的函數映射行為時，開發人員可能會遇到一種類型實作無法存取介面中定義的泛型類型的推理問題。此錯誤源自於 Go 方法在使用參數化類型作為接收者類型以外的參數時的限制。

為了解決此限制，常見的解決方法是將 fmap 實作為頂層函數而不是方法。透過在類型定義之外聲明 fmap，它可以存取必要的泛型類型，從而實現適當的映射功能。

考慮以下範例：

package main

import "fmt"

type S[A any] struct {
    contents A
}

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

func main() {
    ss := S[string]{"foo"}
    f := func(s string) int { return len(s) }
    fmt.Println(Fmap(ss, f)) // {3}
}

這種方法遵循 Go 的類型系統，同時仍提供所需的映射功能，儘管透過不同的實施策略。然而，重要的是要考慮以 Go 生態系統中感覺自然的方式將概念從其他語言翻譯成 Go 的適當性。

以上是如何使用泛型在 Go 中有效模擬 Haskell 的 `fmap`？的詳細內容。更多資訊請關注PHP中文網其他相關文章！