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

[James Noble]

On 29/07/2016, at 10:08AM, Vitek, Jan <j.vitek at northeastern.edu> wrote:

> No error in Thorn, Dart (unchecked), TypeScript, Hack.

error in Dart checked, right?
(which means I'm still confused about the rest of 'em)

> But if you remove the “like” annotation, there will be an error.

yep.  I wonder, is there even a good overview somewhere of all the various alternatives people have found so far?

James