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

17 pointsby sreetamdasvor 3 Jahren3 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

losvedirvor 3 Jahren

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.

davydog187vor 3 Jahren

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

davydog187vor 3 Jahren

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