欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
E language
小 (→简介) |
小 (→EEP) |
||
(未显示1个用户的14个中间版本) | |||
第11行: | 第11行: | ||
e language use [[Hex]] package manager for the Erlang VM. | 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]]. | ||
==历史== | ==历史== | ||
第25行: | 第29行: | ||
商业社会就是:数值(金钱)、投资(方向)、合约(合同)、交易(成交)。 | 商业社会就是:数值(金钱)、投资(方向)、合约(合同)、交易(成交)。 | ||
− | == | + | ==EEP== |
+ | [[文件:Quil-language-logo.png|right|Quil language]] | ||
[[文件:Lisp-Flavored-Erlang-LFE.png|right]] | [[文件:Lisp-Flavored-Erlang-LFE.png|right]] | ||
[[文件:Clojerl-logo.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] 的运作机制 | 参考 [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) | *更多参考 [[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) | *[[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) | *就是基于 [[Erlang VM]] 的 [[Lisp]],[[LFE]] 和 [https://github.com/clojerl/clojerl Clojerl] 是两个主要的参考原型。(2022.10.03) | ||
− | *设计为能很好支持和移植到主流虚拟机和编译器环境,如:[[.NET]], [[Erlang VM]], [[Haskell]] GHC (2022. | + | *设计为能很好支持和移植到主流虚拟机和编译器环境,如:[[.NET]], [[Erlang VM]], [[Haskell]] GHC (2022.04.18) |
*[https://github.com/kpreid/e-on-cl E language implementation targeting Common Lisp] (2021.12.26) | *[https://github.com/kpreid/e-on-cl E language implementation targeting Common Lisp] (2021.12.26) | ||
*作为一种 Haskell DSL 实现,[[Haskell DSL Foundation]] (2021.12.19) | *作为一种 Haskell DSL 实现,[[Haskell DSL Foundation]] (2021.12.19) | ||
第41行: | 第52行: | ||
==功能== | ==功能== | ||
+ | *参考 [https://www.fstar-lang.org/tutorial/proof-oriented-programming-in-fstar.pdf Proof-Oriented Programming in F*] | ||
==ECMAScript== | ==ECMAScript== | ||
第61行: | 第73行: | ||
==参考== | ==参考== | ||
+ | *[https://www.haskell.org/onlinereport/haskell2010/ Haskell 2010 Language Report] [[Haskell]]语言规范是非常有益的参考 | ||
*[https://beautifulracket.com/ Beautiful Racket] Make your own programming languages with Racket. | *[https://beautifulracket.com/ Beautiful Racket] Make your own programming languages with Racket. | ||
*[[MQL5|交易策略的MQL5语言]] | *[[MQL5|交易策略的MQL5语言]] | ||
+ | *[https://d3s.mff.cuni.cz/teaching/nprg075/ Programming language design] | ||
==图集== | ==图集== |
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进行原型设计。
[编辑] 功能
[编辑] 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