Haskell解释器/ w类型定义

Haskell解释器是否接受类型定义或最好是所有类型的语句？Haskell解释器/ w类型定义

我已经试过ghci和hugs，这些都没有。有一些特别的原因，这是很难/不可能的吗？

2011-10-11 julkiewicz

你想做什么？虽然我认为HBC能够接受任意的Haskell声明。注意，你不能仅仅在ghci中提供一个类型定义，因为它不会有一个附加函数，尽管'let fx = x + 1 ::（Num a）=> a - > a'应该工作。 – ivanm

我分享你的痛苦。我有大量'Test.hs'挂在身边。更糟糕的是，ghci控制台没有正确处理粘贴操作，至少在我的系统上（我刚刚报告过的错误）。 – gawi

@ivanm事实上，在这一刻，我刚刚开始，并没有试图做任何特别的事情。刚刚让我想知道。 – julkiewicz

传统上，这个问题的答案一直在IO单子内部的互动提示的生活编写的代码。就好像有一个影子main = do躲在Prelude>后面。考虑一下这种方式，没有类型声明和顶级声明语法是有道理的，所有的语句都是如此。

但是Ptival是正确的：看起来我们不用担心这一点。

2011-10-11 20:07:20 Zopa

看来，它会很快被修复GHCI，请参阅：

2011-10-11 09:21:33 Ptival

确实。在HEAD中已经可以实现，功能将在7.4。 –

回答