type-kinds

    5ısı

    1cevap

    Biz tür * parametreleri için tek, kapsamlı örneklerini yazabilir Tanıtılan Türleri üzerinde Eşleştirme derleyici, herhangi bir Maybe d için eşleşen bir örnek bulduğu için test1. Hatta tip kurucular sı

    12ısı

    1cevap

    Data.Typeable ile çalışıyorum ve özellikle belirli türde bir tür üretebilmek istiyorum (örneğin *). İşte let maybeType = typeRep (Proxy :: Proxy Maybe) let maybeCon = fst (splitTyConApp maybeType) l

    6ısı

    2cevap

    Bu yüzden comonad.com, uygulayıcılarla çalışma konusunda ilginç bir dizi makaleye sahiptir ve ben (örneğin, eğlenmek ve öğrenmek için) ölçeklendirmek için elimden geleni yapmaya çalışıyorum. Yani, has

    21ısı

    1cevap

    Tanımı Haskell koduyla çalışırken, çoğu zaman bir tür ek açıklama ve undefined ile biter. foo :: String -> Int foo = undefined tip düzey ben benzer şekilde kullanabileceği "tanımsız" var mıdır? (İd

    5ısı

    1cevap

    Parametrelerden birinin daha iyi bir tür (* -> *) olduğu bir polimorfik türüm var. data Tricky m = Tricky { numbers :: m Int, genesis :: m String } Arcane ve güvensiz dil uzantıları kullanmadan bu t