Here’s James’ ECOOP talk about transient typechecking in the Moth VM.
Author: James Noble
Transient Typechecks are (almost) Free – ECOOP 2019
Grace will be at ECOOP2019 in London this month, when we’re presenting a paper “Transient Typechecks are (almost) Free” about the Moth Grace VM build with Graal.
Grace at SPLASH
Grace will be at SPLASH 2018 in Boston this year. In particular, on Sunday 4 November, there is a Grace Workshop that will look at the past, present, and future of the project.
Of most general interest (i.e. to people working on other languages)
there is a session between 13:30 and 15:00 on Gradual Typing where Benjamin Chung, Benjamin Greenman, and Tim Jones will present different perspectives from their research on Gradual Typing.
Then we hope for interesting, insightful, or at least amusing discussions after the 15:00-15:30 break.
Grace with Less Class
Tim Jones’ PhD thesis on Grace’s design – Classless Object Semantics is now in VUW’s research repository.
If you’re interested in this kind of stuff, it’s a surprisingly good read…
Objects have been categorised into classes that declare and implement their behaviour ever since the paradigm of object-orientation in programming languages was first conceived. …
This dissertation investigates the foundational nature of the class in the object-oriented paradigm from the perspective of an ‘objects-first’, classless language. Using the design of theoretical models and practical implementations of these designs as extensions of the Grace programming language, we demonstrate how objects can be used to emulate the functionality of classes, and the necessary trade-offs of this approach.
Object Inheritance Without Classes
The last entry in our ECOOP video series is Tim Jones presenting his and Michael Homer’s work on modelling inheritance in Grace:
As a bonus, here’s Tim’s talk at ECOOP last year on Brand Objects for Nominal Typing in Grace: