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

"Tony Finch" <dot@dotat.at>
1 Dec 2002 22:44:23 -0500

          From comp.compilers
Related articles
[53 earlier articles]
Re: Pointers to "why C behaves like that ?" nmm1@cus.cam.ac.uk (Nick Maclaren) (2002-12-01)
Re: Pointers to "why C behaves like that ?" joachim_d@gmx.de (Joachim Durchholz) (2002-12-01)
Re: Pointers to "why C behaves like that ?" peter_flass@yahoo.com (Peter Flass) (2002-12-01)
Re: Pointers to "why C behaves like that ?" fjh@students.cs.mu.OZ.AU (Fergus Henderson) (2002-12-01)
Re: Pointers to "why C behaves like that ?" thp@cs.ucr.edu (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 ?" 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)
[8 later articles]
| List of all articles for this month |
From: "Tony Finch" <dot@dotat.at>
Newsgroups: comp.compilers
Date: 1 Dec 2002 22:44:23 -0500
Organization: dotat labs
References: 02-11-095 02-11-128 02-11-150 02-11-177
Keywords: types
Posted-Date: 01 Dec 2002 22:44:23 EST

"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.


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

Post a followup to this message

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