Ceylon language

[Kagamin]

bearophile Wrote:

> > How will it work on this code?
> > 
> > String? name = process.args.first;
> > myLibCustomEnforce(exists name);
> > writeLine("Hello " name "!");
> 
> If you want to implement the feature well, then the compiler has to manage a bit of type state too. The state of the type of the (here immutable) variable "name" before myLibCustomEnforce() is different from the state of the type of "name" after that call.
> 

Do you describe, how Ceylon can work hypotetically or how it actually works?