Functional Programming with Miranda Book

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 is described in detail and used throughout most of the book. It is a small language which nevertheless contains all the key features of functional languages and it has a good program development environment. The final chapter of the book contains a brief summary of Haskell - a language designed by the research community to consolidate and standardize functional language design. It is suitable for large scale application programming, and production quality optimizing compilers are being designed for it.Read More