智能合约语言的状态与调用模型

我在一次技术大会上的分享，核心其实只有三点：

1. 智能合约让编程语言可以发挥出更大的价值。
2. 智能合约编程语言的演进其实才刚刚开始。
3. 真正关键的差异，不在语法，也不在虚拟机本身，而在于如何处理状态，以及合约之间如何调用。

很多人讨论编程语言时，天然容易把注意力放在语法层面。但到了智能合约世界，真正有分量的变化，往往是更底层的：状态是不是一等公民、资源如何表达、调用边界怎么约束、不同对象之间如何组合。

所以我会觉得，智能合约编程语言远远还没收敛。现在更像是一个重新发明应用状态模型的阶段，而不是给旧语言再换一套新皮。