Collected comments / questions re type inference in 0.6.3

Dan Smith daniel.smith at
Thu Oct 17 16:32:34 PDT 2013

On Oct 17, 2013, at 4:59 PM, Stephan Herrmann <stephan.herrmann at> 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 mailing list