Miranda is a modern functional programming language, with evaluation, polymorphic strong typing, and a powerful module system with type security across module boundaries. A program written in Miranda is a set of equations and can be 20 times shorter than the corresponding imperative program. Miranda won the British Computer Society Techniocal Medal for 1990, and is now running at over 500 sites.
The Miranda system provides an easy to use interactive program development environment running under UNIX. The compiler works with a screen editor (normally vi, but another editor can be used) and there is a built in make facility. Execution is by fast interpreter, using an intermediate code based on combinatory logic. An online manual is included.
Una Turner
Sales Manager
Research Software Ltd.
23 St. Augustines Road
Canterbury, KE CT1 1XP
UK
011-44-1-227-471-844
011-44-1-227-454-458 (fax)
mira-request@ukc.ac.uk
For applications in related solution areas, see the following indices: Application Development, Application Prototyping, CASE & Editors, Educational Tools, Programming Language, Rapid Prototyping, Software Development Tools, Software Engineering, the developer index for Research Software Ltd. and the market segment index for Development Tools.
Miranda is a Trademark of Research Software Ltd.
