"The End of Native Code"

[Walter Bright]

David Medlock wrote:
> Are you saying you will move towards SML like typing (Hindley-Milner 
> type) ?
> 
> Please elaborate if you can.

Nothing formal, just looking to extend type inference where it can be, 
such as:

	auto x = foo();

instead of:

	int x = foo();