Programming with Miranda
Author(s)
Bibliographic Information
Programming with Miranda
Prentice Hall, 1995
Note
Includes bibliographical references (p. 301-305) and index
入力は遡及データによる
Description and Table of Contents
Description
This text teaches structured programming skills using the functional language Miranda. Written as an explanatory book for those with little programming experience it provides an introduction to the theory of programming and encourages the reader to develop sound software design techniques. The tutorial style shows both correct and incorrect approaches to problem solving. There is also demonstration of the expressive power of functional programming, and examples which highlight large-scale software engineering issues. Based on "Programming with Standard ML", the authors have "translated" from SML to Miranda and revised the book in light of lecturers' comments. It is designed for first and second year undergraduates who need to understand the basics of functional programming with Miranda (Release 2).
Table of Contents
Introduction. Operators, identifiers and Types. Functions. Lists. Curried and Higher Order Functions. Environments and Evaluations. User Defined Types. Abstract Types. Files and Interaction. Programming in the Large.
by "Nielsen BookData"