../
2026-02-18 Software Logic Scribe Notes
Type classes
- We saw that dealing with total functions can be cumbersome
- We need an efficient way of packaging this operator + set concept
- These are generally called as algebraic structures
Monoid
- a type equipped with a binary operation and a identity element is called a monoid
Torsor
Group of durations acting on torsors of time