從頭開始建構一個 Typechecker

Contents

型別( Type )檢查和推理的要點

從這 2.5 小時的課程，你會學到

型別系統
型別理論和類型判斷
靜態與動態 TC
強型別與弱型別
型別檢查 | 型別推斷
類型安全和記憶體安全
Typechecker (型別檢查器)實現的實踐方法
為完整的程式語言建構靜態型別檢查器( static typechecker )
型別聲明
泛型函數的型別化
鍵入功能和 OOP 程式設計

要求

課程說明

課程大綱

無型別程式設計( untyped programs )通常容易出錯、運行時異常，並且會使 debug 變得更加困難。這就是為什麼許多程式語言都實現了靜態型別檢查器( static typechecker ) —— 一個額外的模組，旨在提高程式的安全性並簡化開發。

型別檢查( type checking )或型別推斷( type inference )？什麼是型別理論和類型判斷？我用的語言是弱型別還是強類型？我實際上將如何實現 typechecker？

在實施這個模組時會有很多問題。如果你在實施你的程式語言時一直在問這些問題，或者只是想了解 typeckechers 在後台是如何工作的，那麼本課程適合你。

通常關於型別理論和型別判斷的相關書籍都將型別視為數學集合的理論方面，而不是解釋如何實際建構實用的 typechecker。我相信我們應該能夠在 2-4 小時內建構和理解一個完整的程式語言的 typechecker，端到端，內容清楚明暸，如結隊編寫程式的樣子即時在你面前編寫程式，並以一種可以理解的方式說明。

在本課程中，我們特別關注靜態型別檢查器，並建構一個類似於 TypeScript、Java 等的工具。我們稍微接觸了型別理論，並且從第一堂課開始就進入了實際實現。

實現型別檢查器還會提高你的工程水準，因為它涉及資料結構和演算法多個方面。

實施中採用了哪些技術？

有時人們認為，要建構一個 typechecker，你當然需要使用一些本身“與型別和型別理論非常相關”的程式語言（例如其他函數式程式語言的 OCaml）。但實際上沒有！你可以用純 JavaScript 建構一個完全可運作的 typechecker，並涵蓋型別系統的所有方面。這正是我們用於實現的。

JavaScript 作為最流行的程式語言，對許多工程師應該沒問題，而且我們的目標是提供一個簡單而簡潔的實現，而不是專注於特定宿主語言的細節。因此，程式碼應該可以移植到你喜歡的和選擇的任何語言：TypeScript、Rust、OCaml、C++、Python 等。

注意：我們希望我們的學生自己真正遵循、理解和實施 Typechecker 的每個細節，而不是僅僅從最終解決方案中複製貼上。儘管視訊講座中提供了 typechecker 的完整源始碼，但該專案的程式碼貯儲庫( repository )包含 <em>/*在此實施 */<em> 作業，學生必須實做解決。

這門課有什麼特別之處？

這些講座的主要特點是：

簡明扼要。每個講座都是自給自足的，簡潔的，並描述與主題直接相關的資訊，而不是分散在不相關的材料或談話上。

動畫演示與實時編輯筆記相結合。這使得對主題的理解更容易，並顯示物件結構是如何連接。靜態簡報根本不適用於複雜的內容。

從一頭到另一頭的實際寫程式時段。完整的源始碼，從頭開始，直到最後都在視訊講座中呈現

課程內有什麼？