Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!swrinde!zaphod.mps.ohio-state.edu!uakari.primate.wisc.edu!crdgw1!uunet!mcsun!ukc!edcastle!cs.ed.ac.uk!cs.edinburgh.ac.uk!dts
From: dts@cs.edinburgh.ac.uk (Don Sannella)
Newsgroups: comp.lang.functional
Subject: Re: Miranda for PC wanted??
Keywords: Miranda PC
Message-ID: <7128@skye.cs.ed.ac.uk>
Date: 2 Mar 91 12:08:40 GMT
References: <1991Feb27.111059.29397@informatik.uni-ulm.de>
Sender: nnews@cs.ed.ac.uk
Reply-To: dts@cs.edinburgh.ac.uk (Don Sannella)
Organization: Department of Computer Science, University of Edinburgh
Lines: 16

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