Skip to main content

Type ↔ shape & behaviour of data to rep set of values

Base Type

Compound Type​

Combo Type of 2+ Basic Types via & or | Type Operator

Type Assignment​

code to assign Type to Variable/Parameter using :

Type Annotation​

TS Syntax to annotate Variables with Types

Type Expression​

TS Syntax evalue to Type, after : || inside Angle Bracket Notation

References​

  1. Overload Signature ↔ Function Signature with Type annotations but w/o implementation

  2. number ↔ Primitive Value to rep FP64 numeric data Type

  3. any ↔ (default) untyped anonymous Type, can be literally anything

  4. Stub ↔ line of code (for function), indexed by __line number & VariableType

  5. Polymorphic ↔ Code call with different Type & gets Stub for each combo

  6. Monomorphic ↔ Code always call with same Type, gets one Stub

  7. Monitor ↔ JS Optimization Compiler component to analyse warm/hot Code & Type

  8. Dynamically-Typed ↔ of Variable not fixed to one Type at Declaration, can be reassigned, only become known at Runtime

  9. Strongly-Typed ↔ of Programming Language to req Type assign for Variable Declaration

  10. typeof ↔ JS Operator return string of Operand Type

  11. Type Annotation ↔ TS Syntax to annotate Variables with Types

  12. Top Type ↔ universal (super-) Type assignable to any Variable

  13. void ↔ Type to rep no return value from function

  14. Property Modifier ↔ TS Syntax to specify property's Type, if optional? & if writable?

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

  16. Type-Check ↔ (process) to check Variable assigned expected Types (usually done statically during Compile Time)

  17. Object ↔ any non-Primitive Variable Type rep a collection of properties. Pass by reference

  18. --strictFunctionTypes ↔ to flag TSC to enforce stronger checks for function Types

  19. Type Inference ↔ (feature) TSC to auto-derive implicit Type for Variable (w/o explicit Type Annotation)

  20. Alias ↔ custom Type to store & reuse Type Annotation & improve Readability

  21. List ↔ Array with sequence of same Type elements & variable length

  22. Tuple ↔ Array with fixed length & fixed element Type

  23. Typed [Rest Parameter](rest-parameter) ↔ TS Syntax for Rest Parameter which must always be of Type Array

  24. Union Type ↔ Compound Type join by | Type Operator to define each member of Type set can EITHER be

  25. Record ↔ Object with fixed number of known named properties& any Type before Compile Time

  26. interface ↔ Type to define Object shape & behavior blueprint

  27. Generic Type ↔ factory for Types, defined using Angle Bracket Notation, to annotate with Generic Type Placeholder for TSC to infer & fill in

  28. === ↔ strict Equality Operator return boolean if both Operand of same Type

  29. !== ↔ strict INEquality Operator return boolean if both Operand NOT of same Type

  30. Type Expression ↔ TS Syntax evalue to Type, after : || inside Angle Bracket Notation

  31. --noImplicitAny ↔ to flag TSC to prevent Type Inference for any - enforce explicit Type for Parameter, Exception, etc

  32. bottom type ↔ empty Type set to match nothing but itself; never

  33. Static Type ↔ Type def at Compile Time

  34. Generics ↔ generic (algebraic) placeholder to work with any variety of Types, but allow Type Inference to catch specific Type

  35. Generic Type Variable ↔ special Variable that works on Types instead of Values

  36. Type Assignment ↔ code to assign Type to Variable/Parameter using :

  37. Numeric Literal Type ↔ fixed set of specific values for number as Type

  38. Compound Type ↔ Combo Type of 2+ Basic Types via & or | Type Operator

  39. Type Operator ↔ TS Syntax for built-in operation on Types

  40. Type Guard ↔ Runtime Type-Check to Narrow Type of Variable

  41. function type inference ↔ TSC only infers Type of return values, ignores Type of param args

  42. TypeError ↔ Exception when can not perform operation due to unexpected Type

  43. ReactComponentElement ↔ Type for React CC or FC

  44. ReactDOMElement ↔ Type for react VDOM rep of element

  45. as ↔ Type Assertion Type Operator to Assert Variable as Type

  46. Typed Object ↔ Type to ref any non-Primitive; as Record or Dictionary

  47. Function Type ↔ Type to annotate Methods & Callback Function with implicit return of any

  48. Symbolic number ↔ additional number Type incl

  49. enum ↔ Enumerated set of named constants Type. default numbered. optional string member assign via =

  50. Intersection Type ↔ Compound Type to merge via & Type Operator to express Type as being ALL of Type set

  51. Mapped Type ↔ Type to transform existing type in specific way

  52. map ↔ iterable Object key:value pair struct with arbitrary key Type

  53. Coercion ↔ (mechanism) to Implicit auto convert Type of Primitive Operand by JS Compiler

  54. Discriminant ↔ Common Type in Union Type with different values

  55. --noImplicitThis ↔ to flag TSC to throw error when Type of this keyword unclear