Everything About ___
Live briefing

Everything about Type system

Computer science concept

A programming language consists of a system of allowed sequences of symbols (constructs) together with rules that define how each construct is interpreted. For example, a language might allow expressions representing various types of data, expressions that provide structuring rules for data, expressions representing various operations on data, and constructs that provide sequencing rules for the order in which to perform operations. Wikipedia →

🧭 Start here: a 6-step reading path

  1. Read the overview: Type systemA 5-minute orientation
  2. Skim a recent paper: Comparative effectiveness of GLP-1 receptor agonists on glycaemic control, body weight, and lipid profile for type 2 diabetes: systematic review and network meta-analysisInfluential work since 2022
  3. Pick up a classic book: Brave New WorldThe most-reprinted book on the subject
  4. Read the landmark paper: Novel Type of Phase Transition in a System of Self-Driven ParticlesCited 6,663 times
  5. Go sideways: Type conversionA closely related topic
  6. Go sideways: Undefined behaviorA closely related topic

📖 Definitions

Noun A way programming language classifies values and expressions into types (data types), how it can manipulate those types, and how they interact.

🗂️ The subject at a glance

  1. Usage overview
  2. Fundamentals
  3. Type checking
  4. Polymorphism and types
  5. Specialized type systems
  6. Explicit or implicit declaration and inference
  7. Decision problems
  8. Unified type system
  9. Compatibility: equivalence and subtyping

🏆 Landmark papers (most cited)

🆕 Influential since 2022

📚 Books worth reading

Ranked by number of editions on Open Library, a rough measure of how lasting a book is.

🔗 Related topics