Miranda for PC wanted??

Thread View: comp.lang.functional

3 messages

[T] Back to Threads [V] Tree View [G] Group Articles

3 total messages Started by Alfred Lupper Wed, 27 Feb 1991 11:10

#812

Author: Alfred Lupper
Date: Wed, 27 Feb 1991 11:10

20 lines
911 bytes

We are looking for Miranda for the PC. Does anyone know an implementation
for the PC? 

Please mail!



Thanks in advance

Alfred Lupper

University of Ulm
Department of Computer Science
Oberer Eselsberg
D-7900 Ulm
Tel.: (0731) 176-3010
FAX.: (0731) 176-3140
e-mail: lupper@informatik.uni-ulm.de
--
A. Lupper

Re: Miranda for PC wanted??

#813

Author: Paul Bailes
Date: Wed, 27 Feb 1991 23:16

19 lines
1362 bytes

In <1991Feb27.111059.29397@informatik.uni-ulm.de> lupper@informatik.uni-ulm.de (Alfred Lupper) writes:

>We are looking for Miranda for the PC. Does anyone know an implementation
>for the PC? 

Aren't we all! In the meantime, however, there is a lazy implementation of Hope
available from here (The University of Queensland, Australia) that runs on Macs
and PCs and Suns and Solbournes and ...

If anyone is interested, mail a query to uqhope@uqcspe.cs.uq.oz.au.

If you haven't seen Hope before, there aren't too many nasty surprises BUT the
syntax is a lot noisier than Miranda's*  and e.g. teaching FP out of Bird & Wadler
is not as easy BUT it's (an awful lot) better than nothing.

Paul Bailes

--------------------------------------------------
*Miranda is a trade mark of Research Software Ltd.

Re: Miranda for PC wanted??

#818

Author: Don Sannella
Date: Sat, 02 Mar 1991 12:08

16 lines
1565 bytes

In article <1991Feb27.111059.29397@informatik.uni-ulm.de>, lupper@informatik.uni-ulm.de (Alfred Lupper) writes:
> We are looking for Miranda for the PC. Does anyone know an implementation
> for the PC? 

Stefan Kahrs of the University of Bremen (stefan@de.uni-bremen.informatik) has
an implementation of a Miranda(TM)-like language which he calls Miracula(no TM).
It runs on Ataris (and other home computers, I think); I'm not sure about PC
as in IBM-PC.  The syntax is close enough to Miranda that I had no trouble using
it together with Bird and Wadler's book to teach a course on functional programming.
There are some things missing from the syntax such as sections.  Miracula is faster
than Miranda and can be switched between lazy and eager evaluation.  There is no
garbage collection but this is not a problem for student exercises.  A more serious
problem is that there is no type checking.

Don Sannella
University of Edinburgh

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads