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。 –

回答