Very interesting. As i know Erlang cant be statically typed because of its patterns. I recon they just plan on making a typesystem like typescript ontop of erl

Very interesting. As i know Erlang cant be statically typed because of its patterns. I recon they just plan on making a typesystem like typescript ontop of erlang that is simply compiled away before building. This way youd get the same typesafety typescriot gives you with the option of any types that fit erlang.