http://d.puremagic.com/issues/show_bug.cgi?id=4571
bearophile_h...@eml.cc changed:
What|Removed |Added
Status|NEW |RESOLVED
Resolution|
http://d.puremagic.com/issues/show_bug.cgi?id=4571
--- Comment #6 from bearophile_h...@eml.cc 2012-10-01 14:26:20 PDT ---
A small program that shows three important things std.typecons.Nullable isn't
able to do:
import std.stdio, std.algorithm, std.typecons;
alias Nullable!(int, -1)
http://d.puremagic.com/issues/show_bug.cgi?id=4571
--- Comment #5 from bearophile_h...@eml.cc 2011-12-12 05:12:30 PST ---
See also:
http://eclipseandjazz.blogspot.com/2011/12/inter-procedural-null-analysis-using.html
--
Configure issuemail:
http://d.puremagic.com/issues/show_bug.cgi?id=4571
--- Comment #4 from bearophile_h...@eml.cc 2010-11-04 13:41:10 PDT ---
This good document explains very the very well though-out design and
implementation of nonnullable reference types in Spec#:
http://d.puremagic.com/issues/show_bug.cgi?id=4571
--- Comment #3 from bearophile_h...@eml.cc 2010-10-21 17:52:56 PDT ---
Another older partial implementation of typestates from Microsoft, in the Vault
language:
http://d.puremagic.com/issues/show_bug.cgi?id=4571
--- Comment #1 from bearophile_h...@eml.cc 2010-08-26 16:41:58 PDT ---
This is just half of a solution. Beside introducing nonnull
pointers/references, and a handy syntax to denote them, to have a null-safe
language you also need to require
http://d.puremagic.com/issues/show_bug.cgi?id=4571
--- Comment #2 from bearophile_h...@eml.cc 2010-08-26 17:27:34 PDT ---
An example implementation of TypeState for Java:
http://www.warski.org/blog/?cat=9
http://www.warski.org/typestate.html
The original paper about typestates, Typestate: A
