Question

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

它不是“[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 }
|]

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

Answer 1

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

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

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