Desvendando o Sistema de Tipos do Scala
•
0 gostou•432 visualizações
O documento apresenta os principais conceitos do sistema de tipos do Scala, incluindo tipos primitivos, inferência de tipos, tipos parametrizados, conversões implícitas e type classes. O autor discute como o sistema de tipos limita o que pode ser feito com elementos de código e fornece exemplos de como esses conceitos funcionam na prática.
Recomendados
Mais conteúdo relacionado
Destaque
Desvendando o Sistema de Tipos do Scala
- 1. Desvendando o Sistema de Tipos Do Scala Paulo Jcranky Siqueira“ ” Paulo.siqueira gmail.com@ / jcranky@
- 2. JCranky@ Quem Sou Eu? Developer Scala, Java( )
- 3. JCranky@ Quem Sou Eu? Gamer Minecraft E outros Jogos Indie
- 5. JCranky@ Para quem trabalho TecSinapse Dealers de carros LIP Inova o e Pesquisa– çã
- 6. JCranky@ Alvos: Sistema de Tipos Varios Tipos de … Tipos Inferencia de Tipos Implicits
- 7. JCranky@ 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. JCranky@ Sistema de Tipos Limita o que podemos fazer com os elementos do c digoó
- 9. JCranky@ Sistema de Tipos Int Valores inteiros entre e-2147483648 -2147483648
- 10. JCranky@ Sistema de Tipos String Conjunto de caracteres
- 11. JCranky@ Sistema de Tipos Char Um nico caracterú
- 12. JCranky@ Sistema de Tipos JsValue Qualquer implementacao trait da API de Json do Play( )
- 13. JCranky@ Sistema de Tipos JsValue JsString, JsArray, JsNumber Etc
- 15. JCranky@ Inferencia de Tipos Retorno de m todos /é Functions
- 16. JCranky@ Inferencia de Tipos Alguns casos que N o funcionamã
- 17. JCranky@ Inferencia de Tipos Inferencia com Tipos Parametrizados
- 18. JCranky@ Tipos existenciais Tipos Paramatrizados s oã obrigat riosó N o existem Raw Typesã “ ” como em JAva
- 19. JCranky@ Tipos existenciais Pode ser problema ao integrar com Java ex. subitens
- 20. JCranky@ Inferencia: Boas Pr ticasá Ajudar o compilador Ajudar nossos amiguinhos Documentar APIs
- 21. JCranky@ Inferencia: Boas Pr ticasá Qual o tipo do nome? val nome = Some EasyForger(" ")
- 22. JCranky@ Inferencia: Boas Pr ticasá E em java... N o use raw typesã
- 23. JCranky@ M todos com Tiposé Parametrizados def foo T param: T[ ]( ) foo File new File[ ]( ())
- 24. JCranky@ M todos com Tiposé Parametrizados Utilidade limitada por enquanto At vermosé Type Bounds
- 25. JCranky@ Upper Type Bounds Aceita filhos de' ' T : Type<
- 27. JCranky@ Structural Types Tipo Estrutural... Oferece a estrutura a ser seguida
- 28. JCranky@ Lower Type Bounds Aceita Pais de' ' T : Type>
- 29. JCranky@ Lower Type Bounds Calculo do tipo da lista resultante: def :: B : A x: B : List B[ > ] ( ) [ ]
- 30. JCranky@ Co / in / Contra Variance Assunto mala
- 31. JCranky@ Covariance Relac o de herancaã Com tipos parametrizados Parametro filho de' '
- 32. JCranky@ Invariancia Tipo parametrizado n oã varia N o existe relac o deã ã heranca
- 33. JCranky@ ContraVariancia Tipo parametrizado varia no sentido oposto da heranca Parametro pai de' '
- 34. JCranky@ Convers es implicitasõ Ou implicit views“ ”
- 35. JCranky@ Convers es implicitasõ Em tipos primitivos, todas as linguagens tem Int Long→
- 36. JCranky@ Convers es implicitasõ Ou o oposto, mas n oã é implicito Long Int→
- 37. JCranky@ Convers es implicitasõ Com classes, temos apenas uma mudanca na vis oã convers o na refer ncia( ã ê ) JsValue JsString→
- 38. JCranky@ Convers es implicitasõ Casting subindo a hierarquia sujeito a exception( ) JsString JsValue→
- 39. JCranky@ Convers es implicitasõ Contexto: convers es entreõ quaisquer tipos N o autom ticoã é 100% á Mas vai parecer!
- 40. JCranky@ Convers es implicitasõ ex. json
- 41. JCranky@ Convers es implicitasõ Ex. DSL EasyForger Item / Block / ItemStack
- 42. JCranky@ Convers es implicitasõ Grande ferramenta para evitar repetic o de c digoã ó
- 43. JCranky@ Convers es implicitasõ Grande ferramenta para escrever DSLs e pega erros em( tempo de compilac oã )
- 44. JCranky@ Convers es implicitasõ “Pimp my library” Ex.: Predef + RichInt / StringWarpper etc
- 45. JCranky@ Type Classes Simplificando: Uma forma de classificar outras classes E oferecer funcionalidade extra
- 46. JCranky@ Type Classes Uso de Parametros impl citosí
- 48. JCranky@ Itens avancados Sugest es para quem temõ Estomado N o vamos ver! pã =
- 49. JCranky@ Itens avancados trait CanBuildFrom From, Elem, To[- - + ] type projection phantom types path dependent types Lenses Etc ...
- 50. JCranky@ Sugest es de Estudo:õ Existential Types x Raw Types: http://typelevel.org/blog/ / /2015 02 26 /rawtypes.html
- 51. JCranky@ Sugest es de Estudo:õ Infer ncia de Tipos a Fundo:ê https://skillsmatter.com/skillscasts / demystifying type inference5841- - -
- 53. JCranky@ Questions !? Throw them at me! If it pleases you...
- 54. Paulo Jcranky Siqueira“ ” Paulo.siqueira gmail.com@ / jcranky@