The syntax for parameterized ADTs is DataType A B = Whatever | Blah, but when you use it you have to use e.g. DataType<Integer, String>. Also DataType A B just isn't familiar at all to Java devs. So I need to change it to be DataType<A,B> = Whatever | Blah.
The syntax for parameterized ADTs is DataType A B = Whatever | Blah, but when you use it you have to use e.g. DataType<Integer, String>. Also DataType A B just isn't familiar at all to Java devs. So I need to change it to be DataType<A,B> = Whatever | Blah.