Miles' Blog

一樣要考古一下原文：

Subtypes must be substitutable for their base types.

在我們 Hello World 的練習裡，曾提到一點點函式的定義，今天要來詳解它。

原文定義是這樣子的：

Software entities (class, modules, functions, etc.) should be open for extension, but closed for modification.

許多語言都有提供 key-value 存放方法的 map 結構，Go 使用內建型態 map 實作。

map 型態的表示方法為：map[keyType]valueType，map 是關鍵字，keyType 必須是可比較（Comparable）的型態，如 string、int 等，valueType 則是內容形態。

雖然軟體量測很方便，也能找到很多可能有問題的程式碼，但最終還是需要人工檢查程式的設計。這時就需要原則（principle），讓檢視過程能有正確的方向。

Slice 跟陣列使用起來很像，而最大的不同是，陣列是值，Slice 是參考到一個陣列。

寫出好維護的程式要靠經驗累積的，初學程式經驗少，因此容易寫出有壞味道的程式。而有經驗的開發者，看到壞味道一定很敏感。但是檢查原始碼的狀況，也是得看人品。運氣不好，一個 commit 上千行，味道千奇百怪，依賴錯縱複雜，想提修改建議也不知從何講起。

Go 語言的世界裡，陣列為固定長度，元素型態與長度都是陣列型態的一部分。

敏捷軟體開發宣言是現正流行的開發精神。敏捷宣言雖然看起來有點抽象，其實背後有十二個原則：

中華小當家的劉昴星曾說過：「鍋子是火燄的化身」，使用鍋子也是中華廚師的必學基礎之一；而在一個程式語言裡，資料型別是資料的化身，同樣也是重要的基礎功。廚師練好基礎功，能煮出佳餚；開發者練好基礎功，才有辦法寫出千變萬化的應用程式。

Go 的資料型別有 11 種，今天先介紹 Predeclared Type，它們也是「有名稱的型態（Named Type）」。