如何在Haskell中迭代“`newtype`”列表

Question

由于newtype在类型系统中被视为一个完全不同的类型，我想知道是否有任何方法可以使用模式匹配或使用newtype迭代列表，如下所示。

newtype Foo = Foo [Int]

bar :: Foo -> Int
bar (x : xs) = x + bar xs
bar [] = 0

Answer 1

有多种选择。

1. 只是手动地包装/打开新类型的正确位置。

bar (Foo (x : xs)) =x+ bar (Foo xs) bar (Foo []) = 0

1. 在列表上实现该函数，并在传递给该函数之前将其展开一次。在本例中，列表版本只是sum，所以我们可以使用

bar (Foo )= sum xs

1. 创建了一个接口，允许像列表一样操作Foo值。

{-# LANGUAGE PatternSynonyms #-} {-#完成( :% )，FooNil #-}模式( :% ) :：Int -> Foo -> Foo模式x :% xs <- Foo (x：(Foo -> xs))其中x：% xs = Foo (x : getFoo xs)模式FooNil : Foo模式FooNil = Foo [] bar :：Foo -> Int (x：% xs) =x+ bar xs bar = 0

1. 文摘。您并不真正需要特定的列表解构函数，您只需要某种方式来实现对包含的数据的折叠。为此，在Foldable中有一个标准的base类，但是它需要容器对包含的类型进行参数化。因为它不是参数化的，所以您需要使用来自mono-traversable包的mono-traversable类。

导入Data.MonoTraversable类型实例元素Foo = Int MonoFoldable Foo，其中ofoldr f (Foo (x: xs) ) e=f x$ ofoldr f (Foo Xs)e ofoldr _ (Foo []) e=e bar = ofoldr (+) 0

注意，一般来说，这种函数应该用严格的左折叠而不是右折叠来实现。