E language

2023年7月30日 (日) 00:47的最后版本

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, Common Lisp Object System and Common Lisp Math System.

e language use Hex package manager for the Erlang VM.

e language support quantum computing instruction, compiler, virtual machine reference by Quil Specification

e language includes complete symbol sets and entity composition rules for forming symbols into sentences, similar to SML97.

[编辑] 历史

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商业应用。

商业社会就是：数值（金钱）、投资（方向）、合约（合同）、交易（成交）。

[编辑] EEP

路线图 -> EEP (ELang Enhancement Process)

参考 C# Language Design RFCs BIPs 的运作机制

深度F# 和 F*，这是重要的语言参考和编程实现。(2023.07.30)
Formal language、形式语义学理论及其应用的研究与跟进。(2022.10.27)
想选择海豚（Dolphin）做 e language 的灵性 logo (2022.10.15)
e language 的 e 也有 Electron（电子）、光子和量子的含义，基于 Erlang VM 计算原子的基础上，去实现量子编程语言和编译器。(2022.10.09)
更多参考 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.04.18)
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进行原型设计。

[编辑] 功能

参考 Proof-Oriented Programming in F*

[编辑] 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

[编辑] 参考

Haskell 2010 Language Report Haskell语言规范是非常有益的参考
Beautiful Racket Make your own programming languages with Racket.
交易策略的MQL5语言
Programming language design

[编辑] 图集

[编辑] 链接

@@ 第6行： / 第6行： @@
 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 is a functional [[programming language]] and interactive theorem prover (generic [[formal verification|proof assistant]]).
-e language has complete [[Common Lisp Type System]] and [[Common Lisp Object System]].
+e language has complete [[Common Lisp Type System]], [[Common Lisp Object System]] and [[Common Lisp Math System]].
+e language use [[Hex]] package manager for the Erlang VM.
+e language support [[量子计算|quantum computing]] instruction, compiler, virtual machine reference by [https://quil-lang.github.io/ Quil Specification]
+e language includes complete symbol sets and entity composition rules for forming symbols into sentences, similar to [[ML|SML97]].
 ==历史==
@@ 第23行： / 第29行： @@
 商业社会就是：数值（金钱）、投资（方向）、合约（合同）、交易（成交）。
-==路线图==
+==EEP==
+[[文件:Quil-language-logo.png|right|Quil language]]
 [[文件:Lisp-Flavored-Erlang-LFE.png|right]]
 [[文件:Clojerl-logo.png|right]]
+路线图 -> EEP (ELang Enhancement Process)
 参考 [https://github.com/dotnet/csharplang C# Language Design] [https://github.com/rust-lang/rfcs RFCs] [https://github.com/bitcoin/bips BIPs] 的运作机制
+*深度[[F Sharp|F#]] 和 [[F*]]，这是重要的语言参考和编程实现。(2023.07.30)
+*[[Formal language]]、形式语义学理论及其应用的研究与跟进。(2022.10.27)
+*想选择海豚（Dolphin）做 e language 的灵性 logo (2022.10.15)
+*e language 的 e 也有 Electron（电子）、光子和量子的含义，基于 [[Erlang VM]] [[actor model|计算原子]]的基础上，去实现量子编程语言和编译器。(2022.10.09)
 *更多参考 [[ML]] 编程语言，[https://isarmathlib.org/ 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]] 和 [https://github.com/clojerl/clojerl Clojerl] 是两个主要的参考原型。(2022.10.03)
-*设计为能很好支持和移植到主流虚拟机和编译器环境，如：[[.NET]], [[Erlang VM]], [[Haskell]] GHC (2022.0418)
+*设计为能很好支持和移植到主流虚拟机和编译器环境，如：[[.NET]], [[Erlang VM]], [[Haskell]] GHC (2022.04.18)
 *[https://github.com/kpreid/e-on-cl E language implementation targeting Common Lisp] (2021.12.26)
 *作为一种 Haskell DSL 实现，[[Haskell DSL Foundation]] (2021.12.19)
@@ 第39行： / 第52行： @@
 ==功能==
+*参考 [https://www.fstar-lang.org/tutorial/proof-oriented-programming-in-fstar.pdf Proof-Oriented Programming in F*]
 ==ECMAScript==
@@ 第59行： / 第73行： @@
 ==参考==
+*[https://www.haskell.org/onlinereport/haskell2010/ Haskell 2010 Language Report] [[Haskell]]语言规范是非常有益的参考
 *[https://beautifulracket.com/ Beautiful Racket] Make your own programming languages with Racket.
 *[[MQL5|交易策略的MQL5语言]]
+*[https://d3s.mff.cuni.cz/teaching/nprg075/ Programming language design]
 ==图集==
@@ 第71行： / 第87行： @@
 *[http://www.yinwang.org/ 王垠] [https://www.jianshu.com/p/f1e4240f527f 我为什么不再公开开发Yin语言]
-[[category:ethereum]]
+[[category:mathematics]]
-[[category:blockchain]]
+[[category:formal]]
 [[category:programming language]]
 [[category:erlang]]