From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: f79bb,4fbbe75cca706208 X-Google-Attributes: gidf79bb,public X-Google-Thread: 103376,4fbbe75cca706208 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 1995-03-29 08:17:56 PST Newsgroups: comp.lang.ada,comp.lang.sather Path: nntp.gmd.de!Germany.EU.net!EU.net!howland.reston.ans.net!vixen.cso.uiuc.edu!uwm.edu!news.alpha.net!news.mathworks.com!newshost.marcam.com!uunet!munnari.oz.au!cs.mu.OZ.AU!munta.cs.mu.OZ.AU!fjh From: fjh@munta.cs.mu.OZ.AU (Fergus Henderson) Subject: "types" vs "classes" (was: Re: Current state of the language) Message-ID: <9508802.20782@mulga.cs.mu.OZ.AU> Sender: news@cs.mu.OZ.AU (CS-Usenet) Organization: Computer Science, University of Melbourne, Australia References: <3j5p3p$nc1@netnews.upenn.edu> <3k0u6r$e05@miranda.gmrc.gecm.com> <3k9s2j$iq8@moon.src.honeywell.com> <1995Mar17.092345@lglsun.epfl.ch> <3kc8a7$g12@stc06.ctd.ornl.gov> <1995Mar20.141440@lglsun.epfl.ch> Date: Tue, 28 Mar 1995 16:57:33 GMT Xref: nntp.gmd.de comp.lang.ada:20206 comp.lang.sather:1705 Date: 1995-03-28T16:57:33+00:00 List-Id: >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