文字或字节串

美好的一天。

我现在讨厌Haskell的一件事是使用字符串的软件包数量众多。

首先，我使用了原生的Haskell[Char]字符串，但是当我尝试开始使用hackage库时，却在无尽的转换中完全迷失了。每个包似乎都使用不同的字符串实现，有些则采用他们自己的手工东西。

接下来，我选择了使用Data.Text字符串和OverloadedStrings扩展名重写代码，Text因为它具有更广泛的功能集，但是似乎很多项目都更喜欢ByteString。
有人可以简短地说明为什么要使用其中一个？

PS：顺便说一句如何从转换Text为ByteString？

无法将预期的类型Data.ByteString.Lazy.Internal.ByteString 与推断的类型Text匹配 预期的类型：IO Data.ByteString.Lazy.Internal.ByteString推断的类型：IO文本

我试图encodeUtf8从Data.Text.Encoding，但没有运气：

无法将预期的类型 Data.ByteString.Lazy.Internal.ByteString 与推断的类型Data.ByteString.Internal.ByteString进行匹配

UPD：

感谢您的答复，*大块头的好处看起来很像，但结果令我有些震惊，我的原始功能看起来像这样：

htmlToItems :: Text -> [Item]
htmlToItems =
    getItems . parseTags . convertFuzzy Discard "CP1251" "UTF8"

现在变成：

htmlToItems :: Text -> [Item]
htmlToItems =
    getItems . parseTags . fromLazyBS . convertFuzzy Discard "CP1251" "UTF8" . toLazyBS
    where
      toLazyBS t = fromChunks [encodeUtf8 t]
      fromLazyBS t = decodeUtf8 $ intercalate "" $ toChunks t

是的，此函数不起作用是因为它的错误，如果我们提供Text给它，那么我们相信此文本已正确编码并可以使用，并且将其转换是愚蠢的事情，但是这种冗长的转换仍然需要放在外面的某个地方htmltoItems。

ByteStrings主要用于二进制数据，但是如果您只需要ASCII字符集，它们也是处理文本的有效方法。如果您需要处理unicode字符串，则需要使用Text。但是，我必须强调，两者都不能替代，它们通常用于不同的事物：虽然Text表示纯unicode，但ByteString无论何时例如通过套接字或文件传输文本，您仍需要在二进制表示形式中进行编码。。

这是一篇有关unicode基础知识的好文章，它很好地解释了unicode代码点（Text）和编码二进制字节（ByteString）之间的关系：绝对绝对是每个软件开发人员绝对肯定要了解的Unicode和字符套装

您可以使用Data.Text.Encoding模块在两种数据类型之间进行转换，如果使用的是惰性变量，则可以使用Data.Text.Lazy.Encoding（就像您根据错误消息所做的那样）。

您肯定要对文本数据使用Data.Text。

encodeUtf8是要走的路。这个错误：

无法将预期的类型Data.ByteString.Lazy.Internal.ByteString与推断的类型Data.ByteString.Internal.ByteString进行匹配

表示您正在向代码提供严格的字节串，这需要一个懒惰的字节串。通过以下fromChunks功能可以轻松进行转换：

Data.ByteString.Lazy.fromChunks :: [Data.ByteString.Internal.ByteString] -> ByteString

因此，您需要做的就是在需要fromChunks [myStrictByteString]延迟字节串的位置添加函数。

另一种方法是使用对偶函数来完成转换，该函数toChunks采用一个惰性字节串并给出一个严格的块列表。

您可能想问一些软件包的维护者是否能够提供文本接口来代替字节串接口，或者是否可以提供字节串接口。

使用单一的功能cs从Data.String.Conversions。

它可以让你之间进行转换String，ByteString并Text（以及ByteString.Lazy和Text.Lazy），根据输入和预期的类型。

您仍然必须调用它，而不必担心各自的类型。

有关用法示例，请参见此答案。