Earlier quoted context omitted.
That would be neat! I would really like it if added optional typing like Python or PHP.
I thought Erlang lacked a type system. How would this work since Elixir compiles into BEAM byte code (via Erlang Abstract Format)?
I ask because the JVM lacks static typing[1] at byte code level but Java and Scala have it at the language level where it seems to be useful for correctness and performance.
1. https://wuciawe.github.io/jvm/2017/03/04/notes-on-jvm-byteco...