面向逻辑概念的虚拟编程

今天提出一个概念，是为“面向逻辑概念的虚拟编程”。

什么是面向逻辑概念呢？

其实这很好说明：关系数据库设计里有概念建模、（业务）逻辑建模、物理建模。编程也当然可以如此。

而加上虚拟编程，是为了强调这种“编程”只是一种架构设计层次的思维游戏，它甚至不是伪代码。因为一般提到伪代码，实际上还是绑定到某种命令式编程语言，而伪代码的主要特征就是不一定能通过实际的编译。

现在再次回到“面向逻辑概念“的说法来，这一说法究竟包含了哪些内涵呢？

其一，所谓概念，第一就是变量、类型的命名，重中之重。这个命名甚至不是形式化和可公理化的，它只是实际人类世界业务语义的一种类比而已。

其次，说到逻辑层次，而不是物理层次，意味着这种虚拟编程不绑定到任何一种具体的编程语言、编译器、编程风格（OO还是FP）。但是在数据类型层次，有些概念仍然需要细化，比如枚举类型，虽然enum在物理层次（物理存储、内存表示、或者序列化传输形式）可能会用位向量（序列）来表示。

暂时就只想到这么多。