在dhall中分割字符串

Question

我在玩dhall，想知道如何实现表单的字符串拆分功能

λ(text: Text) -> λ(delimiter: Text) -> List Text

但是，它看起来像has no concept/type to represent individual characters.，并且在序曲中没有这样的功能。

  

您只能对Text值进行串联

那么...有可能吗？

Answer 1

现有的Dhall内置功能目前无法实现。 Text类型在概念上是不透明的，类似于Double。您只能使用Text类型的值来连接它们，但是您不能自省，解析或比较它们的相等性。

我最初以这种方式限制Text的理由是，该语言鼓励在其输入中使用强类型表示形式。例如，不是拆分字符串，而是要求字符串已经拆分（即，期望输入类型为List Text而不是Text）。但是，这可能会有所改变，因为该标准不是一成不变的，而是通过以下概述的过程随时间演变的：

• Contributing - How do I change the language?

即使不更改语言，您仍然可以按照以下指南使用Haskell API使用自己的内置扩展语言来进行实验：

• How to add a new built in function