如何解构/解构符号？

Question

给定类型s :: Symbol，有没有办法通过逐个递归字符来定义类型族？即因为人们会在术语级别字符串上定义递归函数吗？

Answer 1

您不能 - 类型级别Symbol不是由字符组成的字符串。 Symbol是一组名义上不同的类型，在语法上看起来像值级别字符串，但它们没有字符串的属性。事实上，除了名义上不同（和可比）之外，他们根本没有其他属性。

Answer 2

在任何已发布的GHC中都不可能，但如果您想这样做，可以使用我的补丁并加入讨论here。