j
k
j a
j l
While your reasoning is logically flawless, Martin's is IMO a much more useful behaviour. And making constant a property on normal typed variables (changing their variability to constantness instead), would be even better still.
Back to the thread
Back to the list