Wow, this looks interesting. It will take a little while to digest, but makes me really excited for the future of Elixir. As a professional Elixir developer for several years, static types are about the only thing I occasionally miss, and dialyzer just doesn't quite hit the mark for me. I love how it looks like this will let you gradually type an existing codebase. Maybe just a small detail they haven't decided on yet, but I hope there's a "strict" mode for new codebases.

edit: A thought I just had. If they're developing a novel type system, does that have implications for language server integration? I really appreciate how powerful types can make my VSCode.

Link to the conference talk https://www.youtube.com/watch?v=giYbq4HmfGA