Haskell“不”类型约束

Question

我试图以归纳方式定义一对类实例。 那是：

class Foo a b | a -> b where
  foo :: a -> b

instance (not?)Foo a => Bar a b
  foo x = ...

instance Foo a => Bar a b
  foo x = ...

第一个实例确定基本操作，秒递归调用foo。 有没有办法做到这一点？ 一个很好的例子是扁平化列表，在第一种情况下它是标识函数，在第二种情况下它是concat的递归应用。

Answer 1

由于一个非常简单的原因，没有办法直接执行此操作 - 实例选择仅查看“head”，即=>之后的部分。 您在上下文中没有放置任何内容 - =>之前的部分 - 可以影响选择哪个实例。

对于简单的情况，您通常可以完全避免该问题，例如，如果存在有限数量的“基本案例”类型。 一个常见的例子是类型级列表，其中你有一个Cons的递归情况和Nil的基本情况，就是这样。

在一般情况下，您通常需要某种“条件测试”类型类，根据是否满足某些条件来选择类型，然后将实际实现交给“辅助”类，该类将条件的结果值作为参数并使用它来选择实例。

Answer 2

这是一个flatten函数的实现 ，适用于任何级别的嵌套列表。 我不会真的推荐使用它 - 这里只是为了演示如何在haskell中实现这样的功能。