Eh. I designed some kind of static type system for Erlang ~20 years ago. It wasn't very good and I changed job before I could test it on anything serious, but i

Eh. I designed some kind of static type system for Erlang ~20 years ago. It wasn't very good and I changed job before I could test it on anything serious, but it was fun! Glad to see that some people are doing a more serious job than me :) (also, it's a small world – I know Giuseppe Castagna, wasn't aware that he was working on typing Elixir)