blaze html,haskell,正确的html用法?

在标准haskell中,一个字符串 "foo" 总是被解析为类型的值 String = [Char] .blaze不使用实际的 String 大多数地方的值,而是使用自己的类型,如 AttributeValue 对于每一个语义不同的事物。这意味着在标准的haskell中,没有 OverloadedStrings ,不可能将字符串文本传递给许多blaze函数 属性值 S, Tag 等你准备好 -XOverloadedStrings ,ghc将允许字符串文本具有 Data.String.IsString p => p 而不是 字符串 ,因此您可以在任何具有 IsString 是预期的。这被所有的“标准”blaze代码使用。 重载字符串 是一个相当简单的扩展——它基本上是为字符串文本做什么 Num 对整型文字来说是这样的——我不知道有什么大的争议。我认为在生产代码中使用它应该是安全的,一些生产代码库使用它。

此错误消息是由于 toHtml 在第一个参数的类型上被普遍量化,有一些限制: toHtml :: ToMarkup a => a -> Html ,和--- 重载字符串 ---字符串的类型也是类型变量。基本上,ghc知道字符串文本的类型,它将被传递到 目标HTML 需要是某种类型,并且该类型需要有 ToMarkup 和 伊斯特林 ,但它没有任何方法可以确定该类型是什么!在本例中,看起来您可能正在寻找字符串文本实际上具有类型 字符串 这里,您可以通过手动注释文字来获得: toHtml ("foo" :: String) ,或使用 -XTypeApplications 以下内容: toHtml @String "foo" 是的。