ghci

6熱度

3回答

我正在閱讀Programming in Haskell書籍和測試，它提供了GHCi口譯員的例子。事實證明，GHCi和Hugs解釋器中的Int類型行爲存在差異。根據「Haskel編程」第3章，2^31 :: Int應該超出Int類型的範圍。同時，在GHCI解釋，我得到： Prelude> 2^31 :: Int 2147483648 而擁抱它的行爲就像書上說： Hugs> 2^31 :: In

1熱度

3回答

哈斯克爾 - 實現一階邏輯表達式

我想用Haskell實現FOL。一階邏輯可以用連接詞連接在一起的命題形式，如And和Or。還有一些量詞的表達範圍有限。我所做的到目前爲止是：進口Data.List模塊 data Prop = Not Prop | Prop And Prop | Prop Or Prop | Prop Impl Prop | Prop Equiv Prop

6熱度

1回答

runhaskell可以從.ghci中選擇選項嗎？

許多人在其haskell項目中包含.ghci文件，以包含將模塊加載到ghci所需的選項。這裏有一個例子： :set -isrc -itest -iexamples -packagehspec2 但是當試圖運行包含main文件通過runhaskell一個不得不重複所有這些選項，如： runhaskell -isrc -itest -iexamples -packagehspec2 test/Sp

2熱度

1回答

自定義崇高文本構建文件，GHCi，Haskell

我想在MacOS Yosemite中創建一個自定義的sublime-build文件，它將在我的代碼預裝的控制檯上執行ghci。這將使我的Haskell學習過程更快更愉快。但是，由於我是Haskell和Sublime Text的新手，我不知道該在文件中寫什麼。我知道這個代碼爲GNOME終端相同： { "selector": "source.haskell", "working_

2熱度

2回答

GHCi函數中的非窮舉模式

我想創建一個顯示列表的最後一個元素的函數。這是我的代碼： ghci> let myLast :: [a] -> a ghci> let myLast [] = error ghci> let myLast [x] = x ghci> let myLast (x:xs) = myLast xs 而且我得到以下錯誤： ***Exception: Non-exhaustive pattern

2熱度

1回答

ghci cabal沙箱標誌Emacs Haskell劣勢

我希望GHCI有當地的cabal沙箱範圍，當我在emacs工作。從bash中，語法如下： ghci -no-user-package-db -package-db .cabal-sandbox/*-packages.conf.d 我添加了標誌，以INF-haskell.el的haskell-program-name的定義中，如下所示： (defcustom haskell-program-nam

3熱度

1回答

Haskell：函數組合導致類型不匹配錯誤

TL; DR：什麼會導致GHCi中的類型不匹配錯誤純粹是由於函數組合？這是奇怪地看到GHCI評估以下代碼： foldl (a . b . c) crackle pop <- GHCi evaluates this` ......之後我們試圖評估以下只給一個錯誤： let snap = a . b . c <- GHCi evaluates this foldl snap crackl

3熱度

1回答

GHCi是否不應用默認聲明來解決類型歧義？

對於Haskell來說，這是一個相對較新的東西，我試圖圍繞以下差異來解決我的問題（對此我有充分的理由，我敢肯定）。也許我的問題只是源於對GHCi的誤解，但我可以在晚上睡得更好，因爲我可以放心解決問題。在這裏。如果在將一個名稱foo綁定到某個積分表達式（此處簡稱爲1）並編譯該腳本後，我在GHCi中加載後者，:t告訴我foo的類型爲Integer。到目前爲止 default (Integer, D

2熱度

2回答

哈斯克爾 - 如何將字符串到字符串

我有一個字符串列表，我想在下面的代碼列表的末尾添加一個字符串，但我收到類型匹配錯誤列表： eliminateImpl :: [String] -> String -> [String] eliminateImpl [] _ = [] eliminateImpl (p:ps) r = if (contains (p:ps) "Impl") then if (p == "Imp

14熱度

1回答

Haskell類型運算符優先級

啓用語言擴展TypeOperators時，可以定義自己的類型運算符。另外，可以將它們的相對優先級設置爲infix*。但是，例如(->)的優先順序是什麼？ > :i (->) data (->) a b -- Defined in `GHC.Prim' instance Monad ((->) r) -- Defined in `GHC.Base' instance Functor ((->)