用Markdown編程之類型

類型就是約定。而現有的類型是單緯度的。用標註法編程好處就是能夠多維度。

類型基礎分爲：

• 虛
• 實

在此之上分爲：

• 根 寄存器級
• 聯 內存級
• 外 網絡級

虛：說白了就是指針或索引之類的概念。之因此叫虛，是體現人類知識體系中的虛概念。好比：時間、理想、聖人、神...。約定可複製，但必須轉換成直 接指向實類型。如不能轉換必須在使用時，明示檢查有效性。

實：就是概念鏈的終端，能與客觀世界直接對應的。約定只能複製，不想複製就必須明示全部權轉移。

根：就是約定只在CPU內體系中存在，不向其餘位子轉移，無需安全檢查。

聯：就是約定只在單機體系中存在，可轉移，需檢查。

外：就是約定只在多機體系中存在，可轉移，需嚴格檢查。

另有動做分爲：

• 解
• 轉
• 通

解：約定用於解析動做。

轉：約定用於轉換動做。

通：約定用於通訊動做。