برنامه‌نویسی تابعی

Contents......Page 3 1. 1 Functional Languages......Page 7 1. 2 The Gofer- interpreter......Page 8 1.3 Standard functions......Page 11 1. 4 Function definitions......Page 15 1. 5 Typing......Page 20 Exercises......Page 24 2. 1 Operators......Page 27 2. 2 Currying......Page 29 2. 3 Functions as a parameter......Page 31 2. 4 Numerical functions......Page 34 Exercises......Page 40 3. 1 Lists......Page 43 3. 2 Special lists......Page 51 3. 3 Tuples......Page 58 3. 4 Trees......Page 63 Exercises......Page 69 4. 1 Combinatorial Functions......Page 73 4. 2 Matrix calculus......Page 77 4. 3 Polynomials......Page 85 Exercises......Page 89 5. 1 Efficiency......Page 91 5. 2 Laws......Page 98 Exercises......Page 116 A. 1 Complex numbers......Page 119 A. 2 Texts......Page 121 A. 3 Formula manipulation......Page 123 A. 4 Predicate logic......Page 125 A. 5 The class ‘Set’......Page 128 B - ISO/ ASCII table......Page 130 Options......Page 131 Files......Page 132 D - Gofer standard functions......Page 133 E - Literature......Page 138 F - Answers......Page 145 Contents 3 Functional Programming 7 1. 1 Functional Languages 7 1. 2 The Gofer- interpreter 8 1.3 Standard functions 11 1. 4 Function definitions 15 1. 5 Typing 20 Exercises 24 Numbers and functions 27 2. 1 Operators 27 2. 2 Currying 29 2. 3 Functions as a parameter 31 2. 4 Numerical functions 34 Exercises 40 Data structures 43 3. 1 Lists 43 3. 2 Special lists 51 3. 3 Tuples 58 3. 4 Trees 63 Exercises 69 List Algorithms 73 4. 1 Combinatorial Functions 73 4. 2 Matrix calculus 77 4. 3 Polynomials 85 Exercises 89 Code transformation 91 5. 1 Efficiency 91 5. 2 Laws 98 Exercises 116 A - Exercises 119 A. 1 Complex numbers 119 A. 2 Texts 121 A. 3 Formula manipulation 123 A. 4 Predicate logic 125 A. 5 The class ‘Set’ 128 B - ISO/ ASCII table 130 C - Gofer manual page 131 Synopsis 131 File parameters 131 Options 131 Commands 132 Compiler 132 Environment variables 132 Files 132 D - Gofer standard functions 133 E - Literature 138 F - Answers 145