ghci

    0熱度

    3回答

    使用自定義類型 我曾試圖以運行stack ghci時宣佈以下類型 type Parser a = String -> [(a,String)] 和一些功能上的解析器波紋管 succeed :: a -> Parser a succeed v = \inp -> [(v,inp)] 操作測試上述功能succeed我得到一個錯誤,解析器不是show的實例,所以我試圖更新代碼並添加以下內容 i

    2熱度

    2回答

    在使用GHCi的Haskell中,有一種加載文件的方法,例如下面的文件,它允許您測試具有綁定的方法。 使用案例:試圖測試我的模塊的一部分,而其餘部分的骨架代碼。 (爲不具有XY問題) module X (methodA, methodB, methodC) where methodA :: String->String methodA name = "Hello " ++ name me

    1熱度

    3回答

    爲什麼Haskell解釋器(GHCI 7.10.3)需要函數定義在let表達式中,但Haskell編譯器(GHC 7.10.3)會拋出解析器錯誤函數定義在let表達式內? 我正在通過「Learn You a Haskell for Great Good!」嬰兒的第一個功能是doubleMe: doubleMe x = x + x 爲什麼解釋器接受這個定義,如果它在let表達式內,否則在輸入'='上

    0熱度

    1回答

    所以我有這個簡單的Haskell功能: fact :: (Num a) => a -> a fact 0 = 1 fact n = n * fact (n - 1) ,當我嘗試用GHCI編譯它,我得到一個錯誤: test.hs:2:6: error: • Could not deduce (Eq a) arising from the literal ‘0’ from

    2熱度

    1回答

    我跟着https://en.wikibooks.org/wiki/Haskell/Understanding_monads/State和randomIO直接在ghci打印一個整數。鑑於其類型是多態的,ghci在這裏如何知道它是Int?在ghci中是否有一些特殊的類型推斷規則? GHCi> :m System.Random GHCi> :t randomIO randomIO :: Random

    3熱度

    1回答

    對於( - >),我們有: Prelude> :i (->) data (->) t1 t2 -- Defined in ‘GHC.Prim’ 是什麼語法是什麼意思?我認爲數據聲明關鍵字需要LHS上的類型構造函數和RHS上的一個或多個值構造函數? (( - >)通常如何說出或發音?

    1熱度

    1回答

    ,我有以下數據類型: {-# LANGUAGE ExistentialQuantification #-} {-# LANGUAGE ExtendedDefaultRules #-} class ToString a where data M = forall a. (ToString a) => B a 在GHCI我可以做以下的,沒有任何問題: let bs = [B, B] 但是

    0熱度

    1回答

    編輯:好吧,我知道沒有什麼是不對的,但我不知道爲什麼它不給輸出 let y = 2 * x where x = sum[1..3] 我只是想知道,因爲這等表現確實給輸出 let x = sum[1..3] in 2 * x

    0熱度

    1回答

    我想進口splitOn不使用驚天動地或堆棧。那可能嗎?它GHCI拒絕importData.Text,Data.List.Split或Data.Split,什麼是不使用驚天動地或堆棧中的下一個步驟?是否可以直接從GHCi中導入? 謝謝。

    0熱度

    1回答

    的Windows 10 64,哈斯克爾 我創建%appdata%\ghc\ghci.conf文件並添加到它的命令提示符變化: :set prompt "\x03BB" 我看它是隻適用於ghci.exe和ghci-8.0.1.exe,但WinGHCi提示沒有改變: 我怎樣才能解決這個問題?