型別提示

型別提示或型別宣告是一種防禦性程式設計實踐，可確保函式的引數具有指定型別。這在為介面型別提示時特別有用，因為它允許函式保證提供的引數將具有介面中所需的相同方法。

將錯誤的型別傳遞給型別提示函式將導致致命錯誤：

致命錯誤：未捕獲的 TypeError： 傳遞給 foo() 的引數 X 必須是 RequiredType 型別，給定的是 ProvideType **** **** ****