scala: linguagem promissora e funcional

ScalaLinguagem Promissora e Funcional

Michael Schuenck dos Santos@michaelss

TRE-TO

quinta-feira, 25 de abril de 13

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


“Iluminar sua mente???”


Java x .NET


Por que o interesse em Scala?


Twitter



A Infra e a JVM



Paradigma Funcional



Interesse por LP’s



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 OderskyProf. na Univ. de Lausanne(Suíça)

Criador de Generics e do compilador Java


PerformanceO Google fez um benchmark entre

C++, Java, Scala e Go

Uso de memóriaquinta-feira, 25 de abril de 13

Performance

Tempoquinta-feira, 25 de abril de 13

Performance

Linhas de códigoquinta-feira, 25 de abril de 13

Quem está usando


Características


Uso de {chaves}

Características

Muitas vezes dispensáveis


Uso de {chaves}

Características

; só com mais de uma expressão por linha


ConcisãoCaracterísticas


Alto NívelCaracterísticas


Características

Tipagem Estática


Características

Tipagem Estática

• Erros em tempo de compilação


Características

Tipagem Estática


• Refatorações seguras


Características

Tipagem Estática


• Refatorações seguras

• Scala: inferência de tipos


Documentação, Clareza e Previsibilidade

var a = “Palmas”if (b == 0) a = 10println(a * 2) ?

Características


Tipagem

C#C++

Estática Dinâmica

JS

Características


Características

OO

Funcional


Paradigma

OO Funcional

C# Haskell Scheme

LispSmalltalk F#


OO(Scala) > OO(Java)


Não se utiliza os tipos primitivos


intdouble

floatboolean

byteshort

IntDoubleFloat

BooleanByteShort


Operadores unários e binários são métodos


1 + 2==

1.+(2)quinta-feira, 25 de abril de 13

EstruturaRetorno:

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


Paradigma Funcionalquinta-feira, 25 de abril de 13

Interesse crescente:Resolver o problema

de multicores

Paradigma Funcional


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


Imutabilidade

val x = “Olá”x = “Oi” // Erro

var y = “Olá”y = “Oi” // Ok

Paradigma Funcional


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


Funções de Ordem Superior

Podem ser passadas e retornadas


def soma(a: Int, b: Int) = a + bop(1, 2, soma)

Paradigma Funcional


Funções Anônimas


op(1, 2, (a: Int, b: Int) => a + b)

Paradigma Funcional


Currying

def mul(x: Int) = (y: Int) => x * y

Paradigma Funcional


Currying

def mul(x: Int) = (y: Int) => x * ymul(6)(7)

Paradigma Funcional


Currying

def mul(x: Int) = (y: Int) => x * ymul(6)(7) (y: Int) => 6 * y

Paradigma Funcional


Recursos de Scalaquinta-feira, 25 de abril de 13

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


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


Pré-condições

class Racional(x: Int, y: Int) { require(y > 0, “Denominador deve ser positivo”) ...}

Recursos de Scala


Traitstrait 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


Pattern Matching

var sinal = ...val ch: Char = ...

ch match { case ‘+’ => sinal = 1 case ‘-’ => sinal = -1 case _ => sinal = 0}

Recursos de Scala


Pattern Matching (2)

var sinal = ...val ch: Char = ...

sinal = ch match { case ‘+’ => 1 case ‘-’ => -1 case _ => 0}

Recursos de Scala


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


AtoresRecursos de Scala

≅quinta-feira, 25 de abril de 13

Otimização de Tail-Recursion

Tail-recursion: não é necessário computar o resultado de chamadas recursivas

Recursos de Scala


REPL: Read-Evaluate-Print Loop


Frameworks


Adoção


Nivelamento da Equipe

Adoção


• Curva de aprendizado

• Código Java-like no início

• Uso das demais funcionalidades de Scala depois

Adoção


• Comunidade pequena, mas crescente

• Acessível

• Scala Days scaladays.org

Adoção


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)


http://twitter.github.com/scala_school/




http://twitter.github.com/effectivescala/




https://www.coursera.org/course/progfun




ScalaLinguagem Promissora e Funcional

Michael Schuenck dos Santos@michaelss

TRE-TO

if (abertoPerguntas()) publico.perguntar()


scala: linguagem promissora e funcional

Technology