Scala: Linguagem Promissora e Funcional

Apresentação no FORTES 2013 (Fórum de Tecnologias e Engenharia de Software). Aborda a motivação do porquê estudar Scala, quais os benefícios da programação funcional e recursos de Scala.

Transcript

1. Scala Linguagem Promissora e Funcional Michael Schuenck dos Santos @michaelss TRE-TO quinta-feira, 25 de abril de 13
2. Eu • Bacharel em Sistemas de Informação pelo CEULP/ ULBRA e ex-professor • Mestre em Sistemas e Computação pela UFRN e ex-professor • Analista de Sistemas no TRE-TO quinta-feira, 25 de abril de 13
3. “Iluminar sua mente???” quinta-feira, 25 de abril de 13
4. Java x .NET quinta-feira, 25 de abril de 13
5. Por que o interesse em Scala? quinta-feira, 25 de abril de 13
6. Twitter Por que o interesse em Scala? quinta-feira, 25 de abril de 13
7. A Infra e a JVM Por que o interesse em Scala? quinta-feira, 25 de abril de 13
8. Paradigma Funcional Por que o interesse em Scala? quinta-feira, 25 de abril de 13
9. Interesse por LP’s Por que o interesse em Scala? quinta-feira, 25 de abril de 13
10. quinta-feira, 25 de abril de 13
11. História 2001 2003 2004 Início do projeto de Scala Redesign: versão 2.0 Primeiro release público, para a JVM 2006 Liberada para .NET 2011 Martin Odersky funda a Typesafe, que logo recebe um investimento de US$ 3 milhões Martin Odersky Prof. na Univ. de Lausanne (Suíça) Criador de Generics e do compilador Java quinta-feira, 25 de abril de 13
12. Performance O Google fez um benchmark entre C++, Java, Scala e Go quinta-feira, 25 de abril de 13
13. Performance O Google fez um benchmark entre C++, Java, Scala e Go Uso de memória quinta-feira, 25 de abril de 13
14. Performance O Google fez um benchmark entre C++, Java, Scala e Go Uso de memória quinta-feira, 25 de abril de 13
15. Performance O Google fez um benchmark entre C++, Java, Scala e Go Uso de memória quinta-feira, 25 de abril de 13
16. Performance Tempo quinta-feira, 25 de abril de 13
17. Performance Tempo quinta-feira, 25 de abril de 13
18. Performance Tempo quinta-feira, 25 de abril de 13
19. Performance Linhas de código quinta-feira, 25 de abril de 13
20. Performance Linhas de código quinta-feira, 25 de abril de 13
21. Performance Linhas de código quinta-feira, 25 de abril de 13
22. Quem está usando quinta-feira, 25 de abril de 13
23. Características quinta-feira, 25 de abril de 13
24. Uso de {chaves} Características quinta-feira, 25 de abril de 13
25. Uso de {chaves} Características Muitas vezes dispensáveis quinta-feira, 25 de abril de 13
26. Uso de {chaves} Características ; só com mais de uma expressão por linha quinta-feira, 25 de abril de 13
27. Concisão Características quinta-feira, 25 de abril de 13
28. Alto Nível Características quinta-feira, 25 de abril de 13
29. Características Tipagem Estática quinta-feira, 25 de abril de 13
30. Características Tipagem Estática • Erros em tempo de compilação quinta-feira, 25 de abril de 13
31. Características Tipagem Estática • Erros em tempo de compilação • Refatorações seguras quinta-feira, 25 de abril de 13
32. Características Tipagem Estática • Erros em tempo de compilação • Refatorações seguras • Scala: inferência de tipos quinta-feira, 25 de abril de 13
33. Documentação, Clareza e Previsibilidade var a = “Palmas” if (b == 0) a = 10 println(a * 2) ? Características quinta-feira, 25 de abril de 13
34. Tipagem C# C++ Estática Dinâmica JS Características quinta-feira, 25 de abril de 13
35. Características OO Funcional quinta-feira, 25 de abril de 13
36. Paradigma OO Funcional C# Haskell Scheme Lisp Smalltalk F# quinta-feira, 25 de abril de 13
37. OO(Scala) > OO(Java) quinta-feira, 25 de abril de 13
38. Não se utiliza os tipos primitivos OO(Scala) > OO(Java) int double float boolean byte short Int Double Float Boolean Byte Short quinta-feira, 25 de abril de 13
39. Operadores unários e binários são métodos OO(Scala) > OO(Java) 1 + 2 == 1.+(2) quinta-feira, 25 de abril de 13
40. Estrutura Retorno: obrigatório em funções recursivas Dispensável se retorno Unit Parâmetros return desnecessário Argumento padrão obrigatórias p/ mais de uma linha quinta-feira, 25 de abril de 13
41. Paradigma Funcional quinta-feira, 25 de abril de 13
42. Interesse crescente: Resolver o problema de multicores Paradigma Funcional quinta-feira, 25 de abril de 13
43. OO Funcional Composição de objetos Composição de funções Alteração de estado Ausência de efeitos colaterais Algoritmos iterativos Algoritmos recursivos Paradigma Funcional quinta-feira, 25 de abril de 13
44. Imutabilidade val x = “Olá” x = “Oi” // Erro var y = “Olá” y = “Oi” // Ok Paradigma Funcional quinta-feira, 25 de abril de 13
45. Funções de Ordem Superior Podem ser passadas e retornadas def op(x: Int, y: Int, f: (Int, Int) => Int): Int = f(x, y) Paradigma Funcional quinta-feira, 25 de abril de 13
46. Funções de Ordem Superior Podem ser passadas e retornadas def op(x: Int, y: Int, f: (Int, Int) => Int): Int = f(x, y) def soma(a: Int, b: Int) = a + b op(1, 2, soma) Paradigma Funcional quinta-feira, 25 de abril de 13
47. Funções Anônimas def op(x: Int, y: Int, f: (Int, Int) => Int): Int = f(x, y) op(1, 2, (a: Int, b: Int) => a + b) Paradigma Funcional quinta-feira, 25 de abril de 13
48. Funções Anônimas def op(x: Int, y: Int, f: (Int, Int) => Int): Int = f(x, y) op(1, 2, (a: Int, b: Int) => a + b) Paradigma Funcional quinta-feira, 25 de abril de 13
49. Currying Paradigma Funcional quinta-feira, 25 de abril de 13
50. Currying def mul(x: Int) = (y: Int) => x * y Paradigma Funcional quinta-feira, 25 de abril de 13
51. Currying def mul(x: Int) = (y: Int) => x * y mul(6)(7) Paradigma Funcional quinta-feira, 25 de abril de 13
52. Currying def mul(x: Int) = (y: Int) => x * y mul(6)(7) (y: Int) => 6 * y Paradigma Funcional quinta-feira, 25 de abril de 13
53. Recursos de Scala quinta-feira, 25 de abril de 13
54. for Recursos de Scala quinta-feira, 25 de abril de 13
55. for for (i <- 1 to 10) println(i) for (i <- 1 to 9; j <- 1 to 9) println(i) for (i <- 1 to 9 if i != 5) println(i) val x = for (i <- 1 to 9) yield i * i //(1, 4, 9, 16, 25, 36, ..., 81) Recursos de Scala quinta-feira, 25 de abril de 13
56. O método apply • Uma espécie de método padrão “Michael”(1) // “i” Classe String tem o método: def apply(n: Int): Char Recursos de Scala quinta-feira, 25 de abril de 13
57. Pré-condições class Racional(x: Int, y: Int) { require(y > 0, “Denominador deve ser positivo”) ... } Recursos de Scala quinta-feira, 25 de abril de 13
58. Traits trait Plural { def pluralizar(x: String) = x + “s” } trait Dupla { def duplicar(x: String) = x + x } class MyString(x: String) extends Plural with Dupla { } Recursos de Scala quinta-feira, 25 de abril de 13
59. Pattern Matching var sinal = ... val ch: Char = ... ch match { case ‘+’ => sinal = 1 case ‘-’ => sinal = -1 case _ => sinal = 0 } Recursos de Scala quinta-feira, 25 de abril de 13
60. Pattern Matching (2) var sinal = ... val ch: Char = ... sinal = ch match { case ‘+’ => 1 case ‘-’ => -1 case _ => 0 } Recursos de Scala quinta-feira, 25 de abril de 13
61. Pattern Matching (3) def getInt(obj: Any) = obj match { case x: Int => x case s: String => Integer.parseInt(s) case _: BigInt => Int.MaxValue case _=> 0 } Recursos de Scala quinta-feira, 25 de abril de 13
62. Atores Recursos de Scala ≅ quinta-feira, 25 de abril de 13
63. Otimização de Tail- Recursion Tail-recursion: não é necessário computar o resultado de chamadas recursivas Recursos de Scala quinta-feira, 25 de abril de 13
64. REPL: Read-Evaluate-Print Loop quinta-feira, 25 de abril de 13
65. Frameworks quinta-feira, 25 de abril de 13
66. Adoção quinta-feira, 25 de abril de 13
67. Nivelamento da Equipe Adoção quinta-feira, 25 de abril de 13
68. • Curva de aprendizado • Código Java-like no início • Uso das demais funcionalidades de Scala depois Adoção quinta-feira, 25 de abril de 13
69. • Comunidade pequena, mas crescente • Acessível • Scala Days scaladays.org Adoção quinta-feira, 25 de abril de 13
70. Recursos • http://twitter.github.com/ scala_school/ • http://twitter.github.com/ effectivescala/ • https://www.coursera.org/course/ progfun • E livros (só em inglês por enquanto) quinta-feira, 25 de abril de 13
71. Scala Linguagem Promissora e Funcional Michael Schuenck dos Santos @michaelss TRE-TO if (abertoPerguntas()) publico.perguntar() quinta-feira, 25 de abril de 13