Skip to main content

Static Type System ↔ system to Type-Check Type of Variable (known & expected) at Compile Time

aka Statically-Typed, Static-Typed, Static-Types

_statically check_​

(process) to check Code w/o run

Static Type​

Type def at Compile Time

Use wallaby | quokka to "statically" see results within IDE inline - for less complex projects, as it's a nightmare to setup

Static Type Systems describe the shapes and behaviors of what our values will be when we run our programs.

Type-Check​

(process) to check Variable assigned expected Types (usually done statically during Compile Time)

Non-exception Failures​

Unexpected behavior which doesn't throw Exception (in default JavaScript)

References​

  1. TS ↔ Superset of JS + Static Type System layer

  2. GraphQL ↔ Query Language with Type Sys/Schema to fetch/mutate (graph-like) data on Backend API/Online API. To fix Overfetch/Underfetch. X-lang