Newsgroups: comp.lang.eiffel,comp.lang.ada,comp.edu,comp.lang.scheme
Path: cantaloupe.srv.cs.cmu.edu!das-news2.harvard.edu!news2.near.net!news.mathworks.com!hookup!ames!waikato!comp.vuw.ac.nz!actrix.gen.nz!dkenny
From: dkenny@atlantis.actrix.gen.nz (Des Kenny)
Subject: Re: Which first-course languages? (was: What schools use Eiffel (was: No top schools use Ada)) ?
Message-ID: <D7DM0s.4pt@actrix.gen.nz>
Sender: Des Kenny
Summary: Miranda is functional
Organization: Actrix Information Exchange
Date: Fri, 21 Apr 1995 08:24:27 GMT
References: <3mq0jd$r10@kaiwan009.kaiwan.com> <3mrg2c$onn@disunms.epfl.ch> <tomkwongD76x5L.AED@netcom.com> <3n33ej$2h7@theopolis.orl.mmc.com>
X-Nntp-Posting-Host: atlantis.actrix.gen.nz
Lines: 54
Xref: glinda.oz.cs.cmu.edu comp.lang.eiffel:8350 comp.lang.ada:28971 comp.edu:12165 comp.lang.scheme:12538

In article <3n33ej$2h7@theopolis.orl.mmc.com>,
Theodore Dennison  <dennison@escmail.orl.mmc.com> wrote:
> tomkwong@netcom.com (Thomas Kwong) wrote:
> >University of California, Santa Barbara:
> >
> >  In the programming languages class, it used Ada, Eiffel, and Miranda.
> 
> 
> Miranda????
> Languages are kind of a hobby with me, but I have NEVER heard of that
> one. 
> 
> (slight net pause)
> 
> Yahoo has never heard of it, either.
> 
> T.E.D. (strucutred programming bigot)
> 

  Miranda is a functional language. 

  Assignment is not possible. Values are derived in a fashion
  similar to mathematical composition of functions. The idea being to 
  avoid side effects that can change the system state.

  References:

  Title: "Introduction to the Theory of Programming Languages"
  Author: Bertrand Meyer
  Publisher: Prentice Hall
  Date: 1990

  Title: "Functional Programs as Executable Specification" in
         "Logic and Programming Languages"
  Eds. C.A.R. Hoare and J.C. Shepherdson pp 29-54
  Publisher: Prentice Hall
  Date: 1985

  and others.


  Eiffel's assertion sublanguage is leaning strongly towards a
  functional language in style.


  Cheers





           


