| Low-Level Functional Programming lowlevel |
| WhatÕs ÒLow-LevelÓ About This? |
| Fundamental List Dichotomy |
| List Decomposition Notation |
| List Decomposition Example |
| List Decomposition Clarified |
| Defining Functions by Rules |
| Example |
| Computation by ÒRewritingÓ |
| Extended Notation for Greater Readability |
| A Way of Remembering |
| Alternate |
| Example |
| Alternate |
| Rule Matching |
| Rule Matching |
| Second Alternate (less desirable) |
| Matching with Two or More List Arguments |
| Example: List Equalty First Rule |
| List Equalty: Second Rule |
| List Equalty: Third Rule |
| Summary of Equality Rules |
| Example of List Equality |
| Mixed Functional Programming Examples |
| Convert Number to Binary |
| Convert Number to Binary |
| Convert Number to Binary |
| Accumulators and Tail Recursion |
| Accumulators and Tail Recursion |
| Notes: |
| Exercise |
| An Approach |
| Exercise |
| Exercises |
| Essential Non-Tail Recursions |
| append Elimination |