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.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: fac41,a9f32f7699236ef1
X-Google-Attributes: gidfac41,public
X-Google-Thread: 103d24,a9f32f7699236ef1
X-Google-Attributes: gid103d24,public
X-Google-Thread: 103376,7fb761492573daee
X-Google-Attributes: gid103376,public
X-Google-Thread: 10db24,a9f32f7699236ef1
X-Google-Attributes: gid10db24,public
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)) ?
Date: 1995/04/21
Message-ID: <D7DM0s.4pt@actrix.gen.nz>#1/1
X-Deja-AN: 101281361
x-nntp-posting-host: atlantis.actrix.gen.nz
sender: Des Kenny
references: <3mq0jd$r10@kaiwan009.kaiwan.com> <3mrg2c$onn@disunms.epfl.ch>
 <tomkwongD76x5L.AED@netcom.com> <3n33ej$2h7@theopolis.orl.mmc.com>
summary: Miranda is functional
organization: Actrix Information Exchange
newsgroups: comp.lang.eiffel,comp.lang.ada,comp.edu,comp.lang.scheme
Date: 1995-04-21T00:00:00+00:00
List-Id: <comp.lang.ada>

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