币安新闻 火星一线 | 火币首席技术...

火星一线 | 火币首席技术官程显峰:Move可能推动线性逻辑等在编程语言中的广泛应用

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

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

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

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

更多大会信息,欢迎点击:

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

大会专题:E:\火车浏览器\\pic\\20190710153203176659