แปลจาก monad เป็นแอปพลิเคชัน

integer :: Parser Integer
integer = read <$> (many1 space *> many1 digit)

Or

integer = const read <$> many1 space <*> many1 digit

ไม่ว่าคุณจะคิดว่าสิ่งใดสิ่งหนึ่งเหล่านี้อ่านง่ายกว่านั้นก็ขึ้นอยู่กับคุณ

ฉันจะเขียน

integer :: Parser Integer
integer = read <$ many1 space <*> many1 digit

มีตัวดำเนินการสร้างพาร์เซอร์ที่เชื่อมโยงด้านซ้าย (เช่นแอปพลิเคชัน) จำนวนมาก <$>, <*>, <$, <* สิ่งที่อยู่ทางซ้ายสุดควรเป็นฟังก์ชันแท้ที่รวบรวมค่าผลลัพธ์จากค่าส่วนประกอบ สิ่งที่อยู่ทางขวาของโอเปอเรเตอร์แต่ละตัวควรเป็นตัวแยกวิเคราะห์ โดยให้ส่วนประกอบของไวยากรณ์จากซ้ายไปขวารวมกัน โอเปอเรเตอร์ที่จะใช้นั้นขึ้นอยู่กับสองตัวเลือกดังนี้

  the thing to the right is    signal  / noise
  _________________________            
  the thing to the left is \           
                            +-------------------
                    pure /  |   <$>       <$
                  a parser  |   <*>       <*

ดังนั้น เมื่อเลือก read :: String -> Integer เป็นฟังก์ชันล้วนๆ ที่จะส่งมอบซีแมนทิกส์ของพาร์เซอร์ เราก็สามารถจำแนกช่องว่างนำหน้าเป็น "สัญญาณรบกวน" และกลุ่มตัวเลขเป็น "สัญญาณ" ได้ ดังนั้น

 read <$ many1 space <*> many1 digit
 (..)    (.........)     (.........)
 pure    noise parser     |
 (.................)      |
     parser              signal parser
 (.................................)
                    parser

คุณสามารถรวมความเป็นไปได้หลายอย่างเข้าด้วยกัน

p1 <|> ... <|> pn

และแสดงความเป็นไปไม่ได้ด้วย

empty

แทบไม่จำเป็นต้องตั้งชื่อส่วนประกอบในตัวแยกวิเคราะห์ และโค้ดผลลัพธ์จะดูเหมือนไวยากรณ์ที่มีความหมายเพิ่มเติม

ตัวอย่างของคุณสามารถค่อยๆ เขียนใหม่เป็นรูปแบบที่มีลักษณะคล้ายกับ Applicative ชัดเจนยิ่งขึ้น:

do
  many1 space
  ds <- many1 digit
  return $ read ds

1. คำจำกัดความของสัญกรณ์ do:

   many1 space >> (many1 digit >>= \ds -> return $ read ds)
   

2. คำจำกัดความของ $:

   many1 space >> (many1 digit >>= \ds -> return (read ds))
   

3. คำจำกัดความของ .:

   many1 space >> (many1 digit >>= (return . read))
   

4. กฎพระภิกษุที่ 3 (ความเชื่อมโยง):

   (many1 space >> many1 digit) >>= (return . read)
   

5. คำจำกัดความของ liftM (ในรูปแบบที่ไม่ใช่ do):

   liftM read (many1 space >> many1 digit)
   

นี่คือ (หรือควรจะเป็นถ้าฉันไม่ทำผิดพลาด :)) พฤติกรรมเหมือนกันกับตัวอย่างของคุณ

ตอนนี้ หากคุณแทนที่ liftM ด้วย fmap ด้วย <$> และ >> ด้วย *> คุณจะได้รับค่า Applicative:

read <$> (many1 space *> many1 digit)

ข้อมูลนี้ใช้ได้เนื่องจากโดยทั่วไปแล้ว liftM, fmap และ <$> ควรจะเป็นคำพ้องความหมาย เช่นเดียวกับ >> และ *>

ทั้งหมดนี้ใช้งานได้และเราสามารถทำได้เนื่องจากตัวอย่างดั้งเดิมไม่ได้ใช้ผลลัพธ์ของ parser ใด ๆ เพื่อสร้าง parser ต่อไปนี้