maybe

9Nhiệt

1Trả lời

Chức năng Trả về "Không có giải pháp" thay vì "Không có gì"

Tôi có một kiểu dữ liệu tiêu chuẩn đại diện cho các công thức của logic vị ngữ. Một chức năng đại diện cho một quy tắc loại trừ khấu trừ tự nhiên cho phân ly có thể trông giống như: d_el p q = if

31Nhiệt

6Trả lời

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

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

9Nhiệt

4Trả lời

Sáp nhập/Gắn thêm Justs vào Haskell

Tôi đang cố gắng làm những gì phải rõ ràng trong Haskell, được chuyển từ Just [1] và Just [2] thành Just [1, 2]. Tuy nhiên tôi không thể tìm thấy bất cứ điều gì trực tuyến như tôi tiếp tục tìm các tra

15Nhiệt

2Trả lời

Hoạt động trên một trở về từ một lẽ có chứa "Chỉ"

Tôi có một chức năng mà có một kiểu trả về của Maybe ([(Int,Int)],(Int,Int)) Tôi muốn gọi đây là từ chức năng khác và thực hiện một thao tác trên dữ liệu. Tuy nhiên, giá trị trả về nằm trong phạm vi J

22Nhiệt

6Trả lời

Truy cập scala.None từ Java

Làm cách nào bạn có thể truy cập scala.None từ Java? Dòng cuối cùng khiến trình biên dịch chết với "loại scala.None không nhận tham số". import scala.Option; import scala.Some; import scala.None; f

6Nhiệt

1Trả lời

Sử dụng "Có thể" của Haskell, nhập khai báo [câu hỏi của người mới bắt đầu]

Tôi đã bắt đầu thử nghiệm với Haskell và gặp sự cố. qqq là một hàm sẽ in một chuỗi nếu được gọi là "Không có gì" và in những thứ khác nếu được gọi với "Chỉ một cái gì đó". Các nỗ lực đầu tiên có vẻ nh

15Nhiệt

3Trả lời

Trích xuất một giá trị Có lẽ trong IO

Do sau: > (liftM2 fromMaybe) (ioError $ userError "OOPS") (return $ Just "ok") ghci mang lại cho tôi *** Exception: user error (OOPS) Tất nhiên, fromMaybe đang làm việc một cách chính xác: > (lift

6Nhiệt

1Trả lời

lẽ đơn nguyên function bind ưu tiên

Trong this hướng dẫn, tôi đã tìm thấy các đoạn mã sau: deposit :: (Num a) => a -> a -> Maybe a deposit value account = Just (account + value) withdraw :: (Num a,Ord a) => a -> a -> Maybe a withdra

10Nhiệt

2Trả lời

Người mới bắt đầu của Haskell

Tôi không hiểu tại sao tôi nhận được phản hồi sau từ GHCi. Không phải là Maybe một hàm hàm tạo? Prelude> :t Maybe <interactive>:1:1: Not in scope: data constructor `Maybe' Prelude> let e = Maybe 5

5Nhiệt

2Trả lời

Thực hiện Haskell-MaybeMonad trong F # - làm thế nào chúng ta có thể có được điều này lười biếng?

chúng tôi đang cố gắng tạo mẫu Haskell-MaybeMonad từ http://www.haskell.org/all_about_monads/html/maybemonad.html trong F #. Ý tưởng là tìm kiếm địa chỉ thư trong hai từ điển. Nếu một trong hai tra cứ