ghci

3熱度

1回答

使用ghci，我有時會使用多行模式輸入定義（如interactive-evaluation documentation中所述）。例如， > :{ Prelude| sumToN :: (Eq a, Num a) => a -> a Prelude| sumToN n Prelude| | signum n /= 1 = 0 Prelude| | otherwise = 1 + sumTo

1熱度

1回答

Haskell掛在號碼轉換

我有以下一段代碼似乎與GHC編譯後運行時一貫掛起（雖然沒有與-Werror構建失敗）。 import Data.Aeson import Data.Scientific import qualified Data.HashMap.Strict as S myObj = Object $ S.fromList [("bla", Number $ pc * 100.0)]

0熱度

1回答

GHCi中每個結果的顯示類型

如何在每條命令後顯示GHCi中的結果表達式的類型？例如，而不是 ghci> "hello" ++ " world" "hello world" 我想看看 ghci> "hello" ++ " world" "hello world" :: String 或至少 ghci> "hello" ++ " world" "hello world" :: [Char] REPLs其他語言

6熱度

2回答

如何在應用類型默認規則的情況下打印ghci中的多態函數（或值）類型？

當我進入GHCI命令:t我看到的多態類型： ghci> :t 42 42 :: Num t => t ghci> :t div div :: Integral a => a -> a -> a 但經過我實際評估這些功能我看到的類型默認規則的結果。根據Haskell報告和/或ghc實現應用類型違約規則後，有沒有一些命令或能力可以在ghci中觀察如何更改類型？

0熱度

1回答

我的程序似乎無限運行，我不確定它在哪裏不能繼續

我一直在使用I/O寫入Haskell中的文件，但它只是坐在那裏運行，沒有結束產品。 main :: IO() main = do hawkID <- getLine let text = "module Operations where\nimport " ++ hawkID ++ "\n\nsample :: (" ++ hawkID ++ "a)\nsample = B\

0熱度

1回答

有沒有辦法映射一個函數，它將讀取字符串列表並將它們連接成一個大字符串？

我可以快速解釋一下如何使用map將字符串列表連接成一個字符串嗎？我試圖使用插入，但我意識到這是用來組合列表而不是字符串。即[[char]]而不是[String] type InformationList = (String , [String]) concatenateList :: String -> [InformationList] -> String concatenateList

0熱度

1回答

Haskell的解析錯誤（可能是不正確的縮進或不匹配的括號）

我一直在haskell中編寫一些代碼，而我剛剛遇到了上述錯誤。我在這裏看到了答案，但找不到解決我的問題的答案。 makeCtordecls :: RandomGen g => String -> RandomState g [Ctordecl] makeCtordecls tp = do rng <- (randomRS (5 :: Int, 7 :: Int) let li

10熱度

1回答

哈斯克爾：GHCI把按Ctrl-Y如Ctrl-Z

按照haskeline documentation，打字CTRL + Ÿ應該彈出從殺環最近的條目（例如我剛剛通過刪除CTRL行+ U）。我發現它會暫停REPL，就好像我輸入了CTRL + Z。作爲一個笨拙的解決辦法，我發現打字CTRL +VCTRL +Ÿ從殺環持久性有機污染物的純CTRL +Ÿ是應該做的。這是一個知道的錯誤，或者是在玩什麼？我可以修復它嗎？我正在運行GHC版本8.0.2。不知

1熱度

1回答

haskell中的RankNTypes。列表理解作品，但地圖不

我想知道具體爲什麼地圖不在以下工作： {-# Language RankNTypes #-} module Demo where import Numeric.AD newtype Fun = Fun (forall a. Num a => [a] -> a) test1 :: Fun test1 = Fun $ \[u, v] -> (v - (u * u * u)) test

3熱度

1回答

在.ghci文件中定義多行函數

您可以在.ghci文件中定義多行函數嗎？我已經試過 what :: Show a => a -> a what = Db.traceShowId 但這並沒有工作。有沒有辦法做到這一點？