IOHK向新成立的Haskell基金会捐款12.5万美元_KEL:ONE

大型区块链工程公司IOHK宣布将赞助新成立的Haskell基金会,该基金会致力于扩大Haskell编程语言的采用。IOHK表示将向11月4日在HaskelleXchange虚拟会议上启动的基金会捐赠125,000美元。根据今天与AMBCrypto分享的新闻稿,IOHK将通过这一举动成为Haskell基金会的最大捐助者。

Cardano/IOHK 计划启动埃塞俄比亚学生区块链项目:金色财经报道,卡尔达诺 (ADA)背后的团队为埃塞俄比亚的学生提供数字身份和证书的项目正在推进,第一阶段的启动计划将在“未来两个月内”进行。卡尔达诺开发公司Input Output Global (IOHK)非洲运营总监 John O'Connor表示,“我们已经完成了第一次试点,并开始在教育部对用户进行功能和使用方面的培训。卡尔达诺团队预计埃塞俄比亚教育部将在“年底”之前为该国至少 800,000 名学生颁发“去中心化身份和数字证书”。根据 O'Connor 的说法,该项目目前是“世界上最大的全国性区块链部署”。(cryptonews)[2022/4/9 14:14:08]

Haskell基金会由Haskell社区的长期成员创建,是一个独立的组织,旨在提高Haskell语言在整个行业,开源社区和学术界的采用率。

IOHK引入两个新开发环境,将使Cardano智能合约兼容所有编程语言:Cardano区块链背后的开发公司IOHK昨天宣布引入两个新的开发环境,允许开发人员为Cardano编写智能合约。“KEVM”devnet将允许开发人员实现Cardano上现有或未来以Solidity编写的基于以太坊的应用程序。这意味着超过14万份智能合约将与Cardano区块链兼容。该devnet使用了一个版本的以太坊虚拟机,该虚拟机已经被一个用于创建正式验证软件的框架K验证。

另一个devnet为IELE,旨在使开发人员能够用任何编程语言编写代码,并将产生的功能移植到Cardano区块链上。据IOHK称,IELE将是“第一个大规模的beta测试”,使非区块链开发人员无需学习区块链特定的编程语言就可以在Cardano上创建智能合约。(Crypto News Flash)[2020/12/4 13:59:57]

该基金会表示,其编程语言为“开源”,可“快速开发”可修改和可维护的强大软件。该语言包括支持与其他语言集成,内置并发以及调试器,分析器和丰富的库。

声音 | IOHK CEO:21世纪20年代将是Cardano的十年:IOHK首席执行官兼Cardano(ADA)创始人Charles Hoskinson表示,21世纪20年代将是Cardano的十年。他相信Cardano将在这十年里作为一个真正的社会操作系统主导加密货币空间。(News Logical)[2020/1/8]

该基金会声称,许多其他公司也向Haskell基金会提供了支持。但是,IOHK多年来一直支持Haskell的开发,甚至投资于扩展Haskell社区。从开发在线教程和教育计划到在巴巴多斯,乌干达,蒙古和埃塞俄比亚等国提供面对面的培训课程。但是,在技术方面,IOHK也直接参与了创建图书馆以消除空间泄漏的贡献。甚至为IOHK的Cardano区块链构建IOHK基于Haskell的智能合约语言Plutus。

该公司认为,捐赠将扩大Haskell编程社区,同时也支持Haskell基金会的“增强社区内部多样性”的目标。

关于IOHK首席执行官Haskell的赞助和持续支持,CharlesHoskinson在一份声明中说:

IOHK相信函数式编程,开源软件和开放治理的力量。我们很高兴能够与其他主要公司一起支持Haskell的未来增长和采用。

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

金宝趣谈

[0:0ms0-4:90ms