`where`子句中的`inferior-haskell-type`？

Question

请问哈斯克尔模式或一些替代包提供一个类似于美妙inferior-haskell-type 里面一个where条款？

例如,假设我有

foo = undefined where
    bar = complicated
    ...

能够将标记放置bar并检查其类型将是非常棒的.

Answer 1

Scion与 Emacs 的结合可以实现这一点。

C-c C-t显示该点标识符的类型。这仅在当前文件类型检查时才有效，但它也适用于本地标识符。对于多态函数，它将显示它们实例化的类型，例如，

f x = x + (1::Int)

调用此命令+将打印Int -> Int -> Int而不是Num a => a -> a -> a.