Tại sao Prelude.read của Haskell không trả về một Có thể?

Question

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

read :: Read a => String -> a 

hơn là trả lại một giá trị Maybe?

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

Vì chuỗi có thể không phân tích cú pháp Haskell, liệu chuỗi này có thể tự nhiên hơn không?

Hoặc thậm chí là Either String a, trong đó Left sẽ chứa chuỗi gốc nếu nó không phân tích cú pháp và Right kết quả nếu nó đã làm?

Edit:

Tôi không cố gắng để có được những người khác để viết một wrapper tương ứng đối với tôi. Chỉ cần tìm kiếm sự bảo đảm rằng nó an toàn để làm như vậy.

Answer 1

Sửa: Tính đến GHC 7.6, readMaybe có sẵn trong thư viện Text.Read ở cơ sở, cùng với readEither: http://hackage.haskell.org/packages/archive/base/latest/doc/html/Text-Read.html#v:readMaybe

---

Great câu hỏi! Các loại đọc chính nó không phải là thay đổi bất cứ lúc nào sớm bởi vì điều đó sẽ phá vỡ rất nhiều thứ. Tuy nhiên, có nên là một chức năng maybeRead.

Tại sao không có? Câu trả lời là "quán tính". Có một số discussion in '08 bị trật bánh bởi một cuộc thảo luận về "thất bại".

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

Xem thêm this discussion.

Cá nhân, tôi sử dụng phiên bản từ safe package.

Answer 2

Vâng, nó sẽ tiện dụng với chức năng đọc trả về Có thể. Bạn có thể làm một mình:

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

Answer 3

Ngoài quán tính và/hoặc thay đổi những hiểu biết, một lý do khác có thể là nó thẩm mỹ để có một chức năng có thể hoạt động như một loại nghịch đảo của show. Nghĩa là, bạn muốn điều đó read . show là bản sắc (đối với loại trong nước là một thể hiện của Show và Read) và show . read là bản sắc trên phạm vi show (tức show . read . show == show)

Có Maybe trong các loại read phá vỡ đối xứng với show :: a -> String.

Answer 4

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

Nhìn vào definition of read in the Haskell 98 report, chúng tôi có thể sửa đổi nó để thực hiện một readMaybe hoàn toàn phù hợp với read và điều này không quá bất tiện vì tất cả các chức năng nó phụ thuộc vào được xác định trong Prelude:

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

Answer 5

Chức năng này (được gọi là readMaybe) hiện đang trong phần mở đầu của Haskell! (Theo cơ sở hiện tại - 4.6)