如何創建一個具有多態數據的數組？

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陣列。