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 ...

Markdown supported · ⌘↵ to post
No responses yet.