GHCの型推論は

Question

質問を苦境。明示的な型署名なしでこのコードを動作させる方法はありますか？

コード。まず、Data.Newtypeに触発された、実際にはもっと良い方法の代替MonadTransクラスがあります。それは、このようになります

{-# LANGUAGE FlexibleContexts, TypeFamilies #-} 

module Alt.Control.Monad.Trans where 

import Control.Monad 

class (Monad , Monad (BaseMonad)) => MonadTrans (:: * -> *) where 
    type BaseMonad :: * -> * 
    lift :: (BaseMonad) α -> α 

はその後、私はこの方法fooでクラスAを持っている、といくつかの基本モナドMがAであれば、任意の変換モナドT MもAです。コードでは、私は今、置換、最初の引数でfooのショートカットを作成したい場合は

class A where 
    foo :: String -> () 

instance (A (BaseMonad), MonadTrans) => A where 
    foo n = lift $ foo n 

はしかし、その後、私は明示的な型シグネチャを必要とする、またはコンパイラのコンテキストスタックがオーバーフローします。

minimize_call :: A => () 
minimize_call = foo "minimize" 

可能な情報推論を支援します。たとえば、関連するタイプがB :: * -> *であるとします。私はコンパイラにBがB t /= t、B (B t) /= B tなどを満たすようにしたいと思っています。すなわち、Bは何らかの形で単調です - 関連する型を追跡することはnewtypeラッパーを取り除くことと同等で、newtypeラッパーを永遠に削除することはできませんしたがって、署名に文脈Aを追加する必要があります。

Answer 1

はい、方法があります。 Aため接地インスタンスを提供し、（また、FlexibleInstancesとUndecidableInstances必要に加えて）言語プラグマにNoMonomorphismRestrictionを加えます。

しかし、Aクラスが使用できなくなります。BaseMonad m = mのMonadTransインスタンスが決して存在しないことをコンパイラが知る方法はありません。したがって、ここからインスタンスを使用するか別のインスタンスを使用するかを知ることができないため、インスタンスを選択することはできません。

{-# LANGUAGE FlexibleContexts, TypeFamilies, FlexibleInstances, UndecidableInstances, NoMonomorphismRestriction #-} 

module Trans (MonadTrans(..), A(..), minimize_call) where 

import Control.Monad 

class (Monad m, Monad (BaseMonad m)) => MonadTrans (m :: * -> *) where 
    type BaseMonad m :: * -> * 
    lift :: (BaseMonad m) α -> m α 

class A m where 
    foo :: String -> m() 


data Foo a = Bork 

instance Monad Foo where 
    return _ = Bork 
    _ >>= _ = Bork 

instance A Foo where 
    foo _ = Bork 


instance (A (BaseMonad m), MonadTrans m) => A m where 
    foo n = lift $ foo n 

-- minimize_call :: A m => m() 
minimize_call = foo "minimize" 

は、ghc 6.12,7.0,7.2,7.4でコンパイルされます。署名がなければ、minimize_callは、MRがオフにされていない限り、単相性型を取得する必要があります。とにかく、A mという制約はデフォルト設定ではないため、これは動作しません。したがって、MRをオフにする必要があります。しかし、型チェッカーは依然として制約が充足可能であることを証明しようとしている自身の尾を追う。持上げのインスタンスだけでは、それはできません。あなたがアンカーを提供すれば、それはできます。

しかし、型シグネチャを提供するには、はるかに優れています。