3 ms·
What are Algebraic Type Systems? Google only gives me the run of the mill algabraic data types.
by rowanG077 5y ago
What are Algebraic Type Systems? Google only gives me the run of the mill algabraic data types.
- nivertech 5y agoI 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