Miranda[TM] : the craft of functional programming
著者
書誌事項
Miranda[TM] : the craft of functional programming
（International computer science series）
Addison-Wesley Pub. Co., c1995
- : pbk
大学図書館所蔵 全6件
注記
Includes bibliographical references (p. 443-444) and index
内容説明・目次
内容説明
This book introduces Miranda at a level appropriate for professionals with little or no prior experience in programming. The emphasis is on the process of crafting programs, solving problems, and avoiding common errors. Using a large number of running examples and case studies, the book encourages the design of well structured, reusable software together with proofs of correctness. A tear-out card enables readers to acquire a Miranda compiler from Research Software Ltd. at a substantial discount off the published list price.
目次
Preface
Part I: Basic Functional Programming
Chapter 1: Introducing functional programming
Chapter 2: Basic types and simple programs
Chapter 3: Reasoning about programs
Chapter 4: Data structures: Lists
Chapter 5: Reasoning about lists
Chapter 6: Generalization
Chapter 7: Further Generalization
Chapter 8: Types in Miranda
Chapter 9: Algebraic types
Chapter 10: Case study: Huffman codes
Chapter 11: Type abstraction
Chapter 12: Lazy evaluation & Lists revisited
Chapter 13: Infinite lists
Chapter 14: Program behaviour
Appendix A. Functional and Imperative programming
Appendix B Further reading
Appendix C Glossary
Appendix D Understanding programs
Appendix E Miranda operators
Appendix F Miranda Errors
Appendix G Some Useful Functions
Bibliography
Indexng
「Nielsen BookData」 より