เหตุใด Prelude.read ของ Haskell จึงไม่ส่งคืนอาจจะ?

มีเหตุผลที่ดีหรือไม่ที่ประเภทของ Prelude.read คือ

read :: Read a => String -> a

แทนที่จะคืนMaybeค่า?

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

เนื่องจากสตริงอาจไม่สามารถแยกวิเคราะห์ได้ Haskell จึงจะไม่เป็นธรรมชาติมากกว่านี้หรือ?

หรือแม้แต่สตริงเดิมจะมีสตริงเดิมEither String aอยู่ที่ไหนLeftหากไม่ได้แยกวิเคราะห์และRightผลลัพธ์จะเป็นอย่างไร

แก้ไข:

ฉันไม่ได้พยายามให้คนอื่นเขียนกระดาษห่อหุ้มที่เกี่ยวข้องให้ฉัน เพียงแค่ขอความมั่นใจว่าทำได้อย่างปลอดภัย

แก้ไข : ใน GHC 7.6 readMaybeมีอยู่ในText.Readโมดูลในแพ็คเกจพื้นฐานพร้อมกับreadEither: http://hackage.haskell.org/packages/archive/base/latest/doc/html/Text-Read.html#v: readMaybe

คำถามดีมาก! ประเภทของการอ่านจะไม่เปลี่ยนแปลงในเร็ว ๆ นี้เพราะจะทำให้หลายสิ่งหลายอย่างพังทลาย อย่างไรก็ตามควรมีmaybeReadฟังก์ชั่น

ทำไมไม่มี? คำตอบคือ "ความเฉื่อย" มีการอภิปรายในปี '08ซึ่งตกรางจากการอภิปรายเรื่อง "ล้มเหลว"

ข่าวดีก็คือผู้คนมีความเชื่อมั่นเพียงพอที่จะเริ่มถอยห่างจากความล้มเหลวในห้องสมุด ข่าวร้ายคือข้อเสนอหายไปในการสับเปลี่ยน มีควรจะเป็นฟังก์ชั่นดังกล่าวถึงแม้คนหนึ่งจะง่ายต่อการเขียน (และมี zillions รุ่นที่คล้ายกันมากลอย codebases รอบ ๆ อีกมากมาย)

ดูการสนทนานี้ด้วย

ส่วนตัวผมใช้รุ่นจากแพคเกจความปลอดภัย

ใช่มันจะสะดวกกับฟังก์ชั่นการอ่านที่ส่งคืนอาจจะ คุณสามารถสร้างเองได้:

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

นอกเหนือจากความเฉื่อยและ / หรือการเปลี่ยนแปลงข้อมูลเชิงลึกแล้วอีกสาเหตุหนึ่งอาจเป็นเพราะการมีฟังก์ชันที่สามารถทำหน้าที่ผกผันshowได้อย่างสวยงาม นั่นคือคุณต้องการให้นั่นread . showคือเอกลักษณ์ (สำหรับประเภทที่เป็นอินสแตนซ์ของShowและRead) และนั่นshow . readคือข้อมูลประจำตัวในช่วงของshow(เช่นshow . read . show == show)

มีMaybeในรูปแบบของการแบ่งสัดส่วนด้วยreadshow :: a -> String

ดังที่ @augustss ชี้ให้เห็นคุณสามารถสร้างฟังก์ชันการอ่านที่ปลอดภัยของคุณเองได้ อย่างไรก็ตามเขาreadMaybeไม่สอดคล้องกับการอ่านอย่างสมบูรณ์เนื่องจากไม่ได้เพิกเฉยต่อช่องว่างที่ท้ายสตริง (ฉันทำผิดครั้งนี้ฉันจำบริบทไม่ค่อยได้)

เมื่อพิจารณาถึงคำจำกัดความของการอ่านในรายงาน Haskell 98เราสามารถปรับเปลี่ยนเพื่อใช้งานreadMaybeที่สอดคล้องกันได้อย่างสมบูรณ์readและสิ่งนี้ไม่สะดวกเกินไปเนื่องจากฟังก์ชันทั้งหมดที่ขึ้นอยู่นั้นได้กำหนดไว้ใน Prelude:

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

ฟังก์ชั่นนี้ (เรียกว่าreadMaybe) อยู่ในช่วงโหมโรงของ Haskell แล้ว! (ณ ฐานปัจจุบัน - 4.6)