Ben - planning
Priorities
Looking at the TOC, the parts after Part V which I'd definitely be willing to skip over are:
- Part IX: Dynamic Types
- Part XI: Dynamic Dispatch
- Part XV: Parallelism
- Part XVII: Modularity
That leaves:
- Part VI: Infinite Data Types
- Part VII: Variable Types
- Part VIII: Partiality and Recursive Types
- Part X: Subtyping
- Part XII: Control Flow
- Part XIII: Symbolic Data
- Part XIV: Mutable State
- Part XVI: Concurrency and Distribution
- Part XVIII: Equational Reasoning
Of those, the ones I'd let go first, if necessary, are:
- Part X: Subtyping
- Part XIII: Symbolic Data
- Part XIV: Mutable State
- Part XVI: Concurrency and Distribution