HappStack 中的 Haskell Monads msum

Question

来自

http://happstack.com/docs/crashcourse/HappstackState.html

当我运行时服务器，

• 时窥视2时，窥视计数器增加1
• 当我不窥视

有问题的相关代码是：

handlers :: ServerPart Response
handlers = 
    msum [ dir "peek" $ do c <- query PeekCounter
                       ok $ toResponse $ "peeked at the count and saw: " ++ show (unCounter c)
         , do c <- update (AddCounter 1)
           ok $ toResponse $ "New count is: " ++ show (unCounter c)
         ]

但是，当我将其修改为

handlers :: ServerPart Response
handlers = 
    msum [ dir "peek" $ do c <- query PeekCounter
                           ok $ toResponse $ "peeked at the count and saw: " ++ show (unCounter c)
         , do ok $ toResponse $ "Stop here."
         , do c <- update (AddCounter 1)
              ok $ toResponse $ "New count is: " ++ show (unCounter c)
         ]

1时，计数器增加

• 窥视
• 当我非窥视时

0是这样的预期的行为？即使我看了一下，感觉好像 msum 中的第二个 monad 正在“泄漏”。

Answer 1

由于浏览器每次加载页面时都会请求 /favicon.ico，因此计数会额外增加一次。由于最后一个路由是包罗万象的，因此对 /favicon.ico 的请求会导致增量。

最简单的修复方法是添加 nullDir，以便它只对 / 进行增量，

handlers :: ServerPart Response
handlers = 
msum [ dir "peek" $ do c <- query PeekCounter
                   ok $ toResponse $ "peeked at the count and saw: " ++ show (unCounter c)
     , do nullDir
          c <- update (AddCounter 1)
          ok $ toResponse $ "New count is: " ++ show (unCounter c)
     ]

我已使用该更改更新了教程以避免进一步混淆。为了确认确实是 /favicon.ico 请求造成了混乱，我们可以显式处理对 favicon 的请求：

handlers :: ServerPart Response
handlers = 
    msum [ dir "peek" $ do c <- query PeekCounter
                           ok $ toResponse $ "peeked at the count and saw: " ++ show (unCounter c)
         , dir "favicon.ico" $ notFound (toResponse "sorry, no favicon.ico")
         , do c <- update (AddCounter 1)
              ok $ toResponse $ "New count is: " ++ show (unCounter c)
         ]

现在我们看到了预期的行为。

综上所述，Happstack没有任何问题。浏览器向非 /peek 的 URL 发出 1 或 2 个请求，因此计数增加了一两次。这是应用程序的预期行为。但是，由于人们没有预料到 /favicon.ico 请求，它也会导致令人惊讶的行为。所以现在应用程序已更改为只有两个有效的 url：/peek 和 /。其他任何情况都会导致 404。

感谢您的报告！