Grace traits are intended to be stateless, immutable, free of fields, and without side effects when used, so that it does not matter how many times a trait is repeatedly included into an object, in what order, or by what chain of parents. We show constructions of traits recovering each of these excluded properties.
|Traitorous Traits Email (email.txt)||8KiB|
Tue 19 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
13:50 - 15:20
|Grace in Spoofax: Readable Specification and Implementation in One|
GRACELink to publication File Attached
|Tooling matters – Why Grace needs a good IDE |
Michael Kölling University of Kent