Re: Pointers to "why C behaves like that ?"

"jacob navia" <jacob@jacob.remcomp.fr> wrote:
>"Joachim Durchholz" <joachim_d@gmx.de> wrote:
>>
>> "a" is of type ANY, or Object, or Equ, or whatever happens to be the
>> most general type that allows comparisons for equality. Type inference
>> will not produce a more specific definition of "a" or "b" at this
>> point. Actually that's OK - there's no need to actually nail the type
>> down at this point.
>
>Of course not, it will be done at run time by the run time assignment
>operator.


Hindley-Milner typing (as used by ML etc.) doesn't require any run-time
type information.


>Yes but those unions must be disambiguated at run time. There is no free
>lunch.


C programs that use unions will have manually-coded (error-prone!)
disambiguation.


Tony.
--
f.a.n.finch <dot@dotat.at> http://dotat.at/

Return to the comp.compilers page.
Search the comp.compilers archives again.