3 ms·
It is not a goal of the type system at the moment, as we will focus on software correctness and developer experience. However, keep in mind the Erlang VM alrea
by josevalim 3y ago
It is not a goal of the type system at the moment, as we will focus on software correctness and developer experience.
However, keep in mind the Erlang VM already uses typing information (from patterns, guards, and built-in functions) to optimize code through its JIT compiler.