我有一個返回類型為的函數(shù) Maybe ([(Int,Int)],(Int,Int))我想從另一個函數(shù)調(diào)用它并對數(shù)據(jù)執(zhí)行操作。但是，返回值包含在Just。第二種方法需要([(Int,Int)],(Int,Int))，因此不會接受Just ([(Int,Int)],(Int,Int))。Just在應(yīng)用第二種方法之前，有沒有辦法可以修剪？我不完全了解使用Just中Maybe-不過，我已被告知，對于第一種方法的返回類型必須是Maybe。
2 回答
慕妹3242003
TA貢獻1824條經(jīng)驗 獲得超6個贊
您的問題有幾種解決方案，都基于模式匹配。我假設(shè)你有兩個算法（因為你沒有給它們命名，我會）：
algorithm1 :: a -> Maybe b
algorithm2 :: b -> c
input :: a
1）模式匹配通常從case語句（下面）或函數(shù)完成。
let val = algorithm1 input
in case val of
Nothing -> defaultValue
Just x -> algorithm2 x
所有其他呈現(xiàn)的解決方案都使用模式匹配，我只是提供了為您執(zhí)行模式匹配的標準函數(shù)。
2）前奏（和Data.Maybe）有一些內(nèi)置的函數(shù)來處理Maybes。在 可能的功能是一個偉大的，我建議你使用它。它在標準庫中定義為：
maybe :: c -> (b -> c) -> Maybe b -> c
maybe n _ Nothing = n
maybe _ f (Just x) = f x
您的代碼如下所示：
maybe defaultValue algorithm2 (algorithm1 input)
3）由于Maybe是一個仿函數(shù)，你可以使用fmap。如果您沒有默認值，這會更有意義。定義：
instance Functor Maybe where
fmap _ Nothing = Nothing
fmap f (Just a) = Just (f a)
所以你的代碼看起來像：
fmap algorithm2 (algorithm1 input)
此輸出將是一個Maybe值（Nothing如果算法1的結(jié)果是Nothing）。
4）最后，強烈勸阻，是fromJust。只有在你肯定第一個算法將返回Just x（而不是Nothing）時才使用它。小心！如果你fromJust val在val = Nothing那時調(diào)用，你會得到一個異常，這在Haskell中是不受歡迎的。其定義：
fromJust :: Maybe b -> b
fromJust Nothing = error "Maybe.fromJust: Nothing" -- yuck
fromJust (Just x) = x
讓您的代碼看起來像：
algorithm2 (fromJust (algorithm1 input))
- 2 回答
- 0 關(guān)注
- 469 瀏覽
添加回答
舉報
0/150
提交
取消