Publisher's Synopsis
Aimed at both students and professional programmers, this book 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. The early chapters describe the method 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.;Miranda is described and used throughout the book. It is a small language which nevertheless contains all the key features of functional languages. It has also proved to be a good program development environment. This textbook will be ideal for a first course in functional programming.
