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

[James Noble]

Perhaps - but the spec doesn't say that, no implementation does that, and populating the *retained generic* parameters via inference tightly couples the operational semantics to the type inference algorithm which we just told Tijs we didn't want to do. 

J

Sent from my iPhone

> On 28/07/2016, at 13:58, Kim Bruce <kbbruce47 at gmail.com> wrote:
> 
> I think it is pretty clear we will use simple type inference for if expressions.