ghc & Typeable

[v]

Kód: [Vybrat]

{-# LANGUAGE GADTs #-}

import Data.Typeable

data E a where
I :: Int -> E Int
B :: Bool -> E Bool

-- typeOf :: forall a. Typeable a => a -> TypeRep
main = print $ typeOf $ I 0

umí někdo vysvětlit proč tenhle kód funguje? resp. jakto, že E je (asi/zjevně?) Typeable

[Reklama]

reklama

[v]

takže ghc generuje instance Typeable pro všechny typy, derived ignoruje a uživatelem definované prý dokonce odmítá