Rust 抽象代数

|(• ◡•)|ノ〵(❍ᴥ❍⋃)     - "ALGEBRAIC!!!"

抽象代数将各种结构组织到一个逻辑上一致框架中。这些分类对于创建可组合的库和 API 非常有用。

可能包含在代数框架下的类型示例

• 整数、实数和有理数
• 复数
• 多项式
• 布尔值
• 矩阵和向量
• 四元数和八元数
• 连接下的字符串

研究

有趣的论文

• Scratchpad II 类型系统：域和子域
• 概念启用 C++ 中的基本代数概念

启发性的库

• Numeric Prelude (Haskell)
• Edward A. Kmett 的 algebra 包 (Haskell)
• YAP: Yet Another Prelude (Haskell)
• Agda 的 代数模块 (Agda)
• Idris 的 代数模块 (Idris)
• Felix 的 代数模块 (Felix)
• non/spire (Scala)