Programming with Miranda
著者
書誌事項
Programming with Miranda
Prentice Hall, 1995
注記
Includes bibliographical references (p. 301-305) and index
入力は遡及データによる
内容説明・目次
内容説明
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).
目次
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.
「Nielsen BookData」 より