Haskell: Zobacz wszystkie elementy, które są "showable" na Hlist

Question

Próbowałem

map show . mapMaybe fromDynamic $ [toDyn "one", toDyn (\x -> x::Integer), toDyn 3, toDyn()] 

ale wrócił

["()"] 

Answer 1

Twój kod nie spełnia Twoich oczekiwań. Na długo przed dynamicznym zachowaniem się Data.Dynamic, sprawdzanie typu Haskell rozwiązuje typy. Rodzaj prawej części wyrażenia jest

mapMaybe fromDynamic $ [toDyn "one", toDyn (\x -> x::Integer), toDyn 3, toDyn()] :: Typeable b => [b] 

i rodzaj lewej części jest

map show :: Show a => [a] -> [String] 

tak aby połączyć je, typ zmiennej b wzgl. a zostaje ujednolicony. Jeśli skompilowałbyś to ze zwykłego pliku Haskella, kompilator dałby ci ostrzeżenie (The type variable `a' is ambigous). Ale w GHCi interpreter domyślnie przyjmuje wartość ().

Ale to naprawia typ fromDynamic w wyrażeniu na Dynamic -> Maybe(), skutecznie wybierając wszystkie elementy typu ().

Jeśli wymusisz na kompilatorze użycie innego typu, np. podając sygnaturę typu, widać, że fromDynamic wybiera inny typ:

Prelude Data.Dynamic Data.Maybe> map (show :: Integer -> String) . mapMaybe fromDynamic $ [toDyn "one", toDyn (\x -> x::Integer), toDyn 3, toDyn()] 
["3"] 

Niestety, nie ma sposobu, aby osiągnąć to, co chcesz: Wybierz wszystkie elementy, których rodzaj wsparcia instancji show, jako że informacja nie jest dostępna do fromDynamic.

Answer 2

Problemem jest to, że musi iść do fromDynamic typu jednokształtnym. Pobiera (), ale z podpisem typu można wybrać dowolny inny typ.

Aby to pokazać, potrzebowałbyś jakiejś funkcji, która po kolei próbuje wszystkich możliwych typów. Prawdopodobnie nie chcesz przechowywać takich danych, ale chcesz przechowywać je w pakiecie z niektórymi operacjami (takimi jak show).

Są dwa sposoby pakowania. Moim faworytem jest, aby wszystkie funkcje były wstępnie zastosowane do wartości (tak, aby pokazać, po prostu otrzymasz listę dźwięków typu String).

Innym sposobem jest również wstawienie funkcji do Dynamic (upewnij się, że są to prawidłowe typy monomorficzne!), A następnie użyj dynApply.