欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
E language
来自开放百科 - 灰狐
(版本间的差异)
小 (→简介) |
小 (→参考) |
||
(未显示1个用户的6个中间版本) | |||
第1行: | 第1行: | ||
− | + | The E programming language | |
+ | |||
+ | 简称:e language | ||
==简介== | ==简介== | ||
− | e语言:面向[[ | + | e语言:面向[[blockchain|区块链]]驱动的下一代加密/智能互联网的编程语言。 |
e language based on [https://github.com/ethereum/solidity Solidity] 从[[Computational mathematics|数值计算]][[Fortran]]和[[Julia]]、[[Functional programming|函数式编程]]、[[F Sharp|F#]]、[[Clojure]]等语言获得灵感和启发,采用GPL v3和Apache v2许可协议,[https://www.apache.org/licenses/GPL-compatibility.html Apache License v2.0 and GPL Compatibility] | e language based on [https://github.com/ethereum/solidity Solidity] 从[[Computational mathematics|数值计算]][[Fortran]]和[[Julia]]、[[Functional programming|函数式编程]]、[[F Sharp|F#]]、[[Clojure]]等语言获得灵感和启发,采用GPL v3和Apache v2许可协议,[https://www.apache.org/licenses/GPL-compatibility.html Apache License v2.0 and GPL Compatibility] | ||
第16行: | 第18行: | ||
==功能== | ==功能== | ||
+ | |||
+ | ==IDE== | ||
+ | e语言默认IDE是[[Code::Blocks]],也支持[[Emacs]]、[[Vim]]和[[Atom editor]]编辑器。 | ||
==项目== | ==项目== | ||
第21行: | 第26行: | ||
==参考== | ==参考== | ||
+ | *[https://beautifulracket.com/ Beautiful Racket] Make your own programming languages with Racket. | ||
*[[MQL5|交易策略的MQL5语言]] | *[[MQL5|交易策略的MQL5语言]] | ||
2018年1月5日 (五) 17:55的版本
The E programming language
简称:e language
目录 |
简介
e语言:面向区块链驱动的下一代加密/智能互联网的编程语言。
e language based on Solidity 从数值计算Fortran和Julia、函数式编程、F#、Clojure等语言获得灵感和启发,采用GPL v3和Apache v2许可协议,Apache License v2.0 and GPL Compatibility
商业社会就是:数值(钱)、投资(方向)、合约(合同)、交易(成交)
为何叫e语言,因为Ethereum,因为electronic trading/e-Commerce,因为Enterprise商业应用。
路线图
- 内置actor model,这是一个类似Erlang坚如磐石的编程思想。我们坚信一切皆为参与者,每个事件、消息端点、每笔交易都有自己的actor,它是一个运算实体。这是一个处理并发计算的数学模型,灵感源于物理学理论,如广义相对论和量子力学。
- EVM虚拟机,参考.NET Core、JVM和Erlang VM。
- 通过Racket进行原型设计。
功能
IDE
e语言默认IDE是Code::Blocks,也支持Emacs、Vim和Atom editor编辑器。
项目
参考
- Beautiful Racket Make your own programming languages with Racket.
- 交易策略的MQL5语言
图集
链接
分享您的观点