Bu işlev, Haskell'de nasıl uygulanır

Question

Haskell hakkında harika bir şey. Bir fonksiyonun türü neredeyse onun uygulanmasını belirler. Yani bu birinde böyle bir durum, ama beynim sadece burada iç içe işlev şey etrafında sarma değildir ...:

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

tek soru gerekecektir fromDynamic çağrı hata işlemeye nasıl kontrol edileceğidir, ama ... geri kalanını bulduktan sonra bununla başa çıkabilirim. Sanırım bir yerlerde aşağıdaki gibi bir şey olması gerekecek. Ama sanki sarıcı lambda eşyalarını anlayamıyorum.

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

Answer 1

Sana toDyn değil fromDynamic istediğini düşünüyorum.

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

Bizim döndürme türü IO() olmalı ve biz k veya f arayarak ya o edinebilirsiniz: Yani en yavaş yapalım. f numaralı telefondan arama yapmak bize bir fayda sağlamaz, çünkü bir şekilde bir Dynamic maddesini gerçekleştirebiliriz, ancak bunu k'dan (mantıklı bir şekilde) yapamayız. Yani k'u aramak istiyoruz.

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

Yani işlevin argümanı Typeable a => a -> IO() geçerli: k yüzden böyle başlatmanızı sağlar, onun argüman olarak başka işlevi ihtiyacı vardır. Bu tür bir işlevimiz yok, ancak Dynamic -> IO() türünde bir işlevimiz var. Typeable sınırlaması biz Dynamic içine bizim a açmak ve almak için toDyn kullanabildiği için:.

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

daha basit uygulamalar (örneğin return() veya k (\a -> return()), ama bu bir anlam ifade görünmektedir vardır

Answer 2

aldattım ve Djinn program kullanılan

ilk verilen türünü genelleştirilmiş.

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

(a -> c), toDyn function işlevini temsil eder ve c, Dynamic'u temsil eder. b, IO()'u temsil eder.

DJiNN en sonuç şaşırtıcı basitti:

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

daha spesifik (toDyn fonksiyonu ile (a -> c) değiştirerek) Yapımı, elde ederiz:

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

nominolo's answer eşleşir.