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