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

Question

haskell-mode或某些替代软件包是否提供类似于<{1}} 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。