Path: csiph.com!eternal-september.org!feeder.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Eric Sosman <esosman@comcast-dot-net.invalid>
Newsgroups: comp.lang.java.programmer
Subject: Re: Every expression has a type?
Date: Mon, 30 Oct 2017 09:05:47 -0400
Organization: A noiseless patient Spider
Lines: 46
Message-ID: <ot783d$fq8$1@dont-email.me>
References: <Every-20171030130857@ram.dialup.fu-berlin.de>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 30 Oct 2017 13:05:49 -0000 (UTC)
Injection-Info: reader02.eternal-september.org; posting-host="3c7c3db9946338fc63efa0fd9b8c0526"; logging-data="16200"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/3PGBeSMEaishYvwOhyJov"
User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:52.0) Gecko/20100101 Thunderbird/52.4.0
In-Reply-To: <Every-20171030130857@ram.dialup.fu-berlin.de>
Content-Language: en-US
Cancel-Lock: sha1:dPXqmuZmjAfbs3Rhf3GIhTrL5GM=
Xref: csiph.com comp.lang.java.programmer:37608

On 10/30/2017 8:29 AM, Stefan Ram wrote:
>    I was flabbergasted. I had made some handwritten notes
>    during my course, and one read:
> 
> _Jeder_ Ausdruck hat einen Typ.
> 
>    indicating that I wrote "Jeder Ausdruck hat einen Typ."
>    ("Every expression has a type.") in my published HTML
>    course notes, and that there was something wrong with
>    "Jeder" ("Every").
> 
>    But I can't remember what I was thinking of when I wrote
>    this. How can there be an expression in Java without a type?
>    So, eventually, I discarded my note.
> 
>    Still, I was wondering ...
> 
>    Then it struck my mind!
> 
>    The JLS says:
> 
>        THE Java programming language is a statically typed
>        language, which means that every variable and every
>        expression has a type that is known at compile time.
> 
>    But what's the type of a call of a method with the result
>    (jls9:8.4.5) »void«?
> 
>    In Java, »void« is not a type!
> 
>    So, »java.lang.System.out.println()« is an expression,
>    but does it have a type?

     The JLS appears to contradict itself.  The quote you give
(I found it at the start of JLS 4; perhaps it appears elsewhere,
too) claims a type for every expression, but JLS 15.3 says
(emphasis mine)

	*If* an expression denotes a variable or a value, then the
	expression has a type [...]

... excluding void expressions (per JLS 15.1).

-- 
esosman@comcast-dot-net.invalid
Eleven hundred seventy-eight days to go.