[Grace-core] Types of blocks

[James Noble]

> There would be no type inference.  Do you have a compelling example as to why we should include this?

I figured that since Java, C# & Scala infer argument types to blocks, Grace should too.

so I guess one example is:

> def col = List.fromFile[String]("foo.txt") 
> 
> for col do { s -> print(s) }

rather than 

> def col = List.fromFile[String]("foo.txt") 
> 
> for col do { s : String -> print(s) }

for e.g. C# see: 

http://stackoverflow.com/questions/479883/how-good-is-the-c-type-inference

Gavin Bierman & co's lost in translation paper (in the svn)

J