欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Erlang VM
来自开放百科 - 灰狐
(版本间的差异)
小 (→功能) |
小 (→图集) |
||
第54行: | 第54行: | ||
image:BEAM-languages.png|BEAM语言 | image:BEAM-languages.png|BEAM语言 | ||
image:hamler-lang-compiler.png|Hamler | image:hamler-lang-compiler.png|Hamler | ||
+ | image:aeternity-aetmodel-epoch-system-diagram.jpeg|aeternity aetmodel | ||
</gallery> | </gallery> | ||
2022年8月10日 (三) 03:39的版本
Erlang VM: Erlang虚拟机、运行时、编译器、BEAM。
目录 |
简介
BEAM 是 Erlang 开放电信平台(OTP)的核心虚拟机。
BEAM 是 Erlang 运行时间系统(ERTS)的一部分,它将 Erlang 源代码编译成字节码,然后在 BEAM 上执行。BEAM 字节码文件的扩展名为.beam。
会有更多编程语言和实现运行在 BEAM 平台上,尤其 PHP, Ruby, Python 等 Web 语言。
功能
项目
VM
- AtomVM Tiny Erlang VM
- Enigma VM An Erlang VM implementation in Rust
- RT: Erlang Runtime Library
Lanauages
- Languages, and about languages, on the BEAM
- Elixir programming language
- Visualixir is a toy visualizer for BEAM nodes, written in Elixir + Phoenix + d3
- Alpaca Functional programming inspired by ML for the Erlang VM
- Erjang A JVM-based Erlang VM
- LFE
- Joxa A Modern Lisp for the Erlang VM
- clojerl Clojure implemented on the Erlang VM.
- ePHP PHP Interpreter in pure Erlang
- efene
- Gleam A statically typed language for the Erlang VM
- erl2
- Hamler Haskell-style functional programming language
- Luerl Lua in Erlang
- Erlog Prolog for an Erlang Application
- Alpaca Functional programming inspired by ML for the Erlang VM
文档
- News From the OTP Team
- VM features in OTP 20
- DevOps' Swiss Army knife for the BEAM
- Think Outside the VM Unobtrusive Performance Measurement
- Create Your Own Language: How to implement a language on top of Erlang Virtual Machine (BEAM)
- Recovering Erlang AST from BEAM bytecode
- The BEAM community and efene
- Rethinking the Language Runtime for Scale: Designing and Evaluating a Distributed Computing Language Runtime Tutorial: Antidote Tutorial: CRDTs
- A Status Update of BEAMJIT, the Just-in-Time Compiling Abstract Machine
图集
链接
分享您的观点