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