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 ...
2 followers
My name is Kasozi Vincent. I hold a masters degree in software engineering. I love writing about building secure, reliable, scalable and robust systems using functional programming