Path: csiph.com!x330-a1.tempe.blueboxinc.net!usenet.pasdenom.info!gegeweb.org!de-l.enfer-du-nord.net!feeder1.enfer-du-nord.net!feeder.erje.net!news2.arglkargh.de!news.mixmin.net!newsfeed.utanet.at!newscore.univie.ac.at!aconews-feed.univie.ac.at!aconews.univie.ac.at!not-for-mail
Newsgroups: comp.lang.java.programmer
From: Andreas Leitgeb <avl@gamma.logic.tuwien.ac.at>
Subject: Re: Call by Result
References: <nkc3v61jg7i21l7n482ce561dq9fdogg3m@4ax.com> <slrniv3i5o.phi.avl@gamma.logic.tuwien.ac.at> <95e4uuF3cvU1@mid.individual.net> <G8nIp.1578$SG4.1543@newsfe03.iad> <slrniv461g.phi.avl@gamma.logic.tuwien.ac.at> <8CtIp.4644$PA5.4578@newsfe01.iad> <slrniv9qag.phi.avl@gamma.logic.tuwien.ac.at> <4df5290c$0$49183$e4fe514c@news.xs4all.nl> <slrnivefbp.phi.avl@gamma.logic.tuwien.ac.at> <4df77a95$0$49041$e4fe514c@news.xs4all.nl> <_XPJp.2060$g12.487@newsfe20.iad>
Reply-To: avl@logic.at
User-Agent: slrn/pre0.9.9-111 (Linux)
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Message-ID: <slrnivfk13.phi.avl@gamma.logic.tuwien.ac.at>
Date: 14 Jun 2011 21:18:27 GMT
Lines: 14
NNTP-Posting-Host: gamma.logic.tuwien.ac.at
X-Trace: 1308086307 tunews.univie.ac.at 5640 128.130.175.3
X-Complaints-To: abuse@tuwien.ac.at
Xref: x330-a1.tempe.blueboxinc.net comp.lang.java.programmer:5313

Arved Sandstrom <asandstrom3minus1@eastlink.ca> wrote:
> It's way more concise than Java, and another advantage still remains
> that we're not looking for a special value (null).

I'm not yet sure, whether null in Java counts as a "String value", or not.

I think it is not (whereas the empty string of course is). As such, a 
variable (or field) "s" (or even an expression) of type String really
happens to be implicitly the pendant of Haskell's "Option"al String:

Either it is "Null"... (ahem, "null"), or it holds an actual String value.

Ditto for all the non-primitive types.