Jak zaimplementować tę funkcję w Haskell

Question

Cudowna rzecz o Haskell. Rodzaj funkcji prawie dyktuje jej realizację. To sprawa dla tego jednego, ale ... mój mózg po prostu nie jest owijanie wokół zagnieżdżonych funkcji rzecz tutaj:

mkDyn :: (Typeable a) => ((a -> IO()) -> IO()) -> ((Dynamic -> IO()) -> IO()) 

Pytanie tylko, jak radzić obsługi błędów w fromDynamic zaproszenia, które będą wymagane, ale ... Mogę sobie z tym poradzić, gdy resztę wymyślę. Zgaduję, że gdzieś będzie coś takiego. Ale wydaje mi się, że nie udało mi się zrozumieć owijania lambdy.

case fromDynamic x of 
    Just x -> f x 
    Nothing -> undefined -- TODO 

Answer 1

myślę chcesz toDyn nie fromDynamic. Więc zróbmy to powoli:

mkDyn :: Typeable a => 
     ((a -> IO()) -> IO()) 
     -> (Dynamic -> IO()) 
     -> IO() 
mkDyn k f = ... 

Nasz typ zwracany powinien być IO() i możemy uzyskać, że albo dzwoniąc k lub f. Dzwonienie pod numer f nie pomaga nam zbytnio, ponieważ w jakiś sposób zmaterializujemy Dynamic, ale nie możemy tego zrobić (rozsądnie) z k. Dlatego chcemy zadzwonić pod numer k. k potrzebuje innej funkcji jako argumentu, więc zacznijmy tak:

mkDyn k f = k (\a -> ...) 

Więc argument funkcja jest Typeable a => a -> IO(). Nie posiadamy funkcji tego typu, ale posiadamy funkcję typu Dynamic -> IO(). Ze względu na Typeable przymusu możemy użyć toDyn aby zwrócić a do Dynamic i dostać.

mkDyn k f = k (\a -> f (toDyn a)) 

Istnieją prostsze implementacje (np return() lub k (\a -> return()), ale ten wydaje się mieć sens

Answer 2

oszukiwałem i użył Djinn program

raz pierwszy uogólniony typ danych.

f :: (a -> c) 
    -> ((a -> b) -> b) 
    -> ((c -> b) -> b) 

Funkcja (a -> c) reprezentuje funkcję toDyn function, a c reprezentuje Dynamic. b reprezentuje IO().

Djinn wynikają była zaskakująco prosta:

@djinn (a -> c) -> ((a -> b) -> b) -> ((c -> b) -> b) 
f a b c = b (\ d -> c (a d)) 

czyniąc ją bardziej specyficzne (zastępując (a -> c) z funkcją toDyn), otrzymujemy:

mkDyn :: (Typeable a) => ((a -> IO()) -> IO()) -> ((Dynamic -> IO()) -> IO()) 
mkDyn b c = b (\ d -> c (toDyn d)) 

który pasuje nominolo's answer.