错误“不是数据构造函数”的原因是什么？答案

【问题标题】：What is the reason of error "Not a data constructor"?错误“不是数据构造函数”的原因是什么？
【发布时间】：2019-07-02 23:02:18
【问题描述】：

我有一个错误：Not a data constructor: "%:":

data KV = forall a. Show a => (%:) Text a

有趣的是，:% 可以作为数据构造函数！ %% 又不行了。但是%% 可以作为中缀函数。为什么将其视为错误？这些变体有什么区别？

【问题讨论】：

标签： haskell

【解决方案1】：

这不是数据构造函数的有效名称。所有中缀运算符数据构造函数必须以: 开头。所以(:%) 就可以了。

这只是相当于“构造函数必须以大写字母开头”的运算符，作为在模式匹配时将构造函数与其他名称区分开来的语法手段。

【讨论】：