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
Date: 1995-04-21T00:00:00+00:00 [thread overview]
Message-ID: <D7DM0s.4pt@actrix.gen.nz> (raw)
In-Reply-To: 3n33ej$2h7@theopolis.orl.mmc.com
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
next prev parent reply other threads:[~1995-04-21 0:00 UTC|newest]
Thread overview: 35+ messages / expand[flat|nested] mbox.gz Atom feed top
[not found] <3mq0jd$r10@kaiwan009.kaiwan.com>
1995-04-19 0:00 ` No top schools use Ada Kenneth Almquist
1995-04-18 0:00 ` cjames
1995-04-19 0:00 ` Kenneth Almquist
[not found] ` <3n10sv$i97@gopher.cs.uofs.edu>
1995-04-19 0:00 ` Fernando Mato Mira
1995-04-20 0:00 ` Which first-course languages? (was: What schools use Eiffel (was: No top schools use Ada)) ? Spencer Allain
1995-04-20 0:00 ` Scott Wheeler
1995-04-21 0:00 ` Neil Wilson
[not found] ` <NEWTNews.27781.798049024.ir001168@cec-services-01>
[not found] ` <3mrg2c$onn@disunms.epfl.ch>
[not found] ` <tomkwongD76x5L.AED@netcom.com>
1995-04-19 0:00 ` Theodore Dennison
1995-04-19 0:00 ` Robert Dewar
1995-04-19 0:00 ` Theodore Dennison
1995-04-19 0:00 ` Scott Wheeler
1995-04-20 0:00 ` Robert Dewar
1995-04-21 0:00 ` Jeremiah S Patterson
1995-04-21 0:00 ` Scott Wheeler
1995-04-20 0:00 ` Which first-course languages? (was: What schools use Eiffel (was Geert Bosch
1995-04-20 0:00 ` Which first-course languages? (was: What schools use Eiffel (was: No top schools use Ada)) ? Robert Johnson
1995-04-20 0:00 ` Robert Dewar
1995-04-21 0:00 ` Des Kenny [this message]
1995-04-21 0:00 ` Robert Dewar
1995-04-20 0:00 ` What schools use Eiffel ? Igor Chudov
1995-04-21 0:00 ` Madison Cloutier
[not found] ` <D759Az.GHM@cs.fredonia.edu>
[not found] ` <NEWTNews.19974.798127420.cjames@cec-services-01>
1995-04-18 0:00 ` No top schools use Ada Jay M Martin
1995-04-20 0:00 ` Vladimir Vukicevic
1995-04-20 0:00 ` Norman H. Cohen
1995-04-20 0:00 ` cjames
1995-04-19 0:00 ` Ian S Nelson
1995-04-19 0:00 ` Robert Dewar
1995-04-20 0:00 ` Brian Hanson
1995-04-20 0:00 ` Robert Dewar
1995-04-20 0:00 ` First Language Debate etc Deepak Kumar
1995-04-20 0:00 ` Robert Dewar
1995-04-21 0:00 ` Deepak Kumar
1995-04-19 0:00 ` No top schools use Ada Robert Dewar
1995-04-19 0:00 ` Michael Sperber [Mr. Preprocessor]
1995-04-22 0:00 ` Chris Morgan
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox