type-systems

#cs/paradigms#programming

Type Systems

  • Static typing: checked at compile time (TypeScript, Rust, Java)
  • Dynamic typing: checked at runtime (Python, JS, Ruby)
  • Strong typing: no implicit coercions (Python, Haskell)
  • Weak typing: implicit coercions (JavaScript, C)

See TypeScript · Haskell · Python · CS Concepts Hub.