[Grace-core] Should Grace abandon "gradual typing" for "like typing"?

[Erik Ernst]

Hah, that's nothing, wait and see post-post-soundness-soundness. ;-)

-- 
Erik Ernst   -   eernst at acm.org
Google, Inc.
________________________________________
Fra: James Noble <kjx at ecs.vuw.ac.nz>
Sendt: 1. august 2016 15:17
Til: Erik Ernst
Cc: Vitek, Jan; Tobias Wrigstad; grace-core at cecs.pdx.edu; Laurie Tratt
Emne: Re: [Grace-core] Should Grace abandon "gradual typing" for "like typing"?

Hi Erik - wow!  post-soundness really is a thing! - James

> On 1/08/2016, at 10:14AM, Erik Ernst <eernst at cs.au.dk> wrote:
>
> I can add an extra fact on Dart here: It is possible for a class D to `implement` (not `extend`) a class C such that not all methods declared in C are actually implemented by D.