O que esperar do novo sistema de tipos em Elixir?

A linguagem Elixir passará por uma transformação deixando de utilizar tipagem dinâmica para utilizar tipagem estática. Nessa palestra apresentada no Elixir Days 2024 em São Paulo foram mostrados exemplos de como serão utilizadas as anotações na linguagem e em que pé esse trabalho está atualmente.

A apresentação foi atualizada no dia 26/10/24 para ser apresentada no evento Elixir Curitiba 2024.

Transcript

1. Vinícius B. Alonso O que esperar do sistema de tipos em Elixir?
2. Vinícius Bail Alonso Engenheiro de Software Mestrando PPGCA (UTFPR) Quem sou eu
6. https://www.irif.fr/~gc/p a pers/ic a lp-ppdp05.pdf
7. https://www.cduce.org/
9. Aid documentation
10. Exemplo de código utiliz a ndo typespecs
11. Exemplo utiliz a ndo a futur a sint a xe dos tipos est á ticos
12. Contracts
13. Método p a r a neg a r v a lor inteiro
14. Subtr a ct utiliz a ndo o método neg a te de f inido a nteriormente
15. Exemplo do neg a te utiliz a ndo a tip a gem est á tic a com um erro
16. Exemplo de mens a gem de erro que o compil a dor poder á mostr a r
17. Set-Theoretic Types Union, intersections and negations
18. Exemplo a nterior corrigido
19. Exemplo de funç ã o p a r a f a zer um a neg a ç ã o
20. Exemplo de funç ã o p a r a f a zer um a neg a ç ã o us a ndo tip a gem est á tic a com singleton types
21. Polymorphism with Local type inference Utilização de polimor fi smo com a tipagem estática
22. Exemplo de implement a ç ã o de um m a p
23. Exemplo de implement a ç ã o de um m a p com tip a gem est á tic a
24. Protocols Utilização de protocolos para tornar tipagem mais fl exível
26. Pattern Matching and Guards Utilização de pattern matching e guards nas de fi nições da tipagem estática
27. Exemplos do mesmo código utiliz a ndo c a se e gu a rds
28. Exemplos de a visos que ser ã o mostr a dos pelo compil a dor
29. Exemplo de código utiliz a ndo o oper a dor underscore (_)
30. Exemplo de tipo utiliz a ndo um m a p a com p a r â metros opcion a is
31. Gradual Typing Introdução do tipo dynamic()
32. Funç ã o com tip a gem fr a c a recebendo dym a nic retorn a r á dyn a mic
33. Funç ã o com tip a gem forte recebendo dym a nic retorn a r á o v a lor esper a do
34. Milestones Etapas para implementação
36. Elixir v1.17 Etapas para implementação
38. Exemplo de código contendo um typo
40. Exemplo de código contendo um a comp a r a ç ã o err a d a
41. Exemplo de feedb a ck fornecido pelo compil a dor
42. Elixir v1.18 Etapas para implementação
46. Obrigado!
47. Referências
48. Pesquisa sobre visão da comunidade tipagem Elixir