欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Elixir
来自开放百科 - 灰狐
(版本间的差异)
小 (→链接) |
小 |
||
第1行: | 第1行: | ||
{{SeeWikipedia|Elixir (programming language)}} | {{SeeWikipedia|Elixir (programming language)}} | ||
− | Elixir 是一个基于 [[Erlang]] | + | Elixir 是一个基于 [[Erlang]] 虚拟机的函数式、面向并行的通用编程语言(Apache v2许可协议)。Elixir 以 Erlang 为基础,支持分布式、高容错、实时应用程序的开发,同时亦对其进行扩展使之借助宏实现元编程,并通过协议支持多态。 |
==特性== | ==特性== |
2015年5月11日 (一) 08:55的版本
您可以在Wikipedia上了解到此条目的英文信息 Elixir Thanks, Wikipedia. |
Elixir 是一个基于 Erlang 虚拟机的函数式、面向并行的通用编程语言(Apache v2许可协议)。Elixir 以 Erlang 为基础,支持分布式、高容错、实时应用程序的开发,同时亦对其进行扩展使之借助宏实现元编程,并通过协议支持多态。
特性
- 基于 Erlang 虚拟机(BEAM)之上;
- 与 Erlang 语言的无缝衔接,与 Erlang 的互调几乎无任何额外开销;
- 基于宏的元编程能力,语言的抽象语法树作为头等公民;
- 基于协议的多态实现,启发自Clojure;
- 完善的文档支持;
- 通过消息传递(参与者模式)支持 Shared-nothing 并行事务;
- 强调利用递归和高阶函数的函数式编程胜过基于副作用和循环的命令式编程;
- 一切均为表达式;
- 惰性求值,拥有诸如 futures 和 promises 一类的异步流数据类型;
- 模式匹配;
- Unicode 支持,UTF-8 字符串。
文档
链接
分享您的观点