Data Classes and Sealed Types for Java

Posted on February 28, 2019



More at http://cr.openjdk.java.net/~briangoetz/amber/datum.html