[Grace-core] Gradual typing with Dynamic return type

[Andrew P. Black]

On 26 Sep 2011, at 15:18 , Michael Homer wrote:

> There is a trade-off to be made there: either Dynamic is a conforming
> return type, turning statically-typed code into potentially-dynamic
> code, or it isn't, and you can't add return type annotations to the
> type without adding them to all the otherwise-dynamic objects you want
> to use with those as well.

That seems like a concise and correct summary.

	Andrew