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

[James Noble]

On 28/07/2016, at 3:12AM, Vitek, Jan <j.vitek at northeastern.edu> wrote:
> 
> Cool - that’s exactly what Thorn set out to do, and, I think, did.

by supporting the concrete types, or by optimising like type checks?

Like types are checked dynamically in Thorn, right?

Did the various Thorn systems attempt to eliminate the like types checks?

James