Examples of using Maybe in Vietnamese and their translations into English
{-}
-
Colloquial
-
Ecclesiastic
-
Computer
Bây giờ khi đã biết cách đưa một giá trị Maybe a vào một hàm có kiểu a-> Maybe b trong khi vẫn tính đến ngữ cảnh của việc tính toán thất bại có thể xảy ra thì hãy xem cách mà ta có thể dùng>>= lặp đi lặp lại để xử lý nhiều giá trị Maybe a cùng lúc.
Maybe là một functor áp dụng sao cho khi ta dùng<*> để áp dụng một hàm ở trong một Maybe lên một giá trị vốn nằm trong một Maybe, thì chúng phải cùng là các giá trị Just nếu muốn có kết
Bằng cách biến những giá trị như vậy thành giá trị Maybe rồi thay thế những áp dụng thông thường bằng>>=, thì tự nhiên
Nếu như Maybe được dành cho các giá trị kèm theo ngữ cảnh thất bại,
True-- non- nullary type constructor with one non- nullary data constructor data Point a= Point a a-- non- nullary type constructor with… data Maybe a= Nothing--… nullary data constructor|
Khi khám phá monad Maybe, ta đã lập nên hàm applyMaybe, vốn lấy một giá trị Maybe a và một hàm thuộc kiểu a-> Maybe b rồi đưa giá trị Maybe a đó vào trong hàm, ngay cả khi hàm nhận một a thông thường thay vì Maybe a.
Bây giờ, nếu bạn thêm Maybe Int đến một Maybe Int, toán tử sẽ kiểm tra xem chúng có vừa là Just Intbên trong, và nếu có, sẽ mở khóa Ints, chuyển cho họ toán tử cộng, kết quả lại Int vào một Just Int( đó là một giá trị Maybe Int), và do đó trả lại Maybe Int.
ứng phụ nào( như thất bại trong Maybe hoặc trả lại kết quả có tính không tất định cao hơn, đối với danh sách), mà lại biểu diễn một kết quả gì đó.
Khi ta xem Maybe như là một functor, ta thấy được
Ta không thể đơn thuần đưa vào Maybe Pole vốn là kết quả của landRight 1( 0,0), vì vậy ta đã dùng>>= để lấy giá trị đó cùng với ngữ cảnh và đưa nó cho landLeft 2.>>= cho phép ta coi giá trị Maybe như là một giá trị kèm ngữ cảnh vì nếu ta đưa Nothing vào landLeft 2,
MAYBE đồng nghĩa với PERHAPS hay POSSIBLY.
AT MAYBE, CHÚNG TÔI THỰC SỰ TIN TỨC TRONG NHÂN DÂNChúng tôi nhiệt tình tin
vì vậy tôi không muốn trả nhiều tiền cho điều đó( MAYBE có thể bán đủ thứ để trả cho chi phí).
Maybe Ngược.
Sử dụng Maybe.
Maybe cái gì?
Sử dụng Maybe.
Maybe cũng là monoid.
Maybe là một Monad?
Khuyết điểm: Maybe nothing.