[Grace-core] Fwd: "Type Dynamic" or "Unknown Type"

[James Noble]

On 27/11/2013, at 07:38 AM, Marco Servetto <marco.servetto at gmail.com> wrote:

> can the empty string serve the role of this type?

we don't have to write the name of the type, 
(indeed, in Grace, if you leave a type out of declaration this "type" is what you get)
but we do have to be able to talk about it.

if we see

var a 

what type do we say "a" has?

with Unknown, we can say that is equivalent to 

var a : Unknown 

James