Everything About ___
Live briefing

Everything about Structural type system

Class of type systems

A structural type system is a major class of type systems in which type compatibility and equivalence are determined by the type's actual structure or definition and not by other characteristics such as its name or place of declaration. Structural systems are used to determine if types are equivalent and whether a type is a subtype of another. It contrasts with nominative systems, where comparisons are based on the names of the types or explicit declarations, and duck typing, in which only the part of the structure accessed at runtime is checked for compatibility. Wikipedia →

🧭 Start here: a 6-step reading path

  1. Read the overview: Structural type systemA 5-minute orientation
  2. Skim a recent paper: Structural basis for the activity of the type VII CRISPR–Cas systemInfluential work since 2022
  3. Pick up a classic book: Abstract Compositional Analysis of Iterated RelationsThe most-reprinted book on the subject
  4. Read the landmark paper: Structural characterization of the molecular platform for type III secretion system assemblyCited 168 times
  5. Go sideways: OCamlA closely related topic
  6. Go sideways: Row polymorphismA closely related topic

📖 Definitions

No dictionary entry for this exact phrase.

🗂️ The subject at a glance

  1. Description
  2. Example

🏆 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