Ceylon language

[spir]

On 04/13/2011 07:06 PM, bearophile wrote:
> Kagamin:
>
>> >  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.

Yo; and while you're at "typestating", extend the feature to any type (not only 
pointers).

Denis
-- 
_________________
vita es estrany
spir.wikidot.com