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

"Roman Shaposhnick" <vugluskr@unicorn.math.spbu.ru>
7 Dec 2002 20:07:55 -0500

          From comp.compilers

Related articles
[58 earlier articles]
Re: Pointers to "why C behaves like that ?" dot@dotat.at (Tony Finch) (2002-12-01)
Re: Pointers to "why C behaves like that ?" dot@dotat.at (Tony Finch) (2002-12-01)
Re: Pointers to "why C behaves like that ?" sander@haldjas.folklore.ee (Sander Vesik) (2002-12-01)
Re: Pointers to "why C behaves like that ?" fjh@students.cs.mu.OZ.AU (Fergus Henderson) (2002-12-03)
Re: Pointers to "why C behaves like that ?" nmm1@cus.cam.ac.uk (Nick Maclaren) (2002-12-03)
Re: Pointers to "why C behaves like that ?" joachim_d@gmx.de (Joachim Durchholz) (2002-12-03)
Re: Pointers to "why C behaves like that ?" vugluskr@unicorn.math.spbu.ru (Roman Shaposhnick) (2002-12-07)
Re: Pointers to "why C behaves like that ?" vugluskr@unicorn.math.spbu.ru (Roman Shaposhnick) (2002-12-07)
Re: Pointers to "why C behaves like that ?" lex@cc.gatech.edu (Lex Spoon) (2002-12-11)
Re: Pointers to "why C behaves like that ?" joachim_d@gmx.de (Joachim Durchholz) (2002-12-11)
Re: Pointers to "why C behaves like that ?" marcov@toad.stack.nl (Marco van de Voort) (2002-12-11)
Re: Pointers to "why C behaves like that ?" marcov@toad.stack.nl (Marco van de Voort) (2002-12-11)
Re: Pointers to "why C behaves like that ?" lth@acm.org (Lars T Hansen) (2002-12-11)
[3 later articles]
| List of all articles for this month |

From: "Roman Shaposhnick" <vugluskr@unicorn.math.spbu.ru>
Newsgroups: comp.compilers
Date: 7 Dec 2002 20:07:55 -0500
Organization: St.Petersburg University
References: 02-11-095 02-11-128 02-11-150 02-11-177 02-12-021
Keywords: types
Posted-Date: 07 Dec 2002 20:07:55 EST

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.


Post a followup to this message

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