Haskell自定义Menge集合类型删除元素函数语法错误排查

错误原因 #

报错Couldn't match expected type: [el] with actual type: Menge el的核心问题是：
在otherwise分支里，x : 需要拼接的是列表类型，但你调用loeschen el (Menge xs)返回的是Menge el类型，两者类型不匹配，自然无法完成拼接。

修正代码（两种方案） #

方案一：递归时手动解包构造器

直接在递归返回后，把Menge包裹的列表取出来再拼接：

loeschen :: (Ord el) => el -> Menge el -> Menge el
loeschen el (Menge []) = Menge []
loeschen el (Menge (x:xs))
    | el == x = Menge xs
    | otherwise = let Menge rest = loeschen el (Menge xs)
                  in Menge (x : rest)

方案二：拆分逻辑更清晰

先把Menge拆成内部列表，用辅助函数处理列表删除逻辑，最后再重新包装成Menge：

loeschen :: (Eq el) => el -> Menge el -> Menge el
loeschen el (Menge lst) = Menge (deleteFromList el lst)
  where
    deleteFromList _ [] = []
    deleteFromList target (y:ys)
      | target == y = ys
      | otherwise = y : deleteFromList target ys

（注：原代码里的Ord el约束其实没用上，当前删除逻辑只需要Eq el，可以改成这个约束；如果后续要用到排序相关功能，再改回Ord el即可）

补充说明 #

两种方案本质都是解决「构造器包裹的类型和原生列表类型不兼容」的问题：要么在递归过程中手动解包构造器，要么把逻辑拆分到原生列表的操作上，避免嵌套的构造器操作出错。

内容的提问来源于stack exchange，提问作者leetdeadly