Re: Miranda for PC wanted??

Article View: comp.lang.functional

Article #818

Back to comp.lang.functional Previous Next

#818

From: 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

Technical Details

Message-ID: <7128@skye.cs.ed.ac.uk>

Path:

arc1-ca.pugleaf.net!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

References: <1991Feb27.111059.29397@informatik.uni-ulm.de>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!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

Reply to Parent Message