Hello。我正在與依賴於Haskell現代特徵的象牙圖書館玩耍。其中，它定義了接受所有類型的類型IvoryType和接受特殊類型Area的IvoryArea。定義如下： {-# LANGUAGE DataKinds #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE Ex
我不明白爲什麼這個工程： module Records where
type Element e = { element :: String, label :: String | e }
type Sel = (value :: Number, values :: [Number])
type Select = Element Sel
雖然這說Cannot unify # * wit
說我們有定義爲 data A a = A' a deriving Show
數據類型我們有 A :: * -> *
然後我們就可以使Functor一個實例使用的「FMAP般」的功能： instance Functor A where fmap f (A' x) = A' (f x)
這使我們能夠A類型的值，並使用fmap到App LY到包裹值的函數現在 Prelude> let x =
假設我有一個多態類型，其中一個參數是更高類型的變量（* -> *）。 data Tricky m = Tricky { numbers :: m Int, genesis :: m String }
是否有一種通用的方式爲這些類型派生實例而不使用神祕和不安全的語言擴展？ 我試圖使StandaloneDeriving，這樣我可以指定上下文： deriving instance Show (m I
說我有這樣的： data Animal = Dog | Cat
:t Dog
Dog :: Animal
很公平。 :k Dog
<interactive>:1:1:
Not in scope: type constructor or class ‘Dog’
A data constructor of that name is in scope; did you m