AQA 7517 4.12.1.1: Function type
The free BugBot lessons that teach this point, a robot to try it on, and the past-paper questions that test it.
Lessons that teach it
- A13.2 Function types and function application Functional programming
Functions as mappings, function type f: A to B, domain and co-domain, and function application with arguments from a Cartesian product. - A13.8 Project: the way out Functional programming
Sweep the bay, decide with a pipeline of pure functions built by composition, map, filter and fold, then drive out.
Try it on a robot
The task from A13.2 Function types and function application, running here. Change the program and press Run.
The specification is AQA's own document; this page says which of our lessons teach point 4.12.1.1 and is not endorsed by the board.