欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
e language
e语言:面向商业的编程语言。
e language based on Solidity 从数值计算Fortran和Julia、函数式编程、F#、Clojure等语言获得灵感和启发,采用GPL v3许可协议。
商业社会就是:数值(钱)、投资(方向)、合约(合同)、交易(成交)
为何叫e语言,因为Ethereum,因为electronic trading/e-Commerce,因为Enterprise商业应用。