E language

2022年10月7日 (五) 14:55的版本

The E programming language

简称：e language

简介

e language: Lisp and Formal mathematics on Erlang VM, Apache v2 license.

e language is a functional programming language and interactive theorem prover (generic proof assistant).

e language has complete Common Lisp Type System and Common Lisp Object System.

历史

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 的运作机制

• 更多参考 ML 编程语言，IsarMathLib 值得借鉴，ML (Meta language -> Mathematics language) 很有寓意。(2022.10.07)
• 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 编辑器。

项目

Lisp 实现的形式化定理证明自由软件，供学习参考

• ACL2
• PVS
• An Interactive Mathematical Proof System (IMPS)
• Theorem Proving System (TPS) from Carnegie Mellon University

参考

• Beautiful Racket Make your own programming languages with Racket.
• 交易策略的MQL5语言

图集

链接

• e语言官网
• Abstract Machines
• WebAssembly的未来：潜在新特性一览 (2018.08)
• Lazarus 和 Free Pascal 的 wiki 世界
• 王垠 我为什么不再公开开发Yin语言