Everything About ___
Live briefing

Everything about Type safety

Extent to which a programming language discourages type errors

In computer science, type safety is the extent to which a programming language discourages or prevents type errors. Type-safe languages are sometimes also called strongly or strictly typed. The behaviors classified as type errors by a given programming language are usually those that result from attempts to perform operations on values that are not of the appropriate data type, e.g. trying to add a string to an integer. Wikipedia →

🧭 Start here: a 6-step reading path

  1. Read the overview: Type safetyA 5-minute orientation
  2. Skim a recent paper: Efficacy and Safety of Tirzepatide in Type 2 Diabetes and Obesity ManagementInfluential work since 2022
  3. Pick up a classic book: AirframeThe most-reprinted book on the subject
  4. Read the landmark paper: Safety planning-type interventions for suicide prevention: meta-analysisCited 266 times
  5. Go sideways: Modula-3A closely related topic
  6. Go sideways: Comparison of C Sharp and JavaA closely related topic

📖 Definitions

Noun The extent to which a programming language is type-safe.

🗂️ The subject at a glance

  1. Definitions
  2. Relation to other forms of safety
  3. Type-safe and type-unsafe languages
  4. Strong and weak typing
  5. Memory management and type safety
  6. Type safety in object oriented languages
  7. Type safety issues in specific languages
  8. C++ examples

🏆 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