欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
E language
来自开放百科 - 灰狐
(版本间的差异)
小 (→路线图) |
小 (→路线图) |
||
第12行: | 第12行: | ||
==路线图== | ==路线图== | ||
*内置[[actor model]],这是一个类似[[Erlang]]坚如磐石的编程思想。我们坚信一切皆为参与者,每个事件、消息端点、每笔交易都有自己的actor,它是一个运算实体。这是一个处理并发计算的数学模型,灵感源于物理学理论,如广义相对论和量子力学。 | *内置[[actor model]],这是一个类似[[Erlang]]坚如磐石的编程思想。我们坚信一切皆为参与者,每个事件、消息端点、每笔交易都有自己的actor,它是一个运算实体。这是一个处理并发计算的数学模型,灵感源于物理学理论,如广义相对论和量子力学。 | ||
+ | *EVM虚拟机,参考[[.NET Core]]、[[Java virtual machine|JVM]]和Erlang VM。 | ||
+ | *通过[[Racket]]进行原型设计。 | ||
==功能== | ==功能== |
2017年12月27日 (三) 17:19的版本
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进行原型设计。
功能
项目
参考
图集
链接
分享您的观点