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

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

摘要:Facebook发布Libra白皮书同时还发布了名为Move的编程语言,线性逻辑是Libra Move语言。

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

免责声明
世链财经作为开放的信息发布平台,所有资讯仅代表作者个人观点,与世链财经无关。如文章、图片、音频或视频出现侵权、违规及其他不当言论,请提供相关材料,发送到:2785592653@qq.com。
风险提示:本站所提供的资讯不代表任何投资暗示。投资有风险,入市须谨慎。
世链粉丝群:提供最新热点新闻,空投糖果、红包等福利,微信:juu3644。