On Tuesday, 4 December 2012 at 21:59:15 UTC, Namespace wrote: [cut] > - readonly variables, even called "lazy const". constant > variable, not rebindable but value must not assign by > declaration. Syntax: readonly int i; In the (unlikely) case you didn't know: the name for this feature in Eiffel is "once" variable. BR, renoX