类型就是约定。而现有的类型是单纬度的。用标注法编程好处就是可以多维度。
类型基础分为：
- 虚
- 实
在此之上分为：
- 根 寄存器级
- 联 内存级
- 外 网络级
虚：说白了就是指针或索引之类的概念。之所以叫虚，是体现人类知识体系中的虚概念。比如：时间、理想、圣人、神...。约定可复制，但必须转换成直 接指向实类型。如不能转换必须在使用时，明示检查有效性。
实：就是概念链的终端，能与客观世界直接对应的。约定只能复制，不想复制就必须明示所有权转移。
根：就是约定只在CPU内体系中存在，不向其他位子转移，无需安全检查。
联：就是约定只在单机体系中存在，可转移，需检查。
外：就是约定只在多机体系中存在，可转移，需严格检查。
另有动作分为：
- 解
- 转
- 通
解：约定用于解析动作。
转：约定用于转换动作。
通：约定用于通信动作。
来源：oschina
链接：https://my.oschina.net/u/1455228/blog/3161462