• Funog <funog ifrance.com> Sep 12 2007

Funog <funog ifrance.com> writes:

Walter Bright Wrote:


 1) final (i.e. 'head const') is not necessary for a, b or c. final is a 
 local thing, and not strictly necessary.
 
 2) tail const can be handled in other ways, read on
 
 So, what we are left with is:
 
 o  no more final
 
 o  const and invariant now mean "fully const" and "fully invariant", 
 where fully means "head and tail combined":



If head const is not necessary, why not having const and invariant meaning
'tail const' and 'tail invariant' ? This way no need to design templates.