Kotlin 就像是新一代的超酷程式語言，它設計得非常「人性化」。想像你在寫一個超長的清單或指示，舊的語言會要求你先寫「這是什麼類型」（例如：數字、文字），然後才能寫名字。但 Kotlin 很聰明，它讓你可以先寫名字，它會自己猜出類型，讓清單看起來更順眼。這種「類型後置」的寫法讓程式碼閱讀起來更像自然的語句。更棒的是，Kotlin 會盡量讓你的資料保持不變（使用 VAL 關鍵字），就像你寫在筆記上的重要資訊，沒有特別說明就不能隨意更改，這樣就不容易在程式執行的過程中出錯或被別人偷偷改掉。許多老語言（如 Java）雖然有類似功能，但使用起來麻煩，導致大家都不用。Kotlin 則將其設為預設，大大提升了程式碼的安全性和可讀性。此外，Kotlin 還在一些細節上做了調整，比如寫程式時不用一直加分號，也不用寫一堆重複的程式碼（稱為機械代碼），讓寫程式就像玩樂高一樣簡單、快速又整齊。這是因為 Kotlin 的設計者專注於提升開發者的生產力，讓開發者寫得開心，效率自然就高。
---
Kotlin 等 2000 年後的新生代程式語言（如 Rust, TypeScript, Swift）具備共同特點，即採用類型後置和類型推斷機制，使得變數名稱先於類型出現，讓程式碼閱讀起來更流暢、更符合自然語言習慣。這與 C 語言傳承下來的類型前置慣例形成了鮮明對比，類型前置被認為是不符合直覺的設計。
影片深入探討了 Kotlin 如何透過設計上的務實主義，顯著提升了開發者的生產力與程式碼的「顏值」（可讀性與簡潔性）。其中一個關鍵點是其對不變性（Immutability）的強制推動。研究顯示，變數在中期生命中很少改變其值，因此保持不變性有助於減少副作用、簡化多執行緒處理，並提高程式碼可讀性。Kotlin 透過使用 `VAL`（不可變）和 `VAR`（可變）這兩個簡單的關鍵字進行區分，並將 `VAL` 設為預設且語法最短的選項。統計數據顯示，這項語言層面的改變，使得團隊在 Kotlin 專案中的不可變變數使用率從 Java 專案的 2.9% 暴增至 86.3%。
此外，Kotlin 的設計哲學是務實地優化高頻使用場景，適度犧牲低頻場景的完整性。例如，主建構函式（Primary Constructor）的設計，能夠在定義類別的同時，打包屬性定義、初始化、私有覆蓋等功能，極大程度地減少了傳統 Java 或 C# 中定義資料類別所需的機械代碼。在語法細節上，Kotlin 移除每行必帶的分號、支援尾部逗號、移除 Null 關鍵字（內建空值安全處理）、並拋棄了容易造成困擾的受檢異常。同時，它透過運算符重載、擴展方法和改良的 Lambda 語法（如 Trailing Lambda），使得函式調用和表達式更接近自然語言習慣或數學公式，進一步提升了程式碼的流暢度與美觀。
---
觀點 Viewpoints
1. 類型後置與推斷提升閱讀流暢性：現代語言將變數名稱放在類型之前（類型後置），讓讀者能先猜測變數用途，搭配編譯器類型推斷機制，使程式碼語法保持一致性，提高閱讀效率。
2. 語言設計強力推動不變性：Kotlin 透過 `VAL` 和 `VAR` 區分可變性，並將不可變的 `VAL` 設為首選，這極大地提高了專案中不可變變數的使用率，有效減少副作用並提高多執行緒安全性。
3. 務實優化高頻場景犧牲低頻完整性：Kotlin 不追求每個場景都達到完美的語法結構，而是選擇極度優化如主建構函式這類高頻使用情境，大幅減少了類別定義所需的機械代碼（Boilerplate Code）。
4. 移除舊語言的設計負擔：Kotlin 簡化了許多傳統語言的痛點，如拿掉每行末尾的分號、移除容易導致錯誤的 NULL 關鍵字（以空安全取而代之），並拋棄了受檢異常機制。
5. 語法糖更貼近自然語言：透過運算符重載、擴展方法以及優化的 Lambda 表達式（如將 Lambda 放在括號外），Kotlin 使函式調用和表達式更符合自然語言或數學公式的習慣，讓程式碼更具可讀性。
---
摘要 Abstract
✅ Kotlin等新語言採用類型後置和類型推斷，改善了程式碼的閱讀流暢性與一致性。
⚠️ 傳統C語言傳承下來的類型前置慣例，被認為是不符合直覺的設計。
📌 Kotlin使用VAL和VAR來區分變數是否可變，並以不可變(VAL)為預設，大幅提高不變性使用率（可達86.3%）。
✅ 主建構函式允許在定義類的同時打包屬性定義和初始化，極度優化了高頻使用的類別結構。
📌 Kotlin實用主義地移除了每行必帶的分號、NU關鍵字，並拋棄了受檢異常。
✅ 透過運算符重載和擴展方法，Kotlin讓程式碼結構更符合自然語言和數學公式的習慣。
⚠️ 在Java專案中，使用Final關鍵字（用於不可變性）的比例極低，反映了語法負擔帶來的開發阻力。
📌 許多語言設計都是先設計教科書般結構，再用語法糖修補；而 Kotlin 務實地從應用場景出發。
---
FAQ 測驗
1. 現代程式語言如 Kotlin 和 TypeScript 相比於 C 語言，在變數聲明上採取了什麼共同的語法特點？
A. 類型前置 (Type Prefix)
B. 類型後置 (Type Postfix)
C. 強制要求使用分號結尾
D. 不允許類型推斷
正確答案：B
解釋：影片指出，Kotlin 和 TypeScript 等 00 後語言的共同特點是採用了「類型後置」語法，將變數名稱置於類型之前，提升閱讀流暢度。
2. 在 Kotlin 語言中，為了強力推動程式碼的不變性（Immutability），用於定義不可變變數的關鍵字是什麼？
A. CONST
B. VAR
C. FINAL
D. VAL
正確答案：D
解釋：Kotlin 專門設計了 VAL 關鍵字來定義不可變變數，並且將其設定為預設且語法最短，用來取代 Java 中使用率不高的 Final。
3. 影片提到 Kotlin 為了實用性對高頻場景進行了優化，以下哪一項是 Kotlin 在語法上為了簡潔而捨棄或改進的特性？
A. 擁抱單例模式
B. 拿掉每行必帶的分號
C. 嚴格遵守受檢異常 (Checked Exceptions)
D. 移除主建構函式
正確答案：B
解釋：Kotlin 實用主義地拿掉了每行程式碼結束時必須使用的分號，這屬於為了提升生產力和流暢性而進行的語法優化。
✡ Oli小濃縮 Summary bot 為您濃縮重點 ✡