Constness Naming Proposal

[Robert Fraser]

Chad J Wrote:

> hiro = Head Is Read Only
> tiro = Tail Is Read Only
> 
> - Very unlikely these are used much as variable names, if at all.
> Almost no code refactoring for adding these keywords.

I guess I'll have to scrap my idea for a Snow Crash game...

>
> Obstinate
> Determined
> Resolved
> Rigid
> Stubborn
> Hardheaded
> Unyielding
> Intransigent

I'd love to have "stubborn" variables that refuse to change their type without it being cast away.

All kidding aside, I think the way it is right now is arbitrary, but not that bad. "final" = head-const, const=tail-const, invariant=tail-invariant