我正在尝试定义仅适用于类型级别自然数的实例。当我编译这个文件时：
module Main where
data NatZero
data NatSucc n
class NatClass n where
switch :: f NatZero -> (forall m. NatClass m => f (NatSucc m)) -> f n
它告诉我：
Error found:
at src/Main.purs:6:1 - 7:73 (line 6, column 1 - line 7, column 73)
A cycle appears in the definition of type synonym NatClass
Cycles are disallowed because they can lead to loops in the type checker.
Consider using a 'newtype' instead.
为什么 NatClass 成为类型同义词？我认为这是一个类型类。哪里有循环？我应该改变什么才能使这项工作像在 Haskell 中一样？它告诉我要 newtype，我要什么 newtype？
错误消息具有误导性和不幸性 - 这不是你在这里的代码做错了什么，这是由于编译器如何对类进行脱糖而发生的。
目前字典表示为记录，所以这里错误中提到的同义词是因为编译器为类创建了这样的东西：
type NatClass n =
{ switch :: forall f. f NatZero -> (forall m. NatClass m => f (NatSucc m)) -> f n }
这样它就可以用字典参数相当直接地替换约束。
我认为现在这个类（或任何将自身用作成员中的约束的类）都会有同样的问题。
一段时间以来，我一直想更改类型类的表示形式，并为此拥有一个WIP PR，我认为之后这种事情将被允许。此类之后将被脱糖为data类型而不是同义词，因此应该允许引用。
本文收集自互联网，转载请注明来源。
如有侵权，请联系[email protected] 删除。
我来说两句