Tại sao Haskell's Prelude.read không trả về Có thể?

Có lý do chính đáng tại sao loại Prelude.read là

read :: Read a => String -> a

thay vì trả về một Maybegiá trị?

read :: Read a => String -> Maybe a

Vì chuỗi có thể không thể phân tích cú pháp Haskell, nên không phải chuỗi sau sẽ tự nhiên hơn?

Hoặc thậm chí là một Either String a, nơi Leftsẽ chứa chuỗi ban đầu nếu nó không phân tích cú pháp và Rightkết quả nếu có?

Biên tập:

Tôi không cố gắng để người khác viết một trình bao bọc tương ứng cho tôi. Chỉ cần tìm kiếm sự đảm bảo rằng sẽ an toàn khi làm như vậy.

Chỉnh sửa : Kể từ GHC 7.6, readMaybecó sẵn trong Text.Readmô-đun trong gói cơ sở, cùng với readEither: http://hackage.haskell.org/packages/archive/base/latest/doc/html/Text-Read.html#v: readMaybe

Câu hỏi tuyệt vời! Bản thân kiểu đọc sẽ không sớm thay đổi vì điều đó sẽ phá vỡ rất nhiều thứ. Tuy nhiên, cần phải có một maybeReadchức năng.

Tại sao không có? Câu trả lời là "sức ỳ". Có một cuộc thảo luận vào năm '08 đã bị trật bánh bởi một cuộc thảo luận về "fail".

Tin tốt là mọi người đã đủ thuyết phục để bắt đầu tránh thất bại trong các thư viện. Tin xấu là đề xuất đã bị mất trong quá trình xáo trộn. Cần phải có một hàm như vậy, mặc dù một hàm rất dễ viết (và có rất nhiều phiên bản giống nhau trôi nổi trên nhiều cơ sở mã).

Xem thêm thảo luận này .

Cá nhân, tôi sử dụng phiên bản từ gói an toàn .

Vâng, sẽ rất hữu ích với hàm đọc trả về Có thể. Bạn có thể tự làm một cái:

readMaybe :: (Read a) => String -> Maybe a
readMaybe s = case reads s of
              [(x, "")] -> Just x
              _ -> Nothing

Ngoài quán tính và / hoặc sự thay đổi hiểu biết, một lý do khác có thể là về mặt thẩm mỹ khi có một chức năng có thể hoạt động như một loại nghịch đảo của show. Đó là, bạn muốn đó read . showlà danh tính (đối với các loại là một trường hợp của Showvà Read) và đó show . readlà danh tính trên phạm vi của show(tức là show . read . show == show)

Có một Maybetrong các loại readphá vỡ đối xứng với show :: a -> String.

Như @augustss đã chỉ ra, bạn có thể tạo chức năng đọc an toàn của riêng mình. Tuy nhiên, readMaybenó không hoàn toàn phù hợp với read, vì nó không bỏ qua khoảng trắng ở cuối chuỗi. (Tôi đã mắc lỗi này một lần, tôi không nhớ rõ bối cảnh)

Nhìn vào định nghĩa của read trong báo cáo Haskell 98 , chúng ta có thể sửa đổi nó để triển khai một readMaybeđịnh nghĩa hoàn toàn phù hợp readvà điều này không quá bất tiện vì tất cả các chức năng mà nó phụ thuộc đều được định nghĩa trong Prelude:

readMaybe        :: (Read a) => String -> Maybe a
readMaybe s      =  case [x | (x,t) <- reads s, ("","") <- lex t] of
                         [x] -> Just x
                         _   -> Nothing

Chức năng này (được gọi readMaybe) hiện đang ở phần dạo đầu của Haskell! (Tính đến cơ sở hiện tại - 4,6)