如何创建一个具有多态数据的数组？

Question

我试图做到这一点

data Foo a = Foo a 
data FooWrapper = FooWrapper (forall a. Foo a) 

foo = [FooWrapper (Foo 0), FooWrapper (Foo "")] 

但有一个错误

无法比拟型

Int 

型

a0 

Answer 1

存在类型在PureScript中与在Haskell中不完全相同，因此通常我们使用purescript-exists库来处理这类事情。

等效采用Exists是：

import Data.Exists (Exists(), mkExists) 

data Foo a = Foo a 
data FooWrapper = FooWrapper (Exists Foo) 

foo = [FooWrapper (mkExists (Foo 0)), FooWrapper (mkExists (Foo ""))] 

我在这种情况下，假设你也许并不需要FooWrapper可言，可能只是有Exists Foo阵列。