Data classes

[Mark Raynsford]

On 2017-11-02T11:31:06 +0000
Maurizio Cimadamore <maurizio.cimadamore at oracle.com> wrote:

> Hi Mark,
> the code that is generated on a datum is essentially like real code that 
> you would otherwise have typed yourself. In other word, think of it as 
> ACC_MANDATED, not as ACC_SYNTHETIC. It is something that the compiler 
> can fully reason about during type-checking and, as a consequence, it 
> means that, yes, you can implement an interface via datum _mandated_ 
> methods.

Nice. That's what I suspected/hoped.

-- 
Mark Raynsford | http://www.io7m.com