強類型、弱類型、靜態語言、動態語言的區別？

弱類型：

"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意思是陷阱，也被稱爲異常或故障。