Re: Reference to "First-Class Data Type"

pardo@cs.washington.edu (David Keppel)
Mon, 24 Feb 92 22:44:11 GMT

          From comp.compilers
Related articles
Reference to "First-Class Data Type" reid@vtopus.cs.vt.edu (1992-02-18)
Re: Reference to "First-Class Data Type" moss@cs.umass.edu (1992-02-19)
Re: Reference to "First-Class Data Type" stachour@sctc.com (1992-02-20)
Re: Reference to "First-Class Data Type" jwb@cepmax.ncsu.edu (1992-02-20)
Re: Reference to "First-Class Data Type" mab@wdl39.wdl.loral.com (1992-02-20)
Re: Reference to "First-Class Data Type" eric@tfs.COM (1992-02-22)
Re: Reference to "First-Class Data Type" spot@CS.CMU.EDU (1992-02-24)
Re: Reference to "First-Class Data Type" pardo@cs.washington.edu (1992-02-24)
Re: Reference to "First-Class Data Type" glew@pdx007.intel.com (1992-02-25)
Re: Reference to "First-Class Data Type" scott@cs.rochester.edu (1992-02-25)
Re: Reference to "First-Class Data Type" rjbodkin@theory.lcs.mit.edu (Ronald Bodkin) (1992-02-25)
Re: Reference to "First-Class Data Type" pmetzger@shearson.com (1992-02-26)
Re: Reference to "First-Class Data Type" gaal@thesee.inria.fr (1992-03-03)
| List of all articles for this month |
Newsgroups: comp.compilers
From: pardo@cs.washington.edu (David Keppel)
Keywords: types
Organization: Computer Science & Engineering, U. of Washington, Seattle
References: 92-02-085 92-02-104
Date: Mon, 24 Feb 92 22:44:11 GMT

>>[Procedure pointers, not procedures, are first class C objects.
>> In languages with 1st class procedures, you can create procedures,
>> not just pointers to them, at run time. -John]


In article 92-02-104 eric@tfs.COM (Eric Smith) writes:
>[Put a C compiler in the C library?]


That might be a good idea but it won't make procedures first class.
Consider structure assignment:


a = b // First-class
memcpy (b, a, sizeof(b)) // Second-class


It isn't clear that you can (meaningfully) copy code returned by the
C compiler, but even if you could it would be by a second-class
mechanism. All IMHO, of course.


;-D on ( Typed signatures? ) Pardo
--

Post a followup to this message

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