Haskell如何在Haskell中打印某些功能的信息。 ：info func＆quot＆quot
我是Haskell的新手。 有时，我写了一些复杂的功能，我自己不确定这些类型，因此我没有事先定义其类型，编译和运行仍然可以正常工作。 我想知道我是否可以像“ ghci＆gt;：info somenfunc”中的“ ghci＆gtunc”中打印出该功能的类型，只是为了查看Haskell如何定义其定义。也许这样的事情：
f x = 2*x
main :: IO()
main = do
print_info f
我知道我可以“ ghci＆gt;：load program.hs”＆amp;然后“：info f”，但对我来说，这是不合同的＆amp;有时与GHCI合作可能很丑。
I'm new to haskell.
Sometimes I write some complicated functions that I'm not so sure about the types myself, so I don't define its type beforehand, compiling and running still work fine.
I want to know if I can print out the types of that function like in "ghci> :info someFunc" in the program, just to see how Haskell define its. Maybe something like this:
f x = 2*x
main :: IO()
main = do
print_info f
I know I can "ghci> :load program.hs" & then ":info f", but for me it is quite unconvenient & sometime working with ghci can be ugly.
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论
评论（1）
无法完成。您可以通过
Togpable接近，但是即使在原则上也无法捕获多态性。相反，我建议您设置Haskell语言服务器并将您的编辑器连接到它；大多数编辑至少支持您的连接级别，该连接级别使您可以悬停一个术语以查看其类型或在使用钥匙扣的定义中添加类型签名。
Can't be done. You can sort of get close with
Typeable, but polymorphism cannot be captured, even in principle.Instead, I recommend that you set up the Haskell Language Server and connect your editor to it; most editors support at least the level of connection that lets you hover a term to see its type or add a type signature to a definition with a keybinding.