當編譯器解析一個文件，遇到一個變量類型，一個參數類型或者一個返回類型，它會執行搜索它的定義，以如下的順序優先級： * 類型參數如類參數或者 enum 參數。這不是一個好的實踐來定義一個類型參數使用和一個現存類型相同的名字，但是它可能偶然發生在一個外部的庫被導入時。 * 如 Float 或者 String 等類型，因為它們是 StdTypes 模塊中包含的，默認被導入，并包含標準類型的定義。 * 在當前文件聲明的類型。 * 在導入文件中聲明的類型。 * 嘗試加載一個文件匹配類型名稱并查找它。