限制类型参数在数据声明中可以接受的类型
data Maybe a = Nothing | Just a
data Tag a = Tag a
这样A可以采用类型TagPrimative或类型TagComplex（但是，我不希望A的类型可能是Integer或String或在我的程序中没有意义的东西）。
这可能吗？
共有1个答案
您建议的tag类型有点奇怪：它是一种参数化类型，可以专门化为只能包含TagPrimitial的类型，也可以专门化为只能包含TagComplex的类型。但这似乎有点毫无意义：我们已经有两个专门的类型TagPrimative和TagComplex来服务这两个角色。
相反，我建议您实际上想要的是一个可以包含任何一种类型的值的单一类型。为此，我建议制作一个新的sum类型：
data Tag = Primitive TagPrimitive | Complex TagComplex
deriving (Eq, Ord, Read, Show)
对于早期的原型，您可能会使用规范的sum类型或者，如
type Tag = Either TagPrimitive TagComplex
-
我希望为我的2D游戏创造平滑的道路。看着这正是我需要的东西。每一篇文章，甚至在上，都给它一个类型，并用构造函数传递所有控制点和一个。这似乎是过时的，不再接受任何类型参数，没有它，它只能与路径工作。构造函数也不接受控制点列表。 这会产生以下错误：
-
这似乎很奇怪，这并不像我预期的那样有效。我编写了一个简单的java类，它实现了可比接口并重写了compareTo（）方法。但是，它不允许我传递Object以外的特定类型的参数。我在网上查看了其他人的代码，他们确实使用了其他类型的对象，我将他们的代码复制到eclipse中，但我仍然得到了同样的错误。 我的问题是；我必须做什么来比较这个对象和类型的对象，让我们说Person。比较器接口（compare
-
我试图实现的是从声明类型数组。 使用enum，我可以这样做： 输出将是 我想通过这种方式实现类似的目标： 输出类似： 有什么想法吗？我尝试了和。不幸的是，它不起作用。
-
问题内容： 我正在用Java处理数组，但有一个问题。我知道Java中的数组是类似数据类型的集合，如下所示： 上面的声明可以作为一个数组读取，该数组是整数类型的集合。 考虑一下： 在这里，我可以说上面的是一个数组，它是不同数据类型的集合，还是它是相似数据类型（即对象）的数组？ 我对此感到困惑和怀疑。在Java中，是否可以创建可以容纳不同数据类型的数组或任何种类的集合？ 问题答案： Java中的所有对
-
问题内容： 我知道JavaScript函数可以接受“任意”数量的参数。 但是我想知道实际上有多少个“任何”个数是否有限制？ 例如，假设我向提出了一百万个论点。那行得通吗？还是口译员会翻身？ 我猜测最大值是（a）特定于实现的（b），因为对象是类似数组的。 我在语言规范中没有看到这一点，但是可能没有连接点。 问题答案： 尽管没有具体限制规范中参数的理论最大数目这些限制是完全依赖于实现的，最有可能，也将
-
问题内容： 我想了解为什么下面的代码片段无法编译。将函数接受为可能具有任何返回类型的函数参数的Go方法是什么？ 播放：https：//play.golang.org/p/CqbuEZGy12 我的解决方案基于Volker的答案： 播放：https：//play.golang.org/p/waOGBZZwN7 问题答案： 你绊倒了围棋新人一个非常普遍的误解：空接口并 不能 意味着“任何类型”。确实不