Appendix
The only prerequisite assumed is the ability to program. In SITP we use
- Python: because its syntactic similarity with natural language making it the lingua franca of ML
- Rust: because of the similarity in semantics of typed functional programming with mathematics
If you are unfamiliar with either of these languages, the following is a quick overview of a functional subset of their syntax.