在 Haskell 中使用 monadicIO 時，如何使用 QuickCheck 運行單個測試？
[英]How do you run a single test with QuickCheck when using monadicIO in Haskell?
我在 Haskell 中使用 QuickCheck 作為測試套件。我想運行一個在 IO Monad 中始終相同的測試。 問題在於 QuickCheck 會自動生成 100 個測試，即使測試不采用任何參數也是如此。 舉個例子（不是我的實際測試）：prop_parseTest :: Property ...
編寫 IO 操作
[英]Compose IO Operations
嗨，我正在嘗試編寫一些 IO 包裝函數。 我當前的代碼（有效）是：getUserHome :: IO String getUserHome = do usr_id <- getRealUserID homeDirectory <$> getUserEntryForI ...
嘗試從 IO Monad 中的 Java Scanner 讀取時出現無限循環
[英]Infinite loop when trying to read from Java Scanner inside an IO Monad
我正在嘗試為 Cats Effect 課程做一個練習，其中要求我逐行閱讀文檔並在行之間等待一定的時間。 老師的解決方法如下： def readLines(sc: Scanner): IO[Unit] = if sc.hasNextLine then IO(sc.nextLine).debug ...
函數式語言實際上如何將原語定義/翻譯為硬件？
[英]How would a functional language actually define/translate primitives to hardware?
假設我定義了一些原語，這里使用 javascript： 如果一種語言純粹是 function，它如何將這些原語翻譯成物理的東西？ 例如，通常我看到的不是純 function 的 function，例如： const TWO = f => a => f(f(a)); const inc ...
嘗試在我的圖表中使用 Int RandomIO val
[英]Trying to use an Int RandomIO val in my chart
我是 Haskell 的 monad 新手。 我試圖用 Haskell-chart 寫一個散點圖，它將 plot 20 點與強（但不完美）正相關。 我試圖做的事的例子。 具體來說，我想要一個 0.8 到 1.0 范圍內的隨機雙精度列表與我的 y-val 相乘，以稍微降低相關系數。 我最初的實現是這 ...
在 SBV 中解決算術問題時如何避免 IO monad
[英]How to avoid the IO monad when solving arithmetic problems in SBV
我正在嘗試用SBV解決算術問題。 例如 雖然我可以做一些有用的事情，但我更容易使用純值（SatResult 或 Bool）而不是 IO monad。 根據文檔 鑒於我使用的函數類型，我理解為什么我總是得到 IO monad。 但是查看函數的通用版本，例如 sFloats。 根據 function ...
在預定義的訪問者模式迭代器中提取/累積結果的“Haskell 方式”
[英]The “Haskell way” to extract/cumulate results inside an predefined vistor pattern iterator
我開始使用 Haskell（從多年的 C 和 C++ 開始）並決定嘗試一個小型數據庫項目。 我將預定義的綁定庫用於 C 數據庫庫 (Database.kyotocabint)。 由於使用預定義方法時的效果分離，我正在努力弄清楚如何使用迭代器接口做任何事情。 迭代數據庫並將其打印出來（工作正常）的玩 ...
如何在帶有 IOMonad 實例的類型中遞歸使用純函數？
[英]How to use pure functions recursively in types with IOMonad instances?
我收到錯誤： 在哪里： WD有一個IOMonad實例。 我正在嘗試對 I/O monad 的值使用純函數，因此，我嘗試了 Stack Overflow 問題Haskell 中的解決方案 - 如何在 IO 函數中使用純函數？ ，但我仍然無法遞歸地做到這一點。 依賴項：dependencies: ...
Haskell：無法將預期類型“IO t0”與實際類型“[Char]”匹配
[英]Haskell: Couldn't match expected type ‘IO t0’ with actual type ‘[Char]’
給我這個錯誤： ...
IO monad 中的明顯冗余調用？
[英]Apparent redundant calls in a IO monad?
這是從 Haskell GPipe 項目中獲取的代碼片段（我自己評論，用“真的嗎？”保存該行）。 在memoize function 中，我不明白為什么它的作者第二次調用 getter 來緩存新計算的值。 它對我來說似乎沒有必要，並且可以在沒有明顯不良后果的情況下將其刪除（至少，我的一個中型項目在 ...
使用 state monad 時的意外行為 - State 包含在列表中
[英]Unexpected behavior when using state monad - State wrapped in a list
我現在正在學習 Haskell，我正在嘗試使用 state Monad。 我遞歸地要求用戶輸入並將 append 輸入到列表中。 當我在同一個 function 中實現 IO 處理和 state 執行時，程序按預期工作： For reasons I don't understand, when I ...
為什么 `filterM + mapM_` 比 `mapM_ + when` 慢得多，列表很大？
[英]Why is `filterM + mapM_` so much slower than `mapM_ + when`, with large lists?
我不太了解 Haskell 優化如何在內部工作，但我一直在使用過濾器，非常希望它們被優化為類似於 C++ 中的簡單 if 的東西。 例如 將編譯成相當於 對於長列表（10 000 000 個元素），基本filter似乎是正確的，但如果我使用單子filterM會有很大的不同。 我為此速度測試編寫了一 ...
如何在 IO 異常處理程序中保留 monad 堆棧的 state？
[英]How to preserve the state of the monad stack in the IO exception handler?
考慮以下程序。import Control.Monad.State import Control.Monad.Catch ex1 :: StateT Int IO () ex1 = do modify (+10) liftIO . ioError $ userError "som ...
Haskell 中的異常處理和純度
[英]Exception handling and purity in Haskell
在Real World Haskell的獲取-使用-發布周期部分中，顯示了bracket的類型： ghci>:type bracket bracket:: IO a -> (a -> IO b) -> (a -> IO c) -> IO c 現在，根據bracke ...
Haskell Monads 和 liftIO 我不明白
[英]Haskell Monads and the liftIO I don't get it
您好社區感謝您的時間。 我有一個錯誤，我不確定錯誤是什么，但我認為問題是：沒有從ext-1.2.4.1:Data.Text.Internal.Lazy.Text IO)到Web.Scotty.Internal.Types.ScottyT 。 但我想知道為什么編譯器與ext-1.2.4.1:Data. ...
如何在 Haskell 中打印列表的各個元素？
[英]How to print individual elements of a list in Haskell?
我是 Haskell 的初學者，我想知道是否可以打印給定列表的各個元素。 我嘗試解決這個問題，但失敗了。 這是代碼： 我想打印這樣的東西 如果我只是使用putStr (show list) ，它將顯示[1,2,3]而我不希望這樣。 但是當我運行這段代碼時，會發生多個錯誤 你如何解決這個問題？ ...
貓效應 IO 單子如何真正起作用？
[英]How does the cats-effect IO monad really work?
我是函數式編程和 Scala 的新手，我正在檢查 Cats Effect 框架並試圖了解 IO monad 的作用。 到目前為止，我所理解的是，在 IO 塊中編寫代碼只是對需要做的事情的描述，在您使用提供的unsafe方法顯式運行之前什么都不會發生，也是一種制作執行副作用的代碼的方法通過實際不運行 ...
haskell 中的異步代碼運行速度比同步版本慢
[英]Asynchronous code runs slower than synchronous version in haskell
基准測試如下： 給我這個： 很明顯 asyncTest 運行時間比 syncTest 長。 我會認為同時運行昂貴的操作會比按順序運行更快。 我的推理有問題嗎？ ...
在 GHCI 中映射 IO [Int]
[英]Map over IO [Int] in GHCI
我想知道如何在 GHCI 中映射IO [Int] 。 λ: :{ λ| th :: IO [Int] λ| th = pure [1, 2, 3, 4] λ| :} λ: th [1,2,3,4] λ: :t th th :: IO [Int] λ: map (+2) th • Couldn ...
如何加入兩個 Haskell IO monad
[英]How to join two Haskell IO monads
以下（工作）Haskell 程序輸出隨機拼寫： 然而，可變spell是相當無用的。 它存儲從法術列表中選擇的隨機字符串，但隨后立即傳遞給putStrLn函數並且不再使用。 我嘗試將兩個 IO 操作合並為一行，如下所示： 但我收到以下錯誤： 有沒有辦法將兩個 IO 操作合並為一行？ 我看了 ...