Tuples (instances of product types) are not natively supported in Java. While there are many third-party Java libraries which do provide support for tuples, we do not necessarily want to take a dependency on them. Substituting records for tuples comes with its own problems.
Introduce a collection of Java classes for tuples up to a reasonable number (e.g. up to nine-tuples), then use these classes as the target of transformations, and the inputs to primitive functions involving tuples. Unlabeled injections (the dual of tuples) need not be directly supported at this time.
Tuples (instances of product types) are not natively supported in Java. While there are many third-party Java libraries which do provide support for tuples, we do not necessarily want to take a dependency on them. Substituting records for tuples comes with its own problems.
Introduce a collection of Java classes for tuples up to a reasonable number (e.g. up to nine-tuples), then use these classes as the target of transformations, and the inputs to primitive functions involving tuples. Unlabeled injections (the dual of tuples) need not be directly supported at this time.