我在 Idris 文档中没有看到正则表达式，它是否以任何(最好是可移植的)方式支持？还是有计划的？
最佳答案
Idris 文档没有提及内置正则表达式引擎。 (有趣的是，Haskell has a regex module。)Idris Man page指出它可能缺少很多东西:
It is important to note that Idris is first and foremost a research tool and project. Thus the tooling provided and resulting programs created should not necessarily be seen as production ready nor for industrial use.
所以，使用 IdrisScript似乎是一个相关的解决方法。
关于regex - Idris 支持正则表达式吗？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/29194560/