Before writing code, you define the "grammar" of a language using BNF (Backus-Naur Form). You will learn to think in terms of rather than text strings.
### inferType
While 15-312 is highly theoretical, its practical implications are vast. 15312 foundations of programming languages