【发布时间】:2012-07-28 18:49:47
【问题描述】:
我知道Data.Text 是一种比String = [Char] 更有效的存储字符串数据的方式。但是,我在库中看到的许多函数似乎都希望将String 传递给它们。 Chars 的链表读取起来似乎效率很低,考虑到指针将占用比字符串本身更多的空间。除了列表融合(可能并不总是可行)之外,GHC 是否对 [Char] 的存储进行了任何优化,是否将类似的原则应用于其他列表?
【问题讨论】:
-
我怀疑有太多特定于字符串的优化 - 似乎你可以做的任何事情来改进 Chars 列表也可以用于 Ints 列表或任何你想要的。