|(• ◡•)|ノ〵(❍ᴥ❍⋃) - "ALGEBRAIC!!!"
Abstract algebra organises organises a wide range of structures into a logically consistent framework. These classifications can be incredibly useful for creating composable libraries and APIs.
Examples of types that could be included under the algebraic framework:
- Integers, reals and rationals numbers
- Complex numbers
- Polynomials
- Boolean values
- Matrices and vectors
- Quaternions and octonians
- Strings under concatenation
- The Scratchpad II Type System: Domains and Subdomains
- Fundamental Algebraic Concepts in Concept-Enabled C++
- Numeric Prelude (Haskell)
- Edward A. Kmett's algebra package (Haskell)
- YAP: Yet Another Prelude (Haskell)
- Agda's algebra module (Agda)
- Idris' algebra module (Idris)
- Felix's algebra module (Felix)
- non/spire (Scala)