Appendix

The only prerequisite assumed is the ability to program. In SITP we use

  1. Python: because its syntactic similarity with natural language making it the lingua franca of ML
  2. 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.

Python

Rust