E language

来自开放百科 - 灰狐
2023年7月30日 (日) 00:46Allen (讨论 | 贡献)的版本

跳转到: 导航, 搜索

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、合约编程SolidityAeternity区块链、系统编程Rust数值计算FortranJulia函数式编程F#Clojure等语言获得灵感和启发,采用 Apache v2 许可协议。

为何叫e语言,因为Erlang,Ethereum,因为electronic trading/e-Commerce,因为Enterprise商业应用。

商业社会就是:数值(金钱)、投资(方向)、合约(合同)、交易(成交)。

EEP

Quil language
Lisp-Flavored-Erlang-LFE.png
Clojerl-logo.png

路线图 -> 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 SystemCommon Lisp Object System 是核心理论基础,并参考 OCamlHaskellC++ 等语言的类型和对象系统设计。(2022.10.01)
  • 就是基于 Erlang VMLispLFEClojerl 是两个主要的参考原型。(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 CoreJVMErlang 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::BlocksEmacsVimAtom editor 编辑器。

项目

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

参考

图集

链接

分享您的观点
个人工具
名字空间

变换
操作
导航
工具箱