⑴ 動態核對資料型態會使我們撰寫的程式執行起來更有效率。
錯誤
理由：動態核對資料型態（dynamic type checking）是在程式執行時期進行的，這會增加運行時的開銷，因為每次賦值操作都需要檢查資料型態是否匹配。相比之下，靜態核對資料型態（static type checking）是在編譯時期進行的，這意味著所有的型態檢查在編譯時已經完成，避免了執行時期的檢查開銷，通常會使程式執行得更高效。
⑵ 靜態核對資料型態在程式執行之前完成。
正確
理由：靜態型態檢查是在編譯時期進行的，這意味著在程式執行之前，編譯器會檢查所有變數的型態是否匹配，確保程式的型態安全性。這樣可以在程式執行之前捕獲型態錯誤，避免執行時期的型態錯誤。
⑶ 靜態核對資料型態的語言比動態核對資料型態的語言更易於偵錯。
正確
理由：靜態型態檢查可以在編譯時期捕捉到型態錯誤，這使得開發者可以在程式執行之前發現並修正這些錯誤。這樣可以減少執行時期的錯誤，通常更易於偵錯。動態型態檢查是在程式執行時期進行的，因此型態錯誤可能會在程式執行過程中才顯現出來，這可能使得偵錯更加困難。
⑷ 動態核對資料型態可避免程式在執行時發生型態錯誤。
錯誤
理由：動態型態檢查並不能避免型態錯誤，它只是將型態檢查延遲到執行時期進行。當發生型態錯誤時，程式會在執行過程中拋出錯誤或異常。動態型態檢查可以在程式執行過程中捕獲這些錯誤，但並不能預防它們的發生。
⑸ 動態核對資料型態的程式語言較能靈活地處理不同型態的資料。
正確
理由：動態型態檢查的程式語言通常允許更靈活的型態操作，例如在 Python 或 JavaScript 中，變數的型態可以在程式執行過程中改變。這種靈活性使得開發者可以更加靈活地處理不同型態的資料，適應性更強。然而，這種靈活性也可能增加程式錯誤的風險，因為型態錯誤在編譯時期不會被發現。
總結
⑴ 錯誤 - 動態核對資料型態增加了執行時的開銷。
⑵ 正確 - 靜態核對資料型態在程式執行之前完成。
⑶ 正確 - 靜態核對資料型態使得程式更易於偵錯。
⑷ 錯誤 - 動態核對資料型態不能避免型態錯誤，只是延遲檢查。
⑸ 正確 - 動態核對資料型態的程式語言通常更靈活地處理不同型態的資料。
阿摩線上測驗
登入