Sử dụng Có thể gõ vào Haskell

Question

Tôi đang cố gắng sử dụng loại Có thể trong Haskell. Tôi có một tra cứu cho chìa khóa, giá trị tuples mà trả về một Có thể. Làm cách nào để truy cập dữ liệu được bao bọc bởi Có thể? Ví dụ tôi muốn thêm số nguyên chứa bởi Có thể với một số nguyên khác.

Answer 1

Hoặc bạn có thể mô hình phù hợp:

case maybeValue of 
    Just value -> ... 
    Nothing -> ... 

Answer 2

Xin lỗi, tôi nên có googled tốt hơn.

sử dụng hàm fromMaybe chính xác là những gì tôi cần. fromMaybe sẽ trả về giá trị trong Có thể nếu nó không phải là không có gì, nếu không nó sẽ trả về một giá trị mặc định được cung cấp cho fromMaybe.

http://www.haskell.org/ghc/docs/6.12.2/html/libraries/base-4.2.0.1/Data-Maybe.html

Answer 3

Bạn có thể sử dụng Data.Maybe.fromMaybe, trong đó có một và một giá trị Maybe a để sử dụng nếu nó là Nothing. Bạn có thể sử dụng không an toàn Data.Maybe.fromJust, lỗi này sẽ chỉ bị lỗi nếu giá trị là Nothing. Bạn có thể muốn giữ mọi thứ trong Maybe. Nếu bạn muốn thêm một số nguyên trong một Maybe, bạn có thể làm một cái gì đó giống như

f x = (+x) <$> Just 4 

mà là giống như

f x = fmap (+x) (Just 4) 

f 3 sau đó sẽ được Just 7. (Bạn có thể tiếp tục chuỗi tính toán thêm theo cách này.)

Answer 4

Cũng giống như một mặt lưu ý: Kể từ Maybe là một Monad, bạn có thể xây dựng tính toán sử dụng do -notation ...

sumOfThree :: Maybe Int 
sumOfThree = do 
    a <- someMaybeNumber 
    b <- someMaybeNumber 
    c <- someMaybeNumber 
    let k = 42 -- Just for fun 
    return (a + b + c + k) 

Answer 5

Ví dụ cho "có thể":

> maybe 0 (+ 42) Nothing 
0 
> maybe 0 (+ 42) (Just 12) 
54 

Answer 6

Nhiều người đang chống lại việc sử dụng fromJust, tuy nhiên nó có thể được thuận tiện nếu bạn nhận thức được điều gì sẽ xảy ra khi tra cứu thất bại (lỗi !!)

Thứ nhất, bạn sẽ cần này:

import Data.Maybe 

Và sau đó tra cứu của bạn từ một danh sách các hàng sẽ trông như thế này

Data.Maybe.fromJust $ lookup key listOfTuples 

Ví dụ, tra cứu thành công:

Data.Maybe.fromJust $ lookup "a" [("a",1),("b",2),("c",3)] 
1 

Và khủng khiếp thất bại trông như thế này:

Data.Maybe.fromJust $ lookup "z" [("a",1),("b",2),("c",3)] 
*** Exception: Maybe.fromJust: Nothing