yesod/hamlet: "$forall <-" 的右侧会发生什么？答案

【问题标题】：yesod/hamlet: what happens on the right hand side of "$forall <-" ?yesod/hamlet: "$forall <-" 的右侧会发生什么？
【发布时间】：2013-11-28 20:23:31
【问题描述】：

手册http://www.yesodweb.com/book/shakespearean-templates 只是说“循环遍历列表 - 我们为您提供了保障”。我不明白该语句中“列表”的确切语义。

这不是“[something] 类型的任意 Haskell 表达式”：我不会写

main = putStrLn $  renderHtml [shamlet|
 <ul> 
   $forall x <- reverse [ False, True ]
     <li>#{x}
|]

它似乎必须是一个文字列表（在方括号中，元素以逗号分隔），但究竟什么是有效的列表元素？

它可以是数字文字 - 至少以下是通过拼接实现的

main = putStrLn $  renderHtml [shamlet|
 <ul> 
   $forall x <- [ 0, 1 ]
     <li>#{ x }
|]

但是编译器不喜欢它，因为（我认为）数字文字是多态的。通常的解决方法是在某处放置类型签名。但是在哪里？

【问题讨论】：

我不是专家，也不知道确切的答案。尽管如此，如果您可以在 <- 之后添加的唯一内容是变量名，我不会感到惊讶。
我从未使用过莎士比亚的 DSL，但我认为问题在于解析：而不是 #{ x }，尝试 #{x} 作为 Yesod 的所有示例，即修剪空格。跨度>
对我也不起作用。始终使用 forall 在处理程序中设置插值变量。
好的，使用变量很好，它还提供了放置类型注释的位置，如let bs = [1 :: Int .. 10] in defaultLayout [whamlet| $forall x <- bs #{x} |] （# 之前有一个换行符，我不知道该怎么做写SO mini-markdown）

标签： haskell yesod

【解决方案1】：

同时我在源代码（https://github.com/yesodweb/shakespeare/blob/master/hamlet/Text/Hamlet/Parse.hs#L209）中找到了相关位置，<- 背后的东西来自parseDeref，如https://stackoverflow.com/a/20263640/2868481

这是什么Data.Char.isSymbol？仅供参考，

import Data.Char
filter isSymbol [toEnum 0 .. toEnum 127]    ==>  "$+<=>^`|~"

我想知道这是否是预期的行为（对于 hamlet/yesod）。

【讨论】：

第一个链接坏了。