arrays - 如何在 purescript 中将字符列表转换为字符串

Question

我正在寻找一种惯用的方法来编写函数 List Char -> String在 Purescript 中。

这似乎是一件简单的事情，但我是 Purescript 的新手，并且浏览文档已经有一段时间了，但没有任何进展!

背景信息:我正在将一个简单的函数从 Haskell 移植到 Purescript

generateId :: Int -> [Char]

这会生成指定长度的字符串。将代码转换为使用非常容易 List Char操作(其中 List 来自 Purescript 中的 Data.List)。在 Haskell 中 [Char]与 String 相同所以不需要其他处理，但是，我找不到从 List Char 转换的函数给本地人String在 Purescript 中!

<罢工>我的搜索引导我到 fromCharArray :: Array Char -> String在Data.String ，但是我找不到从 List Char 转换的方法到Array Char !

我可以通过折叠 List Char 来手动在它们之间进行转换。并建立一个 Array Char使用 snoc ，但我肯定缺少一个内置的解决方案，用于 Purescript 中看似基本的字符串操作!

编辑: fromList可以从任何 Unfoldable 进行转换(例如数组)到 List 。仍然保留这个问题，以防有更惯用的方法来实现这一目标。

Answer 1

我同意你的编辑。 Data.String.fromCharArray <<< Data.List.fromList对我来说听起来很不错。 fromCharArray在原生 JS 中通过 array.join("") 实现.

更新: fromList现已弃用 - 使用 toUnfoldable相反