强类型、弱类型、静态语言、动态语言的区别？

弱类型：

"1"+2
'12'

强类型：

"1"+2
会报错

静态类型：

public void ShowHi()
{
    int a = "Hi!"
    string b = a; 
}

以上是c#的代码，静态类型语言在编译时遇到trap错误就会当即提醒。

动态类型：

def ShowHi():
    a = 'Hi!' - 1

ShowHi()

以上为python代码，而动态语言在执行时遇到trap错误才会提醒。

备注：trap意思是陷阱，也被称为异常或故障。