[ nice-Feature Requests-1153262 ] notNull antipode

Feature Requests item #1153262, was opened at 2005-02-28 09:55
Message generated for change (Tracker Item Submitted) made by Item Submitter
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=362788&aid=1153262&group_id=12788

Category: None
Group: None
Status: Open
Priority: 5
Submitted By: Artem Gr Kozarezov (artemgr)
Assigned to: Nobody/Anonymous (nobody)
Summary: notNull antipode

Initial Comment:
Nice guesses about nullness of existing java arguments
and returned values are often incorrect. It is not
always feasible to correct nullness assumptions using
"native" keyword. And it is not convenient to loose
type inference only to convert the type to the option one.

Following statement works with Nice:
<T> ?T maybeNull( !T value ) = cast( value );

Proporsal is to add this statement or some other method
into the Nice prelude.

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=362788&aid=1153262&group_id=12788


-------------------------------------------------------
SF email is sponsored by - The IT Product Guide
Read honest & candid reviews on hundreds of IT Products from real users.
Discover which products truly live up to the hype. Start reading now.
http://ads.osdn.com/?ad_id=6595&alloc_id=14396&op=click