Aero

Aero is an experimental programming language aimed to be statically typed, purely functional with uniqueness types and eager evaluation, and oriented entirely around the actor model: a blend of the ideas of Erlang, Elixir, Rust, and Clean.

The language is currently under construction and so features listed above are not necessarily implemented yet. The language is being bootstrapped with an Erlang-based compiler targeting Core Erlang for a future self-hosting compiler.

Building

Erlang is required to build the compiler and is needed on the host that Aero programs are run on.

The recommended way to install Erlang is with asdf. This allows for easy version managment. Aero expects the Erlang/OTP version to at least be 23.0.

$ asdf plugin add erlang
$ asdf install erlang 23.2

Building the compiler uses Rebar3.

$ rebar3 fetch
$ rebar3 build
$ rebar3 check
$ rebar3 test

This generates an Escript in _build/default/bin called aero which can be used to compile Aero programs.

Examples

See examples/ for sample Aero programs. They can be run like so:

$ aero compile examples/hello.aero --escript
$ ./out/bin/hello

License

Released under the MIT License (see LICENSE).