Tür düzeyinde

Question

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?

(İdeal olarak, bir tür ek açıklama ile birlikte) aynı iş parçacığı üzerinde

type Foo :: * -> * 
type Foo = Undefined 

Daha düşüncenin: Beni bu şekilde oluşturulan türleri için örneklerini dışarı typeclass saplama için bir yol var? Aşağıdaki teorik yoldan daha kolay bir yol?

instance Monad Foo where 
    return = undefined 
    (>>=) = undefined 

Answer 1

Bir tür saplama için EmptyDataDecls kullanabilir ve KindSignatures ile bunu bir tür verebilir:

{-# LANGUAGE EmptyDataDecls, KindSignatures #-} 

data Foo :: * -> * 

Ayrıca ghc bu seçenekle Uyarılar olmadan Monad örneği saplama olabilir.

{-# OPTIONS_GHC -fno-warn-missing-methods #-} 

instance Monad Foo 

Ve sonra return ve >>= için her türlü uygulama da terk etmek gerekmez.