https://gleam.run/ - Erlang-engine based language for type-safe systems.