Strong arrows: a new approach to gradual typing [in Elixir]

https://elixir-lang.org/blog/2023/09/20/strong-arrows-gradual-typing/

by sreetamdas • 3 years ago

17 3 3 years ago

davydog1872• 3 years ago

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

losvedir• 3 years ago

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.

davydog1872• 3 years ago

Indeed it does, and is was covered in José's conference talk

Strong arrows: a new approach to gradual typing [in Elixir]

Related Stories