CS[ Bristol CS | Index ]

Functional Programming with Miranda

Book by Ian Holyer. ISBN 1857282485. UCL Press 1992. (originally published by Pitman 1992, taken over by UCL 1993).

Abstract

This book is aimed both at students and at professional programmers. It introduces not just a programming language, but also a style of programming - the declarative style - in which less emphasis is put on programming detail and more on problem solving than with traditional languages. The early chapters describe the methods used by functional programmers to design both small and large programs. The later chapters provide a non-mathematical introduction to the implementation and theory of functional languages.

The Miranda language (Miranda is a trademark of Research Software Ltd.) is described and used throughout most of the book. It is a simple language which nevertheless contains all the key features of functional languages and it has a good program development environment. It is used extensively for teaching and academic research, and is also increasingly being used in industrial applications.

The Miranda functional programming system is a product of Research Software Limited. I am grateful to Research Software Limited for permission to include information about the Miranda system in this book. However, this book does not aim to provide a detailed definition of the Miranda language, or its programming environment. An online reference manual is supplied with the system and this should be consulted for a complete description. The information given here is based on Miranda release two. (Enquiries about the availability of the Miranda system should be addressed to Research Software Limited, 23 St Augustines Road, Canterbury CT1 1XP, England, or to the electronic mail address - mira-request@ukc.ac.uk.)

Errors

(Details of the errors in the book are temporarily unavailable.)

Answers to Exercises

Answers to the exercises in chapters 2 and 3 are available on demand by emailing me, ian@cs.bris.ac.uk, and I will also be happy to discuss the exercises in later chapters. I will check that you are listed among the staff at your institution before sending the answers; this is in case you want to use the exercises as marked assigments and do not want the answers to be easily available to students.
Dr. Ian Holyer, ian@cs.bris.ac.uk. Last modified on Wednesday 27 September 1995 at 13:03.