Non défini au niveau du type

Question

Souvent, lorsque je joue avec du code Haskell, je crée des annotations de type undefined.

foo :: String -> Int 
foo = undefined 

Existe-t-il un type "indéfini" au niveau du type que je pourrais utiliser de la même manière?

(Idéalement, en liaison avec une annotation de type)

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

Une réflexion sur le même fil: est-il un moyen pour moi de bouchonner cas pour les types créés de cette façon classe de types? Un moyen encore plus facile que la voie théorique suivante?

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

Answer 1

Vous pouvez utiliser EmptyDataDecls à bouchonner un type, et KindSignatures vous pouvez lui donner une sorte:

{-# LANGUAGE EmptyDataDecls, KindSignatures #-} 

data Foo :: * -> * 

Vous pouvez également bouchonner l'instance Monad sans avertissement avec cette option pour GHC.

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

instance Monad Foo 

Et vous n'avez pas besoin de quitter toute mise en œuvre pour return et >>=.