`where`句の中に`劣った型の型 `がありますか？

Question

haskell-modeやその他のパッケージは、素晴らしいものに似た何かを提供しますかinferior-haskell-typewhere節？

例えば、私はbarにマーカーを配置し、その型を検査することができることは、超素晴らしいだろう

foo = undefined where 
    bar = complicated 
    ... 

があるとします。

Answer 1

これは、ScionとEmacsとの組み合わせで可能です。

C-c C-tは、ポイントでの識別子のタイプを示します。これは、現在のファイルの型チェックが行われている場合にのみ有効ですが、ローカル識別子に対しても機能します。ポリモーフィック機能のため、それは彼らがインスタンス化されるためのタイプが表示されます、例えば、+でこのコマンドを呼び出す

f x = x + (1::Int) 

はInt -> Int -> Int代わりのNum a => a -> a -> aを印刷します。