上門編程教學課程內容
課程簡介
本課程專為希望快速理解 ML（Meta Language） 編程語言架構及函數式程式設計思維的學員設計。
ML 是一種早期的 強型別函數式語言，以模式匹配（Pattern Matching）、遞迴（Recursion）與型別推導（Type Inference）著稱，對現代語言（如 Haskell、OCaml、F#）影響深遠，廣泛應用於 語言設計理論、編譯器開發與形式驗證 領域。
課程將用三小時帶領學員從理論概念出發，結合理解與實作，逐步掌握 ML 語法基礎、資料結構與函數範式設計方式。學員將能撰寫簡單的遞迴程式與模式匹配邏輯，理解 ML 與現代函數式語言的關係。
適合對象：
學習成果：
-
理解 ML 語言的核心設計理念與功能結構
-
掌握基本語法、函數定義與遞迴寫法
-
能使用模式匹配與型別推導撰寫清晰函數
-
熟悉清單（List）與資料結構的實際應用
-
建立進一步學習 OCaml 或 F# 的知識基礎
課程時長
3 小時（180 分鐘）
理論與實作比例：約 4 : 6
課程大綱
第一部份：ML 語言概觀與開發環境（30 分鐘）
-
ML 語言起源與發展簡介（Standard ML、OCaml、F# 的淵源）
-
函數式程式設計的核心理念：不可變變數與表達式導向
-
安裝與使用 ML REPL（SML/NJ 或 OCaml Top-Level）
-
實作：撰寫並執行第一個 ML 程式 print("Hello, ML");
-
基本語句與錯誤訊息理解
第二部份：語法結構與資料型別（40 分鐘）
第三部份：函數定義、遞迴與模式匹配（40 分鐘）
第四部份：型別系統與高階函數應用（40 分鐘）
第五部份：延伸與實務應用方向（30 分鐘）
