欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
E language
来自开放百科 - 灰狐
(版本间的差异)
小 (→链接) |
小 (→链接) |
||
第45行: | 第45行: | ||
*[http://www.infoq.com/cn/news/2018/08/webassembly-future-features WebAssembly的未来:潜在新特性一览] (2018.08) | *[http://www.infoq.com/cn/news/2018/08/webassembly-future-features WebAssembly的未来:潜在新特性一览] (2018.08) | ||
*[http://wiki.freepascal.org/Main_Page/zh_CN Lazarus 和 Free Pascal 的 wiki 世界] | *[http://wiki.freepascal.org/Main_Page/zh_CN Lazarus 和 Free Pascal 的 wiki 世界] | ||
− | *[http://www.yinwang.org/ 王垠] | + | *[http://www.yinwang.org/ 王垠] [https://www.jianshu.com/p/f1e4240f527f 我为什么不再公开开发Yin语言] |
[[category:ethereum]] | [[category:ethereum]] |
2019年2月7日 (四) 13:55的版本
The E programming language
简称:e language
目录 |
简介
e语言:面向下一代加密区块链/智能互联网/数字金融的编程语言,是一种多范式语言。
e language based on Erlang/Elixir。
e语言也从合约编程Solidity、系统安全编程Rust、数值计算Fortran和Julia、函数式编程、F#、Clojure等语言获得灵感和启发,采用Apache v2许可协议。
为何叫e语言,因为Erlang/Elixir,因为Ethereum,因为electronic trading/e-Commerce,因为Enterprise商业应用。
商业社会就是:数值(钱)、投资(方向)、合约(合同)、交易(成交)。
路线图
- 内置actor model,这是一个类似Erlang坚如磐石的编程思想。我们坚信一切皆为参与者,每个事件、消息端点、每笔交易都有自己的actor,它是一个运算实体。这是一个处理并发计算的数学模型,灵感源于物理学理论,如广义相对论和量子力学。
- EVM虚拟机,兼容WebAssembly标准,支持C/C++/Rust等主流编程语言,参考.NET Core、JVM和Erlang VM。
- 通过Racket进行原型设计。
功能
ECMAScript
E script: Fast, light, robust ECMAScript implementation.
Inspiration from Clojure and ClojureScript.
EPL
E language提供事件模式语言(event pattern lanuage, EPL)支持。
IDE
e语言默认IDE是Code::Blocks,也支持Emacs、Vim和Atom editor编辑器。
项目
参考
- Beautiful Racket Make your own programming languages with Racket.
- 交易策略的MQL5语言
图集
链接
分享您的观点