`relax` is a scheme distribution geared towards building native peer-to-peer applications.

http://wiki.call-cc.org/eggref/4/hardwood

zero-cost abstractions

by leveraging macros and the chicken scheme compiler, we can generate very efficient assembly from high-level source code. future improvements to the type system can allow for further optimizations.

actors and lightweight threads

relax programs are very similar to what you would encounter in Erlang/OTP projects.

future plans

see also

1: https://docs.racket-lang.org/plai-typed/Type_Checking_and_Inference.html