Как создать массив с полиморфными данными?

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.