Desvendando o Sistema de Tipos Do Scala

Transcrição

1 Desvendando o Sistema de Tipos Do Scala Paulo Jcranky Siqueira Paulo.siqueira@ gmail.com jcranky

2 Quem Sou Eu? Developer ( Scala, Java)

3 Quem Sou Eu? Gamer Minecraft E outros Jogos Indie

4 Quem Sou Eu? Musician Wannabe!

5 Para quem trabalho TecSinapse Dealers de carros LIP Inovação e Pesquisa

6 Alvos: Sistema de Tipos Varios Tipos de Tipos Inferencia de Tipos Implicits

7 Sistema de Tipos a type system is a collection of rules that assign a property called a type to the various constructs, such as variables, expressions, functions or modules) wikipedia

8 Sistema de Tipos Limita o que podemos fazer com os elementos do código

9 Sistema de Tipos Int Valores inteiros entre e

10 Sistema de Tipos String Conjunto de caracteres

11 Sistema de Tipos Char Um único caracter

12 Sistema de Tipos JsValue Qualquer implementacao ( trait da API de Json do Play)

13 Sistema de Tipos JsValue JsString, JsArray, JsNumber Etc

14 Inferencia de Tipos Primitivos Classes Objetos

15 Inferencia de Tipos Retorno de métodos / Functions

16 Inferencia de Tipos Alguns casos que Não funcionam

17 Inferencia de Tipos Inferencia com Tipos Parametrizados

18 Tipos existenciais Tipos Paramatrizados são obrigatórios N o existem Raw Types ã como em JAva

19 Tipos existenciais Pode ser problema ao integrar com Java ex. subitens

20 Inferencia: Boas Práticas Ajudar o compilador Ajudar nossos amiguinhos Documentar APIs

21 Inferencia: Boas Práticas Qual o tipo do nome? val nome = Some(" EasyForger")

22 Inferencia: Boas Práticas E em java... Não use raw types

23 Métodos com Tipos Parametrizados def foo[ T]( param: T) foo[ File]( new File ())

24 Métodos com Tipos Parametrizados Utilidade limitada por enquanto At é vermos Type Bounds

25 Upper Type Bounds Aceita ' filhos de' T < : Type

26 Upper Type Bounds jsonprint

27 Structural Types Tipo Estrutural... Oferece a estrutura a ser seguida

28 Lower Type Bounds Aceita ' Pais de' T : > Type

29 Lower Type Bounds Calculo do tipo da lista resultante: def ::[ B > : A ] ( x: B ): List[ B]

30 Co / in / Contra Variance Assunto mala

31 Covariance Relacão de heranca Com tipos parametrizados Parametro ' filho de'

32 Invariancia Tipo parametrizado não varia N o existe relac o de ã ã heranca

33 ContraVariancia Tipo parametrizado varia no sentido oposto da heranca Parametro ' pai de'

34 Conversões implicitas Ou implicit views

35 Conversões implicitas Em tipos primitivos, todas as linguagens tem Int Long

36 Conversões implicitas Ou o oposto, mas não é implicito Long Int

37 Conversões implicitas Com classes, temos apenas uma mudanca na visão ( conversão na referê ncia) JsValue JsString

38 Conversões implicitas Casting subindo a hierarquia ( sujeito a exception) JsString JsValue

39 Conversões implicitas Contexto: conversões entre quaisquer tipos Não é 100% automático Mas vai parecer!

40 Conversões implicitas ex. json

41 Conversões implicitas Ex. DSL EasyForger Item / Block / ItemStack

42 Conversões implicitas Grande ferramenta para evitar repeticão de código

43 Conversões implicitas Grande ferramenta para escrever DSLs ( e pega erros em tempo de compilacã o)

44 Conversões implicitas Pimp my library Ex.: Predef + RichInt / StringWarpper etc

45 Type Classes Simplificando: Uma forma de classificar outras classes E oferecer funcionalidade extra

46 Type Classes Uso de Parametros implícitos

47 Type Classes Metodo TraversableOnce.sum Classe Numeric

48 Itens avancados Sugestões para quem tem Estomado Nã o vamos ver! = p

49 Itens avancados trait CanBuildFrom[-From, - Elem, + To] type projection phantom types path dependent types Lenses Etc...

50 Sugestões de Estudo: Existential Types x Raw Types: / / /rawtypes.html

51 Sugestões de Estudo: Inferência de Tipos a Fundo: / 5841-demystifying-type-inference

52

53 Questions?! Throw them at me! If it pleases you...

54 Paulo Jcranky Siqueira gmail.com jcranky