The “For Type Junkies” section of this page has some further links and information on attempts to add static typing to Erlang https://learnyousomeerlang.com/types-or-lack-thereof
Jose talks about trying out adding a type system here too https://www.youtube.com/watch?list=PLqj39LCvnOWaxI87jVkxSdtjG8tlhl7U6&time_continue=2580&v=suOzNeMJXl0&feature=emb_logo
(from ElixirConf US 2018 Opening Keynote - The Next Five Years – José Valim)
