I mean type systems used in ML family PLs. They're a static type systems based on algebraic data types. https://en.wikipedia.org/wiki/Algebraic_data_type http

I mean type systems used in ML family PLs. They're a static type systems based on algebraic data types. https://en.wikipedia.org/wiki/Algebraic_data_type https://en.wikipedia.org/wiki/Algebraic_data_type