Introduction An algebraic type system is a type system that uses algebraic data types (ADTs) to represent relations between data, specifically the notions of "and" and "or". ADTs are composite types formed by combining other types, and there are two ...
kasozivincent.hashnode.dev9 min read
No responses yet.