Skip to main content

Static Type ↔ Type def at Compile Time

References​

  1. Nominal Type System ↔ Static Type equivalance by same "name" Identifier

  2. Structural Type System ↔ Static Type equivalence by same structure (where constituent "name" & type both match)

  3. Type Assertion ↔ TS Syntax to override TSC's Type Inference for Static Type of specific Value

  4. C# ↔ Static Typed GP Modern-C-like OOP Language for .NET & Unity