哈斯克爾函數定義的錯誤：在範圍上並不

Question

我是新來的Haskell，我堅持了一個例子。我想用或許型實驗，但我的代碼不會編譯：

divide100By :: Int a -> Maybe a 
divide100By x = case (Int x) of 
    Nothing -> Nothing 
    Just x -> 100/x 

main = putStrLn ("Result: " ++ show (divide100By 5)) 

但我總是得到錯誤：

Not in scope: data constructor 'Int' 

我怕我不太在Haskell中獲取函數定義（divide100By :: Int a - >也許是一個部分）...有人可以告訴我這裏有什麼問題嗎？

Answer 1

整數類型爲Int，寫Int a意味着什麼，因爲Int不帶參數。

而且，Int x不是一個表達式，所以你不能case上。

此外，如果您有Maybe a類型，並且您想檢查其值是多少，則可以使用case和Nothing/Just x。相反，您需要構建一個Maybe a類型。

試試這個：

divide100By :: Int -> Maybe Int 
divide100By 0 = Nothing 
divide100By x = Just (100 `div` x) 

或

divide100By :: Int -> Maybe Int 
divide100By y = case y of 
    0 -> Nothing 
    x -> Just (100 `div` x)