maybe

0熱度

1回答

錯誤： maybet.hs:8:14: Couldn't match expected type `MaybeT m0 t0' with actual type `Maybe a0' In the return type of a call of `M.lookup' In a stmt of a 'do' expression: m <- M.loo

1熱度

3回答

在Scala中使用選項元素的規範方法

作爲示例，我想將函數f: (Int,Int) => Int應用於Option[Int]類型的兩個元素。我的想法像（a，b）.zipped.map（f），但是這會產生一個List，並且我希望得到一個新的Option [Int]作爲結果。 scala> def f(a:Int,b:Int) = a*b f: (a: Int, b: Int)Int scala> val x = Some(42)

1熱度

2回答

Errorhandling和monads？

我想了解如何應用哈斯克爾的可能成語。我正在閱讀http://en.wikibooks.org/wiki/Haskell/Understanding_monads/Maybe，它顯示在字典中查找可能會返回Maybe，並且此值通過>>=運算符提出。從URL的例子：然後如果我們想在第三查找使用該結果從政府數據庫查詢（比如我們想看看他們的註冊號，看看他們是否欠任何汽車稅），那麼我們可以擴展我們的ge

4熱度

4回答

哈斯克爾 - 也許算術

我已經要求執行它採用以下配置文件功能： maybe_divide :: Maybe Integer -> Maybe Integer -> Maybe Integer ，並在下面的方式響應： > maybe_divide (Just 5) (Just 2) Just 2 > maybe_divide (Just (-5)) (Just 2) Just (-3) > maybe_divi

1熱度

1回答

哈斯克爾 - 功能與涉及也許不工作

名單，我有以下功能： -- xs: list to be changed -- ws: list of indices where the values will change to 0 replaceAtIndices xs ws = [if (fromJust (elemIndex x xs)) `elem` ws then 0 else x | x <- xs] 功能發生在2名列表。

3熱度

3回答

嵌套布爾測試的F＃計算表達式？

我認爲我對F＃monads（工作流）有足夠的理解，我在代碼中看到幾處實現它們的位置是合理的。例如，我有一個帶有多個嵌套if/thens的函數，即只要數據通過某些「測試」，函數就應該繼續。我對「可能」monad很熟悉，但是在所有我見過的例子中，它的編碼是在let!綁定上運行的，我沒有這樣做。我希望有人能夠爲我提供一個適合嵌套布爾測試的「可能」工作流程示例，而不是let綁定。

3熱度

1回答

標準哈斯克爾功能::（一 - >也許） - > A - > [A]

我有一個函數定義 maybeToList :: (a -> Maybe a) -> a -> [a] maybeToList f x = x : maybe [] (maybeToList f) (f x) 這個功能似乎很明顯，我不能相信這不是標準。是否在某個模塊中定義（我已經檢查過Data.Maybe）？

2熱度

1回答

Haskell模糊模式匹配調度

我在樹上寫了一些解析代碼。（即在斯坦福NLP依賴關係樹）基本上我有這樣的功能： m :: DepTree -> Logic m (w, [E "nsubj" nsubj, E "dobj" dobj]) = ... m (w, [E "nsubj" nsubj, E "prep" prep]) = ... m (w, [E "nsubj" nsubj]) = ... m (_, [])

0熱度

1回答

解析錯誤的可能劃分（哈斯克爾）

只是一個簡單的問題，我解決不了我試圖通過下面的代碼按要求分配得到maybe_divide，但是終端給我一個錯誤消息 test2.hs ：1：112：解析在模式錯誤：（只是X） maybe_devide :: Maybe Float -> Maybe Float -> Maybe Float maybe_devide maybeX maybeY = case maybeX maybeY of

1熱度

3回答

兩個在終端

相同的符號，但非常不同的錯誤消息這是我的第一代碼 maybe_devide :: Maybe Integer -> Maybe Integer -> Maybe Integer maybe_devide maybeX maybeY = case (maybeX, maybeY) of (Just x, Just y) |x/=0 && y/=0 -> Just (div x