Computer programming
Type theory
Subroutines
Primitive types
C++
Type system
Pattern matching
Printf format string
Main function
Software engineering
Computing
Data types