Go 中的类型变量答案

【问题标题】：Type variables in Go [duplicate]Go 中的类型变量
【发布时间】：2013-12-31 02:29:24
【问题描述】：

在 Haskell 中，map 的类型为：

map :: (a -> b) -> [a] -> [b]

请注意，a 和 b 不是绝对类型，而是类型变量，这意味着它们可以是任何类型，只要每个变量在特定函数调用中始终引用相同的类型。如何在 Go 中做同样的事情？

【问题讨论】：

我对 Go 几乎一无所知，但我发现这个问题很有趣，所以我四处搜索。您可能有兴趣阅读其他问题stackoverflow.com/questions/3912089/why-no-generics-in-go

标签： go

【解决方案1】：

Go 没有像 Haskell 那样的 Hindley-Milner 类型系统，所以它不能表达完全相同的东西，比如带变量的类型。 Go 中与类型无关的函数的实现方式是使用接口。如果你想表达“任何类型”，通常写成一个空接口（@987654321@）。标准库中Map函数的类型为：

func Map(iter Iterable, f func(interface{}) interface{}) Iterable

因此，不是采用从a 到b 的函数，而是采用从interface{} 到interface{} 的函数。

【讨论】：

那么在使用Map时如何“重新添加”类型信息呢？（这似乎相当于在 C#/Java 中使用 Object ..？）
@user2864740：如果你有一个interface{} 类型的变量并且想把它恢复成更具体的类型，你可以使用类型断言。例如，如果您知道该值为 int，someVariable.(int) 将从 interface{} 变量中取回 int。

【解决方案2】：

Chuck 已经回答了，但您可能会发现我的 ty 库很有用：http://godoc.org/github.com/BurntSushi/ty/fun

【讨论】：