什么是强类型语言、弱类型语言、动态语言、静态语言？

强类型语言和弱类型语言是指变量类型检查的严格程度，动态语言和静态语言是指变量类型检查的时机。

强类型语言指变量类型检查非常严格，不同类型之间的转换必须显式地进行或者进行强制类型转换。弱类型语言则相对宽松，变量类型可以进行隐式转换或者自动转换。

动态语言指变量类型检查是在运行时进行的，而静态语言指变量类型检查是在编译时进行的。在动态语言中，变量类型可以在运行时被改变，而在静态语言中，变量类型在编译时就已经确定，无法改变。

举例来说，Python 和 Ruby 是弱类型动态语言；Java 和 C# 是强类型静态语言；JavaScript 和 TypeScript 是弱类型动态语言，但 TypeScript 通过类型注解提供了静态类型检查的能力。