是否可以使用應用程序來表示chainl1？

Question

是否有可能從表達的秒差距chainl1組合子不使用秒差距定義的單子實例？

chainl1 p op = 
    do x <- p 
    rest x 
    where 
    rest x = do f <- op 
       y <- p 
       rest (f x y) 
      <|> return x 

Answer 1

是的，這就是：

chainl1 p op = foldl (flip ($)) <$> p <*> many (flip <$> op <*> p) 

的想法是，你必須分析p (op p)*和評估它作爲(...(((p) op p) op p)...)。

這可能有助於拓展定義了一下：

chainl1 p op = foldl (\x f -> f x) <$> p <*> many ((\f y -> flip f y) <$> op <*> p) 

由於對op和p進行解析，結果被立即應用，但由於p是op右操作數，它需要一個flip。

所以，many (flip <$> op <*> p)結果類型爲f [a -> a]。然後通過foldl從左到右應用該功能列表，初始值爲p。

Answer 2

醜但等效Applicative定義：

chainl1 p op = 
    p <**> 
    rest 
    where 
    rest = flip <$> op <*> 
      p <**> 
      pure (.) <*> rest 
     <|> pure id 

相反左側參數x明確的傳遞到右手側op，這種應用形式「鏈」 op的部分地施加到其右經由側參數（因此flip <$> op <*> p）擡起組合子(.)然後應用經由(<**>)最左邊p到所得rest :: Alternative f => f (a -> a)。