<div dir="ltr">I do NOT wish to restart this discussion; I just noticed a falsehood that was never exposed:<br><div class="gmail_extra"><br><br><div class="gmail_quote">On Wed, Mar 6, 2013 at 1:47 AM, Remi Forax <span dir="ltr">&lt;<a href="mailto:forax@univ-mlv.fr" target="_blank" class="cremed">forax@univ-mlv.fr</a>&gt;</span> wrote:</div>

<div class="gmail_quote"><br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Google&#39;s Guava, which is a popular library, defines a class named Optional, but allow to store null unlike the current proposed implementation, this will generate a lot of confusions and frustrations.<br>

</blockquote><div><br></div><div style>Guava&#39;s Optional <i>cannot</i> be used to hold null. So this particular concern is not a concern at all.</div><div style><br></div><div style><br></div></div>-- <br><div style="line-height:1.5em;padding-top:10px;margin-top:10px;color:rgb(85,85,85);font-family:sans-serif">

<span style="border-width:2px 0px 0px;border-style:solid;border-color:rgb(213,15,37);padding-top:2px;margin-top:2px">Kevin Bourrillion |</span><span style="border-width:2px 0px 0px;border-style:solid;border-color:rgb(51,105,232);padding-top:2px;margin-top:2px"> Java Librarian |</span><span style="border-width:2px 0px 0px;border-style:solid;border-color:rgb(0,153,57);padding-top:2px;margin-top:2px"> Google, Inc. |</span><span style="border-width:2px 0px 0px;border-style:solid;border-color:rgb(238,178,17);padding-top:2px;margin-top:2px"> <a href="mailto:kevinb@google.com" target="_blank" class="cremed">kevinb@google.com</a></span></div>


</div></div>