Elixir evolui para uma linguagem com sistema de tipagem gradual

• Elixir marca 13 anos desde o primeiro commit e faz oficialmente a transição para uma linguagem com tipagem gradual
• Atualmente já realiza inferência e verificação de tipos para bitstring e oferece suporte a todos os tipos, embora ainda não haja subtipagem (sub-typing) entre tipos
• O primeiro marco é realizar inferência para patterns e guards
• Essa inferência funciona de uma forma que detecta bugs sem alterar a linguagem nem a base de código existente
• A meta é concluir a inferência de todos os padrões e guards até o Elixir v1.17

---

Anúncio da transição para uma linguagem com tipagem gradual

• No momento em que o repositório do Elixir completa 13 anos desde o primeiro commit, foi anunciado oficialmente que o Elixir agora é uma linguagem com tipagem gradual
• Escopo atual da implementação da verificação de tipos
  • Realiza inferência e verificação de tipos para bitstring
  • Já oferece suporte a todos os tipos (all types), mas ainda não há suporte a subtipagem dentro dos tipos

Metas futuras e o primeiro marco

• A meta é realizar a inferência de todos os patterns e guards até o Elixir v1.17
• O primeiro marco é realizar inferência para patterns e guards
  • Funciona de uma forma que detecta bugs no código sem alterar a linguagem nem a base de código do usuário
  • A ideia é fazer com que essa primeira etapa seja vantajosa para todos

[GN⁺]

Comentários no Hacker News

• Agradecimento a Jose

  • Expressa gratidão a Jose por seus esforços pelo Elixir e pela comunidade.
  • Seu cuidado e sua competência em relação à linguagem e à comunidade são muito valorizados.
  • Agradece a uma pessoa que teve grande impacto na felicidade do dia a dia, como um excelente exemplo da estabilidade e dedicação de Jose.

• Interesse em linguagens com tipagem gradual

  • Gosta de linguagens com tipagem gradual, mas sente que faltam informações aqui.
  • Compartilha um link para um artigo publicado no início de 2022 e procura mais informações sobre esse sistema de tipos.

• Opinião sobre a ausência de tipos no Elixir

  • A falta de tipos no Elixir causava rejeição em algumas pessoas.
  • Adicionar tipos quando a linguagem está praticamente completa parece o momento perfeito.
  • No Ruby, Sorbet não convencia por parecer ir contra a filosofia de uma linguagem dinâmica, mas agrada como um recurso extra para aumentar a segurança.
  • Demonstra confiança de que o sistema de tipos será implementado corretamente no Elixir.

• Confiança em Jose Valim e Anders Hejlsberg

  • Jose Valim é uma das poucas pessoas na indústria em quem se acredita para implementar corretamente um sistema de tipos.
  • Anders Hejlsberg também é alguém em quem se confia nesse tipo de implementação.

• Reação à adição de um sistema de tipos no Elixir

  • Mudou de empresa recentemente e passou a usar Elixir, sentindo muita falta dos benefícios de uma linguagem tipada que tinha no TypeScript.
  • Poder acessar modelos de dados em qualquer lugar do projeto é uma grande vantagem do Elixir.
  • Fica muito feliz em ver que o Elixir, que já era excelente, está melhorando ainda mais, e parabeniza a equipe envolvida nesse trabalho.

• A importância do sistema de tipos

  • Phoenix e antes dele o RoR (Ruby on Rails) provaram alta produtividade, mas podiam facilmente apresentar problemas por causa de tipos e erros em tempo de execução.
  • Tipos transformam muitos erros de runtime em erros de build, trazendo grande vantagem para o desenvolvimento de software confiável.

• O que aprender com a adoção gradual de tipos no PHP

  • Considera a adoção gradual de tipos no PHP muito prática e espera que haja lições a aprender com isso.

• Opinião sobre a migração de desenvolvedores Ruby para Elixir

  • Gostaria que esse tipo de esforço estivesse embutido no Ruby, e muitos desenvolvedores Ruby agora estão usando Elixir.
  • Aponta que o Elixir está evoluindo para uma linguagem incrível.

• A abordagem da equipe do Elixir e de Jose para introduzir o sistema de tipos

  • Recomenda assistir às palestras da equipe do Elixir e especialmente de Jose.
  • Eles estão sendo muito cuidadosos e criteriosos ao introduzir o sistema de tipos e estão se esforçando para criar um bom sistema de tipos.