RecodeX 重构消息，Vitalik Buterin 强调新型编程语言应注重易读定义和定理，以改善开发者体验与形式化验证。