“低劣--haskell

Question

haskell模式或其他包是否提供类似于inferior-haskell-type子句中美妙的where的东西？

例如，假设我有

foo = undefined where
    bar = complicated
    ...

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

Answer 1

这在接穗与Emacs的结合中是可能的。

C-c C-t在点上显示标识符的类型。这只在当前文件键入字符时才能工作，但对本地标识符也有效。对于多态函数，它将显示它们实例化的类型，例如， f=x+ (1::Int) 在+上调用此命令将打印Int -> Int -> Int而不是Num a => a -> a -> a。