From: fjh@munta.cs.mu.OZ.AU (Fergus Henderson)
Subject: "types" vs "classes" (was: Re: Current state of the language)
Date: Tue, 28 Mar 1995 16:57:33 GMT
Date: 1995-03-28T16:57:33+00:00 [thread overview]
Message-ID: <9508802.20782@mulga.cs.mu.OZ.AU> (raw)
In-Reply-To: 1995Mar20.141440@lglsun.epfl.ch
>mbk@jt3ws1.seas.ucla.edu (Kennel) writes:
>|> Robb Nebbe (nebbe@lglsun.epfl.ch) wrote:
>|>
>|> > In Ada these are class-wide types and
>|> > specific types (or sometimes just classes and types) and in
>|> > Sather they are called abstract and concrete types.
>|>
>|> Oddly enough, the preferred terminology for Sather is now
>|> "types" for the abstract 'things', and "classes" for the concrete 'things',
>|> apparently exactly reversed from Ada. :-(
The terminology in Haskell is similar to that of Ada: Haskell has
"types", which are concrete, and "type classes" (or just "classes"),
which are abstract.
(I think the Sather people should go back to the terms
"abstract types" / "concrete types" which have no danger of confusion.)
--
Fergus Henderson - fjh@munta.cs.mu.oz.au
next prev parent reply other threads:[~1995-03-28 16:57 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
[not found] <3j5p3p$nc1@netnews.upenn.edu>
[not found] ` <3k0u6r$e05@miranda.gmrc.gecm.com>
[not found] ` <MATT.95Mar15122202@physics2.berkeley.edu>
[not found] ` <3k9s2j$iq8@moon.src.honeywell.com>
[not found] ` <1995Mar17.092345@lglsun.epfl.ch>
1995-03-17 15:02 ` Current state of the language Kennel
1995-03-20 13:38 ` Robb Nebbe
1995-03-28 16:57 ` Fergus Henderson [this message]
1995-03-23 15:09 ` Whitney de Vries
1995-03-24 20:58 ` Tucker Taft
1995-03-27 14:54 ` Norman H. Cohen
1995-03-28 18:36 ` Kennel
1995-03-28 18:42 ` Kennel
1995-03-25 18:01 ` Robert Dewar
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox