[prev in list] [next in list] [prev in thread] [next in thread] 

List:       openjdk-lambda-spec-observers
Subject:    Re: Collected comments / questions re type inference in 0.6.3
From:       Dan Smith <daniel.smith () oracle ! com>
Date:       2013-10-17 23:32:34
Message-ID: F4CB415D-3F23-4BC3-AA8A-B92E615C8034 () oracle ! com
[Download RAW message or body]

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

—Dan=


[prev in list] [next in list] [prev in thread] [next in thread]