欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Erlang VM
来自开放百科 - 灰狐
Erlang VM: Erlang虚拟机、运行时、编译器、BEAM。
目录 |
简介
BEAM 是 Erlang 开放电信平台（OTP）的核心虚拟机。
BEAM 是 Erlang 运行时间系统（ERTS）的一部分，它将 Erlang 源代码编译成字节码，然后在 BEAM 上执行。BEAM 字节码文件的扩展名为.beam。
会有更多编程语言和实现运行在 BEAM 平台上，尤其 PHP, Ruby, Python 等 Web 语言，或者用 Elixir 去替换 Ruby ...
功能
- The Erlang Runtime System
- actor model
- Comparison of application virtualization software
- BeamAsm uses asmjit to generate native code in run-time.
项目
VM
- AtomVM Tiny Erlang VM
- Enigma VM An Erlang VM implementation in Rust
- RT: Erlang Runtime Library
- AEVM Aeternity Virtual Machine
Lanauages
- Languages, and about languages, on the BEAM
- 除 Erlang 外，Elixir programming language Erlang VM 平台语言最强大的存在
- 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
- ErRuby an implementation of the Ruby language on Erlang What I learned by implementing a Ruby VM in Erlang
- Reia is a Ruby-like scripting language for the Erlang virtual machine.
- efene
- Gleam A statically typed language for the Erlang VM
- erl2 a program generator for a new dialect of erlang
- 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
- Building a blockchain in Erlang
图集
BEAM语言
Hamler
aeternity aetmodel
clojerl
链接
分享您的观点
