It comes from the FP world. It's one of those things like monads that seem obvious when explained but sound opaque if you're not in on it. Basically it's sayin

It comes from the FP world. It's one of those things like monads that seem obvious when explained but sound opaque if you're not in on it. Basically it's saying to create a formal set of types and formal rules about how they interact. If you search for permutations of phrases like "functional programming" "algebra" "data types" you'll turn up some hits. For instance [1] [1] https://www.turingtaco.com/algebraic-data-types-structuring-data-in-functional-programming/ https://www.turingtaco.com/algebraic-data-types-structuring-...