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?