|
|
|
|
|
|
by jghn
502 days ago
|
|
|
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-... |
|
|