Kiểu động là kiểu được kiểm tra vào lúc chạy. Kiểu tĩnh là kiểu được kiểm tra lúc biên dịch (trước lúc chạy)

strongweakstaticdynamic_type

  • Strongly typed - types cannot be used interchangeably
  • Weakly typed - types can be used interchangeably
  • Dynamically typed - types are checked at run time
  • Statically typed - types are checked at compile time

Compile time là lúc chuyển từ ngôn ngữ lập trình mà người hiểu sang ngôn ngữ máy chỉ có máy mới hiểu. Runtime là lúc máy chạy mã máy

Nguồn:: Strong, Weak, Dynamic, and Static Typed Programming Languages Explained

Lý do:: JavaScript vốn được sinh ra để chạy trên trình duyệt và không được dùng để làm việc với lượng code lớn, còn Python tập trung vào việc cung cấp một ngôn ngữ lập trình tổng quát, dễ đọc và dễ viết

TypeScript cung cấp kiểu cho JavaScript