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

On 1 Dec 2002 22:44:23 -0500, Tony Finch wrote:
>"Roman Shaposhnick" <vugluskr@unicorn.math.spbu.ru> wrote:
>>On 24 Nov 2002 18:38:19 -0500, Joachim Durchholz wrote:
>>>
>>>No. Hindley-Milner typing is simple and efficient.
>>
>> But I suppose they require all pieces of code that has anything
>> to do with "a" to be available at once.
>
>No, only the signatures of the functions called within f that have
>anything to do with a are needed.


  So what happens when all the signatures have the most general types in
  them ? My concern is -- how big the runtime hit will be.


  I still, can't believe that there won't be any, but that might be due
  to the lack of detailed information on Hindley-Milner typing. I admit
  I have a rather naive picture of it and I will appreciate it if someone
  can give me any pointers to the basic papers on this topic. All I've
  seen so far is either too shallow or does something else on top
  of Hindley-Milner.


Thanks,
Roman.


P.S. And I still can't get a hold of the original Milner article, but I'll
try the biggest library in the town today.

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