欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
E language
来自开放百科 - 灰狐
（版本间的差异）
小 (→简介) |
小 (Allen移动E3 language页面至E language) |
2017年12月27日 (三) 03:39的版本
E3 language
目录 |
简介
E3 language：面向商业的编程语言。
E3 language based on Solidity 从函数式编程、Julia、F#、Clojure等语言获得灵感和启发，采用GPL v3许可协议。
商业社会就是：投资、合约、交易
为何叫E3，因为Ethereum，因为electronic trading/e-Commerce，因为Enterprise商业应用。
路线图
功能
项目
图集
链接
分享您的观点
