Type Theory

Go significantly limits the amount of meta-programming available, which simplifies code but comes at a small performance cost.

Classes of types

• Fundamental/builtin
• Structured memory (string, array)
• abstract (interfaces, functions?)
• containers (array, hash maps)
• unions

Generics

• Generic computation
• Generic containers