Data classes

Mark Raynsford mark at
Thu Nov 2 12:32:17 UTC 2017

On 2017-11-02T11:31:06 +0000
Maurizio Cimadamore <maurizio.cimadamore at> 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 |

More information about the amber-spec-experts mailing list