Comment by DeathArrow

I'm sure Java dis some things first, as I said. It's great that you mention some.

>That's how we've been able to avoid properties and just have algebraic data types

By algebraic data types you mean product types or sum types?