FUNCTIONAL PROGRAMMING

By G. JOUNN

CONTENTS FUNCTIONAL PROGRAMMING FUNCTIONAL LANGUAGES FUNCTIONS LANGUAGES THE GOFER-INTERPRETER EVALUATING EXPRESSIONS DE?NING FUNCTIONS INTERNAL COMMANDS STANDARD FUNCTIONS PRIMITIVE/PREDE?NED NAMES OF FUNCTIONS AND OPERATORS FUNCTIONS ON NUMBERS BOOLEAN FUNCTIONS FUNCTIONS ON LISTS FUNCTIONS ON FUNCTIONS FUNCTION DE?NITIONS DE?NITION BY COMBINATION DE?NITION BY CASE DISTINCTION DE?NITION BY PATTERN MATCHING DE?NITION BY RECURSION OR INDUCTION LAYOUT AND COMMENTS TYPING KINDS OF ERRORS PROTOTYPING OF EXPRESSIONS POLYMORPHISM FUNCTIONS WITH MORE PARAMETERS OVERLOADING EXERCISES NUMBERS AND FUNCTIONS OPERATORS OPERATORS AS FUNCTIONS AND VICE VERSA PRIORITIES ASSOCIATION DE?NITION OF OPERATORS CURRYING PARTIAL PARAMETRIZATION PARENTHESES OPERATOR SECTIONS FUNCTIONS AS A PARAMETER ITERATION COMPOSITION THE LAMBDA NOTATION NUMERICAL FUNCTIONS CALCULATION WITH WHOLE INTEGERS NUMERICAL DI?ERENTIATING HOME-MADE SQUARE ROOT ZERO OF A FUNCTION INVERSE OF A FUNCTION DATA STRUCTURES LISTS STRUCTURE OF A LIST HIGHER ORDER FUNCTIONS ON LISTS SORTING LISTS SPECIAL LISTS STRINGS CHARACTERS FUNCTIONS ON CHARACTERS AND STRINGS IN?NITE LISTS LAZY EVALUATION FUNCTIONS ON IN?NITE LISTS LIST COMPREHENSIONS TUPLES USE OF TUPLES TYPE DE?NITIONS RATIONAL NUMBERS TUPLES AND LISTS TUPLES AND CURRYING TREES DATATYPE DE?NITIONS SEARCH TREES SPECIAL USES OF DATA DE?NITIONS LIST ALGORITHMS COMBINATORIAL FUNCTIONS SEGMENTS AND SUBLISTS PERMUTATIONS AND COMBINATIONS THE @-NOTATION MATRIX CALCULUS VECTORS AND MATRICES ELEMENTARY OPERATIONS DETERMINANT AND INVERSE POLYNOMIALS REPRESENTATION SIMPLI?CATION ARITHMETIC OPERATIONS CODE TRANSFORMATION E?CIENCY TIME COMPLEXITY ANALYSIS IMPROVING E?CIENCY MEMORY USAGE LAWS MATHEMATICAL LAWS GOFER LAWS PROVING LAWS INDUCTIVE PROOFS PROPERTIES OF FUNCTIONS PROOFS OF MATHEMATICAL LAWS