E language

来自开放百科 - 灰狐
(版本间的差异)
跳转到: 导航, 搜索
(简介)
(EEP)
 
(未显示1个用户的66个中间版本)
第4行: 第4行:
  
 
==简介==
 
==简介==
e语言:面向下一代加密[[blockchain|区块链]]/智能互联网/数字金融的编程语言,是一种多范式语言。
+
e language: [[Lisp]] and [[Formal mathematics]] on [[Erlang VM]], Apache v2 license.
  
e language based on [[Erlang]]/[[Elixir programming language|Elixir]]
+
e language is a functional [[programming language]] and interactive theorem prover (generic [[formal verification|proof assistant]]).
  
e语言也从合约编程[[Solidity]]、系统安全编程[[Rust]][[Computational mathematics|数值计算]][[Fortran]]和[[Julia]]、[[Functional programming|函数式编程]]、[[F Sharp|F#]]、[[Clojure]]等语言获得灵感和启发,采用Apache v2许可协议。
+
e language has complete [[Common Lisp Type System]], [[Common Lisp Object System]] and [[Common Lisp Math System]].
  
为何叫e语言,因为[[Erlang]]/[[Elixir programming language|Elixir]],因为[[Ethereum]],因为electronic trading/[[e-Commerce]],因为Enterprise商业应用。
+
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]].
 +
 
 +
==历史==
 +
e语言:面向[[blockchain|区块链]]/[[Financial technology|金融科技]]/[[OpenAds|计算广告]]/[[data science|数据科学]]/[[machine learning|机器学习]],是一种多范式、函数式编程语言。
 +
 
 +
e language is a fun [[Lisp]]/[[Scheme]] Multi-paradigm(多范式) programming language.
 +
 
 +
e language based on [[Racket]] & [[Chez Scheme]], 更多融合 [[Erlang]], [[Lisp]], [[ML]] 语言精髓。
 +
 
 +
e语言也从[http://efene.org/ Efene]、合约编程[[Solidity]]、[[Aeternity]]区块链、系统编程[[Rust]]、[[Computational mathematics|数值计算]][[Fortran]]和[[Julia]]、[[Functional programming|函数式编程]]、[[F Sharp|F#]]、[[Clojure]]等语言获得灵感和启发,采用 Apache v2 许可协议。
 +
 
 +
为何叫e语言,因为[[Erlang]],[[Ethereum]],因为electronic trading/[[e-Commerce]],因为Enterprise商业应用。
 +
 
 +
商业社会就是:数值(金钱)、投资(方向)、合约(合同)、交易(成交)。
 +
 
 +
==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.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)
 +
*[https://github.com/kanaka/mal mal] - Make a [[Lisp]] (2021.08.11)
 
*内置[[actor model]],这是一个类似[[Erlang]]坚如磐石的编程思想。我们坚信一切皆为参与者,每个事件、消息端点、每笔交易都有自己的actor,它是一个运算实体。这是一个处理并发计算的数学模型,灵感源于物理学理论,如广义相对论和量子力学。
 
*内置[[actor model]],这是一个类似[[Erlang]]坚如磐石的编程思想。我们坚信一切皆为参与者,每个事件、消息端点、每笔交易都有自己的actor,它是一个运算实体。这是一个处理并发计算的数学模型,灵感源于物理学理论,如广义相对论和量子力学。
 
*EVM虚拟机,兼容[https://webassembly.org/ WebAssembly]标准,支持C/C++/Rust等主流编程语言,参考[[.NET Core]]、[[Java virtual machine|JVM]]和[[Erlang VM]]。
 
*EVM虚拟机,兼容[https://webassembly.org/ WebAssembly]标准,支持C/C++/Rust等主流编程语言,参考[[.NET Core]]、[[Java virtual machine|JVM]]和[[Erlang VM]]。
第20行: 第52行:
  
 
==功能==
 
==功能==
 +
*参考 [https://www.fstar-lang.org/tutorial/proof-oriented-programming-in-fstar.pdf Proof-Oriented Programming in F*]
  
 
==ECMAScript==
 
==ECMAScript==
第30行: 第63行:
  
 
==IDE==
 
==IDE==
e语言默认IDE是[[Code::Blocks]],也支持[[Emacs]]、[[Vim]]和[[Atom editor]]编辑器。
+
e语言默认IDE是 [[Light Table]], 也支持 [[Code::Blocks]][[Emacs]]、[[Vim]] 和 [[Atom editor]] 编辑器。
  
 
==项目==
 
==项目==
*[[E3 blockchain]]
+
[[Lisp]] 实现的形式化定理证明自由软件,供学习参考
 +
*[[ACL2]]
 +
*[https://pvs.csl.sri.com/ PVS]
 +
*[http://imps.mcmaster.ca/ An Interactive Mathematical Proof System (IMPS)]
 +
*[https://gtps.math.cmu.edu/tps.html Theorem Proving System (TPS)] from Carnegie Mellon University
  
 
==参考==
 
==参考==
 +
*[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]
  
 
==图集==
 
==图集==
  
 
==链接==
 
==链接==
*[http://elang.org e语言官网]
+
*[http://elang.dev e语言官网]
 +
*[https://abstractmachines.dev/ Abstract Machines]
 +
*[http://www.infoq.com/cn/news/2018/08/webassembly-future-features WebAssembly的未来:潜在新特性一览] (2018.08)
 
*[http://wiki.freepascal.org/Main_Page/zh_CN Lazarus 和 Free Pascal 的 wiki 世界]
 
*[http://wiki.freepascal.org/Main_Page/zh_CN Lazarus 和 Free Pascal 的 wiki 世界]
 +
*[http://www.yinwang.org/ 王垠] [https://www.jianshu.com/p/f1e4240f527f 我为什么不再公开开发Yin语言]
  
[[category:ethereum]]
+
[[category:mathematics]]
[[category:blockchain]]
+
[[category:formal]]
 
[[category:programming language]]
 
[[category:programming language]]
 
[[category:erlang]]
 
[[category:erlang]]
[[category:e3]]
+
[[category:elixir]]
 +
[[category:lisp]]
 +
[[category:scheme]]
 
[[category:Huihoo Foundation]]
 
[[category:Huihoo Foundation]]
 
[[category:huihoo]]
 
[[category:huihoo]]

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、合约编程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 实现的形式化定理证明自由软件,供学习参考

[编辑] 参考

[编辑] 图集

[编辑] 链接

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

变换
操作
导航
工具箱