Re: Reference to "First-Class Data Type"

gaal@thesee.inria.fr (Tamas Gaal)
Tue, 3 Mar 1992 15:02:43 GMT

          From comp.compilers
Related articles
[6 earlier articles]
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: gaal@thesee.inria.fr (Tamas Gaal)
Keywords: types, bibliography
Organization: INRIA, Rocquencourt
References: 92-02-085
Date: Tue, 3 Mar 1992 15:02:43 GMT

Tom Reid, reid@vtopus.cs.vt.edu writes:
>The other day, I used the term "first-class data type" in conversation to
>mean a "complete" ADT. When challenged, I could not remember where I
>"learned" the term. Can someone give me the real definition and possibly
>a reference to its origin?


My guess would be the book of Stoy on Starchey's denotational Semantics:
true, the context is slightly different but the semantics :-) is the same.
When introducing lambda-calculus, there is a rationale why functions are
not first-class objects and why they'd better be.


Stoy, J.E.:
Denotational Semantics: the Scott--Strachey Approach to Programming
Language Theory
MIT Press Cambridge, Massachusetts and London, England 1977
--
Tamas Gaal <gaal@minos.inria.fr>, INRIA, Rocquencourt, France.
--

Post a followup to this message

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