タイプデフォルトルールが適用されたghciのポリモフィック関数（または値）のタイプを出力するにはどうすればよいですか？私はGHCiの中<code>:t</code>コマンドを入力すると

Question

は、私は、多型のタイプを参照してください。

ghci> :t 42 
42 :: Num t => t 
ghci> :t div 
div :: Integral a => a -> a -> a 

をしかし、私は実際にそのような機能を評価した後、私はタイプ不履行ルールの結果を参照してください。 ghciでHaskellのレポートやghcの実装に従ってタイプ違反のルールを適用した後に、タイプがどのように変更されるかを観察するコマンドや能力がありますか？

Answer 1

あなたが新しい名前にバインドその後、単相性制限をオンにすると、これを行うことができます：あなたは、常に新しい変数を定義する必要性を空想しない場合は、この問題を回避

Prelude> :set -XMonomorphismRestriction 
Prelude> let n = 42 
Prelude> :t n 
n :: Integer 
Prelude> let p = (^) 
Prelude> :t p 
p :: Integer -> Integer -> Integer 
Prelude> let e = (**) 
Prelude> :t e 
e :: Double -> Double -> Double 
Prelude> let d = div 
Prelude> :t d 
d :: Integer -> Integer -> Integer 

得ることができます

Prelude> :def monotype (\e -> return $ ":set -XMonomorphismRestriction\nlet defaulted = "++e++"\n:t defaulted") 

（あなたが常に利用可能なコマンドを持っているあなたの.ghciファイルにそれを置きたい場合があります）、その後

Prelude> :monotype (^) 
defaulted :: Integer -> Integer -> Integer 

を使用して、もちろん

、単相性制限を有効にするの隠された世界的な副作用は非常に醜いですが、まあ...

Answer 2

ない完璧なソリューション、それが最初のステップである可能性があります。タイプaが(a,TypeRep)に変更されますから、GHCiのは、そのすべての不履行の魔法を使用することはありません、

> import Data.Typeable 
> let withType x = (x, typeOf x) 
> withType [] 
([],[()]) 
> withType 56 
(56,Integer) 

注意。それでも、その一部を示すことができます。

GHCiの:set +tオプションも興味深いですが、GHCiのデフォルト設定の前に多態型を出力します。