为何PureScript中Data.Int不是Semigroup实例而String是？及相关疑问

先看PSCI中的实际示例：

> "lo" <> "fa"
"lofa"

> 1 <> 2
Error found:
in module $PSCI
at :1:1 - 1:7 (line 1, column 1 - line 1, column 7)

  No type class instance was found for
                                
    Data.Semigroup.Semigroup Int

核心原因：类型类实例的唯一性约束 #

PureScript的类型类设计遵循同一类型对同一类型类只能有一个实例的原则，目的是保证代码语义的明确性，避免歧义：

• 对于String，只有一种自然的结合性操作（字符串拼接），完全符合Semigroup的定义（满足结合律：(a <> b) <> c = a <> (b <> c)），因此可以直接实现Semigroup String实例。
• 对于Int，存在两种完全合法的Semigroup实现：
  • 加法：a <> b = a + b，满足结合律，且是交换幺半群（单位元为0）
  • 乘法：a <> b = a * b，同样满足结合律，也是交换幺半群（单位元为1）
    如果强行选择其中一个作为默认实例，会导致代码语义模糊——开发者无法仅凭a <> b判断是加法还是乘法，违背纯函数式编程的明确性要求。

关于实例链与代数抽象层级 #

即使支持instance chaining，也需要为加法和乘法分别构建完整的代数抽象实例：

• 加法对应的层级：Semigroup → Monoid（单位元0） → Group（相反数为逆元） → Commutative
• 乘法对应的层级：Semigroup → Monoid（单位元1）（但乘法无法构成Group，因为大部分整数没有乘法逆元）
  这种方式会引入大量重复的类型类实例，增加代码复杂度，远不如使用专门的类型类来区分不同运算高效。

Semiring的解决方案 #

Semiring类型类正是为这类场景设计的：它定义了一个同时包含两个二元运算的集合，其中加法和乘法各自构成半群，且乘法对加法满足分配律。这完美匹配Int的代数特性——Semiring Int实例中，add对应加法，mul对应乘法，既避免了歧义，又完整表达了整数的代数结构。

而Semigroup是单一结合性操作的抽象，其append（<>）只能代表一种运算，无法同时承载加法和乘法，因此不能直接让Int成为Semigroup实例。

补充问题解答 #

1. Semiring的定义分歧：确实不同数学资料对Semiring的定义存在细微差异，比如部分定义不要求加法是幺半群（即不需要单位元0），但PureScript社区采用的是包含加法幺半群和乘法半群的定义，这是兼顾实用性和数学严谨性的选择。

2. 细粒度代数实例的实现：可以通过newtype包装来实现同一基础类型的多个代数实例，PureScript和Haskell都支持这种方式。比如Data.Monoid模块中的Sum和Product类型：

> Sum 1 <> Sum 2
Sum 3

> Product 2 <> Product 3
Product 6

通过将Int包装到不同的newtype中，就能为每个newtype实现独立的Semigroup/Monoid实例，既保证了类型安全，又能灵活选择运算逻辑。

内容的提问来源于stack exchange，提问作者toraritte