我将集合转换为列表的 Haskell 程序出现错误

Question

我是一名初级程序员，我已经为我的集合创建了一个数据类型。然后我编写了一个函数将它们转换为列表，但我不断收到以下表达式错误消息：

toList 3 :-: 4 :-: 5 :-: Empty 

Non type-variable argument in the constraint: Num (Set a)
      (Use FlexibleContexts to permit this)

When checking the inferred type
        it :: forall a. (Num (Set a), Num [a]) => Set [a]

这是我的代码：

infixr 5 :-:
data Set a = Empty | a :-: (Set a) deriving (Show, Read, Eq, Ord)

toList :: Set a -> [a]
toList Empty = []
toList (x :-: xs) =  x : toList xs

Answer 1

问题是toList 3 :-: 4 :-: 5 :-: Empty 被解析为(toList 3) :-: 4 :-: 5 :-: Empty，但你实际上想要toList (3 :-: 4 :-: 5 :-: Empty)。要让它工作，你需要写后者，或者使用$，像这样：toList $ 3 :-: 4 :-: 5 :-: Empty。