type_systems

dz / types / type_systems

Summary

type systems, as curated by wikipedia

Subgraphs

• general
• major
• minor

Node Tree

• general
• major
  • duck_typing
  • manifest_vs_inferred
  • nominal_vs_structural
  • static_vs_dynamic
• minor
  • abstract
  • dependent
  • flow_sensitive
  • gradual
  • intersection
  • latent
  • refinement
  • session
  • substructural
  • unique
• wikipedia

Nodes

wikipedia
hyperlink	https://en.wikipedia.org/wiki/Type_system
location	knowledge/type_systems.dz:30

general
content	General Concepts
location	knowledge/type_systems.dz:34

major
content	Major Categories
children	major/manifest_vs_inferred, major/duck_typing, major/nominal_vs_structural, major/static_vs_dynamic
location	knowledge/type_systems.dz:48

minor
content	Minor Categories
children	minor/intersection, minor/dependent, minor/refinement, minor/session, minor/flow_sensitive, minor/latent, minor/substructural, minor/abstract, minor/unique, minor/gradual
location	knowledge/type_systems.dz:81