We have a fully type safe and Erlang compatible OTP library! It is used in production today. https://github.com/gleam-lang/otp https://github.com/gleam-lang/ot

We have a fully type safe and Erlang compatible OTP library! It is used in production today. https://github.com/gleam-lang/otp https://github.com/gleam-lang/otp It is not a wrapper around gen_server etc, but instead it is a full implementation from the ground up using a very small Erlang core (~200 lines). This was done because: a) Erlang OTP cannot be typed, we need different abstractions are designed with types in mind b) We want to be confident that our abstractions are powerful enough to build something like OTP, rather than cheating by relying on type casts. I'm very happy with how Gleam OTP is going, but it is not the focus now that an initial version is out. Tooling and documentation is more important at the moment.