從單子轉換到應用性

Question

好了，我知道是什麼Applicative類型類包含的，爲什麼這是有用的。但我不能完全圍繞如何在一個不平凡的例子中使用它。

考慮，例如，下列相當簡單秒差距解析器：

integer :: Parser Integer 
integer = do 
    many1 space 
    ds <- many1 digit 
    return $ read ds 

現在如何赫克你會寫，而無需使用Monad實例Parser？很多人聲稱這是可以做到的，並且是一個好主意，但我無法弄清楚究竟如何。

Answer 1

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

或者

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

不管你認爲其中任一更易讀是你。

Answer 2

我會寫

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 

很少有必要在解析器中命名組件，並且生成的代碼看起來更像是帶有添加語義的語法。

Answer 3

你的例子可以逐步改寫爲其中更清楚地類似於一個應用型的一種形式：

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. 第三單子法（結合性）：

   定義的liftM

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

5. （在非do表示法）：

   liftM read (many1 space >> many1 digit) 
   

這是（或者應該是，如果我沒有搞砸:)）在你的例子行爲相同。現在

，如果更換liftM與fmap與<$>，並>>與*>，你會得到應用型：

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

這是有效的，因爲liftM，fmap和<$>一般應該是同義詞，如是>>和*>。

這一切都有效，我們可以這樣做，因爲原始示例沒有使用任何解析器的結果來構建下面的解析器。