Strong arrows: a new approach to gradual typing [in Elixir](elixir-lang.org)

17 pointsby sreetamdas3 yıl önce3 comments

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

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

3 comments

losvedir3 yıl önce

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.

davydog1873 yıl önce

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

davydog1873 yıl önce

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