強類型，弱類型，靜態類型，動態類型的區別

相關術語： Program Errors trapped errors。導致程序終止執行，如除0，Java中數組越界訪問 untrapped errors。 出錯後繼續執行，但可能出現任意行爲。如C裏的緩衝區溢出、Jump到錯誤地址 Forbidden Behaviours 語言設計時，可以定義一組forbidden behaviors. 它必須包括所有untrapped errors, 但可能包

>>阅读原文<<