合並兩個 Just 值（如果存在），否則先返回 Just

[英]Combine two Just values if present, else return first Just

我想要一種更短的方法來編寫這段代碼，因為這將在我正在處理的項目中的多個地方使用。 有沒有我可以使用的庫，它可以滿足我的特定需求？ ...

Option/Maybe Monad 比 Functor 有什么優勢？

[英]What is the advantage of Option/Maybe Monad over Functor?

我了解 IO monad 和 List Monad 相對於 Functor 的優勢，但是，我不了解 Option/Maybe Monad 相對於 Functor 的優勢。 這僅僅是語言類型的集成嗎？ 或者 Option/Maybe Monad 在具體使用中比 Functor 有什么優勢？ ...

我怎樣才能優雅地處理也許 monad 的 Nothing 分支？

[英]How can I handle Nothing branch of maybe monad gracefully?

data Union = F Float | I Int | S String getUnionFromString :: String -> Union getUnionFromString str = case (readMaybe str :: Maybe Int) of ...

另一個可能用於“查找最小值”功能

[英]Another Maybe for "find minimum" functions

當我們搜索“最大值”並且不方便找到最小值時，也許很有用 理想的解決方案是帶有另一個構造函數順序的標准monad，但我沒有找到它： 所以問題是：haskell 中編寫“updateMinimum”function 的標准方法是什么？ PS 有兩種可能的解決方案，但每種都有其自身的缺點： 更改問題措辭 ...

使用 class inheritance 在 TypeScript 中實現 Maybe/Option 類型

[英]Implementing Maybe/Option type in TypeScript using class inheritance

我見過的大多數 Maybe/Option 類型的 Typescript 實現要么使用帶有標簽的接口來區分 Some/None 變體。 我見過一些沒有並且實際上有 Some 和 None 的單獨類，它們都實現了一個通用的 Option 接口。 作為實驗，我想嘗試使用 inheritance 的實現。 ...

Haskell（也許，x，也許 y，也許 z）->也許（x，y，z）

[英]Haskell (Maybe, x, Maybe y, Maybe z) -> Maybe (x,y,z)

我有一組 Haskell IO 綁定調用返回 Maybe Z、Maybe Y、Maybe Z，其中 X /= Y /= Z。 我想要一個返回 Just (X,Y,Z) 的 function，其中 ALL 都是 Just n，否則什么都沒有。 一個天真的實現將是 但我想知道有沒有更優雅的解決方案？ ...

OCaml 中的一些是什么

[英]What is Some in OCaml

此 Ocaml 代碼遍歷列表並輸出最后一個元素。 我不明白我們 output Some x的第二種情況 因此，如果列表為空，我們將返回 null。 如果 x 是最后一個元素，我們返回Some x (* 在這種情況下 Some x 是什么？*) 如果 x 不是最后一個元素，我們將 go 在列表中進一步 ...

如何在 Haskell 中正確使用 map

[英]How can i use map correctly in Haskell

我正在嘗試制作一個程序，該程序需要一個字母並將該字母轉換為摩爾斯電碼。 給出了莫爾斯表，還有charToCode:: [(Char, String)] -> Char -> String 我還必須使用查找和fromJust表單 Data.Maybe 來完成這項工作。 編譯后我收到以下錯 ...

Haskell 也許加法器沒有 Arguments

[英]Haskell Maybe adder without Arguments

我想知道是否可以編寫 Functionadd :: Maybe Int -> Maybe Int add Just x = Just (x+1) add Nothing = Nothing 沒有x 。 如同f = Just.(+1) 然而add Just = Just.(+1) 引發錯 ...

“Maybe” monad 和簡單的“try/catch”解決方案

[英]The “Maybe” monad and simple “try/catch” solution

我有一個關於在面向對象語言中使用“Maybe”monad 的問題。 即，使用 monad 的“精神”說，而不是編寫如下代碼： 由於空指針異常而可能在任何時候失敗，我們改為編寫它： 這對我來說很清楚，並且編寫這樣的程序聽起來很合理。 但后來我有了一個想法：假設我們正在編寫的語言有一個Null ...

如何處理 Haskell 中的“可能 [值]”列表？

[英]How to deal with a list of 'Maybe [values]' in Haskell?

為了學習 Haskell，我嘗試改編康拉德·巴爾斯基 (Conrad Barski) 的名著《Land of Lisp》的一些練習。 這個想法是制作一個簡單的文本游戲引擎。 具體我試過： 起初，它似乎運作良好。 例如： 但是當我嘗試將 function 應用於列表時，我收到了這個錯誤： 錯誤很明顯 ...

使用連續的非此即彼/可能時減少嵌套

[英]Reduce nestedness when using successive Either/Maybe

這可能是一個非常基本的 Haskell 問題，但讓我們假設以下 function 簽名-- helper functions getWeatherInfo :: Day -> IO (Either WeatherException WeatherInfo) craftQuery :: Weat ...

Haskell中“Just int”的計算模塊

[英]Calculate module of “Just int” in Haskell

我正在嘗試計算列表索引的模塊。 理想情況下，這會給我b = 0 ，因為a = 2 （技術上）。 但是我收到錯誤消息，因為a is not 2 but Just 2 。 ...

如何檢查哪個列表中一個元素的副本最少？

[英]How can I check which list has the least copies of one element?

我正在 Haskell 中寫一個數獨謎題，我有一個 [[Maybe Int]] 我需要檢查哪個 [Maybe Int] 包含最少的 Nothing 元素。 換句話說，在下面的代碼中，我應該返回 1，即列表的 position，只有兩個 Nothing： [編輯] 我已經想出了一個可以滿足我要求的 ...

將 Either 回復 [Maybe ByteString] 處理成 [Maybe Text]

[英]Process a Either Reply [Maybe ByteString] into a [Maybe Text]

以下代碼使用 Hedis 運行mget命令，並將結果作為[Maybe BS.ByteString]返回：-- | Text to ByteString tbs :: Text -> BS.ByteString tbs = BS.pack . T.unpack -- | ByteStrin ...

使用 integer [[mayb_unused]] 宏和默認參數 boolean 類型參數調用 Function

[英]Calling a Function with integer [[mayb_unused]] macro and default argument boolean type parameter

我正在編寫帶有 2 個參數的 Function，第一個是 integer 類型，標記為 [[maybe_unused]]，第二個是 Boolean 類型，默認參數類型為 false。 這是 function 聲明。 function 用於二叉搜索樹中的前序遍歷。 我想使用相同的 function ...

迭代 Data.Set 直到成功

[英]Iterating over a Data.Set until success

假設我有一個 function 代表一些可能失敗的計算 如果我有一個列表l ，我可以在f使用findList fl成功的列表中找到第一個（從左到右掃描時）項目，其中findList是以下 function （或使用，例如， firstJust來自extra包）。 問題。 如果我想對來自contai ...

Haskell 從 URLType 中提取主機名

[英]Haskell extract hostname from URLType

我正在使用Network.URL並從字符串中導入 URL ： 現在要獲取主機，我可以進行模式匹配並使用主機 function： 這當然可以，但 URLType 被定義為： 在url' function 中，僅考慮Absolute Host ，如果 url 是HostRelative或PathRela ...

如何在特定情況下使用高階構造

[英]How to use higher-order constructs in a particular case

我想編寫一個 function ，它接受兩個Maybe Int參數，如果它們都是Just number則返回它們的最小值，如果它們中的任何一個是Nothing則返回“另一個”。 我對我的第一次嘗試不滿意： 作為優化，我不想在第三種情況下創建新值； 即，我不想寫 上面的代碼看起來很笨重，在我看來，我應 ...

更好的 RXJava2 也許鏈接

[英]Better RXJava2 Maybe chaining

我必須在異步鏈中處理可能。 事實上，我想通過異步郵件客戶端（vertx rxjava2 郵件客戶端）發送電子郵件郵件可能有一個附件，也可能沒有。 所以我寫了一個方法： 使用此方法的代碼如下所示： 如您所見，當可能為空時，我切換到郵件消息的空新實例，但我真的不喜歡這種創建空元素並在 map 中測試元素 ...