火星财经APP（微信：hxcj24h）一线报道，8月21日，由火星财经主办的“POW’ER 2019全球开发者大会”在北京举行。大会邀请来自全球的70位区块链、5G、AI、云计算、大数据、物联网等领域的技术领袖、专家学者、投资及研究机构负责人，分享他们对新技术趋势和商业机遇的判断和展望。

火币首席技术官程显峰发表了《从Move语言看智能合约新变化》的主题演讲。程显峰表示，当前智能合约需要比以往更强大的编程语言理论支持，使得当前智能合约设计的难度大大提高。“Move可能推动线性逻辑等在编程语言中广泛应用”。程显峰表示对Facebook新推出的编程语言Move表示关注，

线性逻辑里，资源是“一等公民”。线性逻辑可以保障资源只能而且必须被使用一次，通过编译器检查能够指导是否有资源泄露。线性逻辑能够解决的典型问题包括：多次转账、内存没有释放等。线性逻辑将成为类型系统领域的标配。

据悉，Facebook发布Libra白皮书同时还发布了名为Move的编程语言，增强了智能合约编程语言的安全性，线性逻辑是Libra Move语言。

更多大会信息，欢迎点击：

图文直播：https://www.huoxing24.com/liveDetail/20190819180348513268

大会专题：https://news.huoxing24.com/feature/20190710153203176659