Collected comments / questions re type inference in 0.6.3
daniel.smith at oracle.com
Thu Oct 17 16:32:34 PDT 2013
On Oct 17, 2013, at 4:59 PM, Stephan Herrmann <stephan.herrmann at berlin.de> wrote:
>> Type variables are definitely types. A type variable produced by capture may, for example, be the type of an expression. Chapter 4 needs to do a better job of acknowledging that some types (capture variables, intersection types, the 'null' type) are not Types -- they can't be written down in the syntax -- but are still types.
> So, capitalization is semantically relevant? :)
And typefaces. :-)
More information about the lambda-spec-experts