Programming with Miranda 1st Edition by Chris Clack, Colin Myers, Ellen Poon ISBN 978-0131925922 013192592X

Programming with Miranda 1st Edition by Chris Clack, Colin Myers,  Ellen Poon  – Ebook PDF Instant Download/Delivery:  978-0131925922, 013192592X
Full download Programming with Miranda 1st Edition after payment

Product details: 

ISBN 10: 013192592X

ISBN 13: 978-0131925922

Author: Chris Clack, Colin Myers,  Ellen Poon

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

1 Operators, Identifiers and Types

1.1 A Miranda session

1.2 Identifiers

1.3 Types

1.4 Tuples

1.5 Properties of operators

1.6 Programs, layout and comments

1.7 Summary

2 Functions

2.1 Simple functions

2.2 Functions as values

2.3 Function parameters and results

2.4 Polymorphic functions

2.5 Pattern matching

2.6 Type information

2.7 Simple recursive functions

2.8 Who needs assignment?

2.9 Error messages

2.10 Programming with functions

2.11 Summary

3 Lists

3.1 The list aggregate type

3.2 Built-in operations on lists

3.3 Lists and other aggregate types

3.4 Simple functions using lists

3.5 Recursive functions using lists

3.6 Polymorphic recursive functions on lists

3.7 Thinking about lists

3.8 Modes of recursion

3.9 Extended example-grep

3.10 Summary

4 Curried and Higher Order Functions

4.1 Currying

4.2 Simple higher order functions

4.3 Higher order functions on lists

4.4 Program design with higher order functions

4.5 Summary

5 Environments and Evaluation

5.1 Environments

5.2 Block structure: where expressions

5.3 List comprehensions

5.4 Lazy evaluation

5.5 Summary

6 User-defined Types

6.1 The need for new types

6.2 Algebraic types

6.3 Constructors and functions

6.4 Recursive algebraic types

6.5 Placeholder types

6.6 Summary

7 Abstract Types

7.1 Simple abstract type definition and usage

7.2 Showing abstract types

7.3 Further examples of abstract types

7.4 Guidelines for abstract type primitive selection

7.5 Summary

8 Files and Interaction

8.1 Introduction

8.2 File input

8.3 Input and referential transparency

8.4 File output

8.5 Special streams

8.6 Interaction

8.7 Advanced features

8.8 Summary

9 Programming in the Large

9.1 The %include directive

9.2 The %export directive

9.3 The %free directive

9.4 Reusable software grep revisited

9.5 Summary

A The Initial Miranda Environment

A.1 Identifiers

A.2 Reserved and predefined names

A.3 Functions as operators

Solutions to Exercises

Solutions to Chapter 2

Solutions to Chapter 3

Solutions to Chapter 4

Solutions to Chapter 5

Solutions to Chapter 6

Solutions to Chapter 7

Solutions to Chapter 8

Bibliography

Annotated bibliography

References

Index

Index

People also search for:

programming with miranda
    
miranda programming language tutorial
    
miranda 3×05
    
y miranda
    
z programming language

Tags: Chris Clack, Colin Myers, Ellen Poon