E language

来自开放百科 - 灰狐
(版本间的差异)
跳转到: 导航, 搜索
(项目)
(项目)
第46行: 第46行:
  
 
==项目==
 
==项目==
形式化证明开源项目
+
[[Lisp]] 实现的形式化定理证明自由软件,供学习参考
 
*[[ACL2]]
 
*[[ACL2]]
 
*[https://pvs.csl.sri.com/ PVS]
 
*[https://pvs.csl.sri.com/ PVS]
 
*[http://imps.mcmaster.ca/ An Interactive Mathematical Proof System (IMPS)]
 
*[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
  
 
==参考==
 
==参考==

2022年10月7日 (五) 04:41的版本

The E programming language

简称:e language

目录

简介

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

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

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

路线图

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

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

功能

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

参考

图集

链接

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

变换
操作
导航
工具箱