Re: Some questions on a library design

[dewar@merv.cs.nyu.edu (Robert Dewar)]

Nick says

<<In theory, but not often in practice. And in no case is the inefficiency of
the extra tag removed, nor of the dynamic tag checking (and sometimes
dynamic access checking).
>>

Several points here. I do not understand the "theory, not often in practice"
comment here. The original post seems exactly correct, and I cannot see Nick's
objection.

"inefficiency of the extra tag removed
"

Also not understandable, there is no requirement in the language for any
"extra tag" here. Some implementations may have various inefficiencies, but
if you are claiming that there is some fundamental inefficiency here, the
basis of this claim is unclear.

"dynamic tag checking"

This is entirely optional, how can you complain about an option?

"dynamic access checking"

This is entirely optional, how can you complain about an option?