haskell - 如何使用 GHCI 查找子函数的类型

Question

这个问题在这里已经有了答案:





Can GHCi tell me the type of a local Haskell function?

(3 个回答)


6年前关闭。




是否可以找到 where 中定义的函数类型？与 GHCI 的声明？

例如，考虑这个函数:

myFunction a b c = case result of
                     2 -> ...
                            where
                                  subFunctA = ...
                     _ -> ...
                            where
                                  subFunctB = ...
                                  subFunctC = ...

myFunction的类型可以通过 :t myFunction 找到.

是否可以找到 subFunctA 的类型？ , subFuncB和 subFunctC与 GHCI ?

Answer 1

不可以。GHCi 无法访问其函数的来源。即使您自己在 GHCi 或源文件中定义了函数，也是如此。

作为替代方案:因为您可以访问您想知道的函数的源代码，您可以将这些函数复制到源文件的全局范围内，编译它们，然后查看 GHC 分配给它们的类型。我经常这样做。 (此外，您可以直接将它们粘贴到 GHCi 中。)完成此操作后，您可以随心所欲地对它们调用 :t 。这确实冒着产生比实际子功能更多的通用类型的风险，但它仍然可以帮助您。