欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
E language
小 (→简介) |
小 (→简介) |
||
第4行: | 第4行: | ||
==简介== | ==简介== | ||
− | e language: [[Lisp]] on [[Erlang VM]], Apache v2 license. | + | e language: [[Lisp]] and [[Formal mathematics]] on [[Erlang VM]], Apache v2 license. |
e语言:面向[[blockchain|区块链]]/[[Financial technology|金融科技]]/[[OpenAds|计算广告]]/[[data science|数据科学]]/[[machine learning|机器学习]],是一种多范式、函数式编程语言。 | e语言:面向[[blockchain|区块链]]/[[Financial technology|金融科技]]/[[OpenAds|计算广告]]/[[data science|数据科学]]/[[machine learning|机器学习]],是一种多范式、函数式编程语言。 |
2022年10月7日 (五) 03:17的版本
The E programming language
简称:e language
目录 |
简介
e language: Lisp and Formal mathematics on Erlang VM, Apache v2 license.
e语言:面向区块链/金融科技/计算广告/数据科学/机器学习,是一种多范式、函数式编程语言。
e language is a fun Lisp/Scheme Multi-paradigm(多范式) programming language.
e language based on Racket & Chez Scheme, 更多融合 Erlang, Lisp, ML 语言精髓。
e语言也从Efene、合约编程Solidity、Aeternity区块链、系统编程Rust、数值计算Fortran和Julia、函数式编程、F#、Clojure等语言获得灵感和启发,采用 Apache v2 许可协议。
为何叫e语言,因为Erlang,Ethereum,因为electronic trading/e-Commerce,因为Enterprise商业应用。
商业社会就是:数值(金钱)、投资(方向)、合约(合同)、交易(成交)。
路线图
参考 C# Language Design RFCs BIPs 的运作机制
- Common Lisp Type System 和 Common Lisp Object System 是核心理论基础,并参考 OCaml、Haskell、C++ 等语言的类型和对象系统设计。(2022.10.01)
- 就是基于 Erlang VM 的 Lisp,LFE 和 Clojerl 是两个主要的参考原型。(2022.10.03)
- 设计为能很好支持和移植到主流虚拟机和编译器环境,如:.NET, Erlang VM, Haskell GHC (2022.0418)
- E language implementation targeting Common Lisp (2021.12.26)
- 作为一种 Haskell DSL 实现,Haskell DSL Foundation (2021.12.19)
- mal - Make a Lisp (2021.08.11)
- 内置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是 Light Table, 也支持 Code::Blocks、Emacs、Vim 和 Atom editor 编辑器。
项目
参考
- Beautiful Racket Make your own programming languages with Racket.
- 交易策略的MQL5语言