Scala é considerada uma linguagem funcional porque suporta: 1) Programação funcional através de funções de ordem superior e avaliação atrasada; 2) Transparência referencial evitando efeitos colaterais; 3) Streams permitem gerar sequências infinitas de maneira preguiçosa.

1. POR QUE DIZEMOS QUE
SCALA É UMA LINGUAGEM
FUNCIONAL?

2. POR QUE DIZEMOS QUE
SCALA É UMA LINGUAGEM
FUNCIONAL?
Pedro Matiello
pmatiello@gmail.com
@pmatiello

3. SCALA

4. • Tipagem estática
• Programação orientada a objetos
• Programação funcional

5. PROGRAMAÇÃO FUNCIONAL

6. • Hughes, John.: Why
Functional
Programming Matters. The Computer
Journal (1984)

7. •A operação fundamental é a aplicação de funções

8. • Um programa é uma função
• Normalmente composta de outras funções
•A entrada são os argumentos
•A saída é o valor devolvido

9. f(x) = x²

10. • Transparência referencial (referential transparency)
•A aplicação de uma função não produz efeitos
colaterais

11. • Funções de ordem superior (higher-order functions)
• Avaliação atrasada (lazy evaluation)

12. FUNÇÕES DE ORDEM
SUPERIOR

13. • Umafunção de ordem superior satisfaz ao menos
uma das propriedades abaixo:
• Aceita ao menos uma função como argumento
• Devolve uma função

14. scala> def square(i:Int) = i*i
square: (i: Int)Int
scala> val list = (1 to 10).toList
list: List[Int] = List(1, 2, 3, 4, 5, 6, 7, 8, 9, 10)

15. scala> def square(i:Int) = i*i
square: (i: Int)Int
scala> val list = (1 to 10).toList
list: List[Int] = List(1, 2, 3, 4, 5, 6, 7, 8, 9, 10)
scala> list.map(square)
res0: List[Int] = List(1, 4, 9, 16, 25, 36, 49, 64, 81,
100)

16. scala> def square(i:Int) = i*i
square: (i: Int)Int
scala> val list = (1 to 10).toList
list: List[Int] = List(1, 2, 3, 4, 5, 6, 7, 8, 9, 10)
scala> list.map(square)
res0: List[Int] = List(1, 4, 9, 16, 25, 36, 49, 64, 81,
100)

17. AVALIAÇÃO ATRASADA

18. • Estratégia
de avaliação que satisfaz ambas as
propriedades abaixo:
•A avaliação da expressão é atrasada até que o
valor seja necessário (non-strict evaluation)
• Avaliações repetidas são evitadas (sharing)

19. CALL BY NAME
def loop(condition: => Boolean)(expression: => Unit) {
if (condition) {
expression
loop(condition)(expression)
}
}

20. CALL BY NAME
def loop(condition: => Boolean)(expression: => Unit) {
if (condition) {
expression
loop(condition)(expression)
}
}

21. CALL BY NAME
def loop(condition: => Boolean)(expression: => Unit) {
if (condition) {
expression
loop(condition)(expression)
}
}
var i = 0;
loop(i < 5) { println(i); i=i+1 }

22. CALL BY NAME
def loop(condition: => Boolean)(expression: => Unit) {
if (condition) {
expression
loop(condition)(expression)
}
}
var i = 0;
loop(i < 5) { println(i); i=i+1 }
0
1
2
3
4

23. CALL BY NAME
def loop(condition: => Boolean)(expression: => Unit) {
if (condition) {
expression
loop(condition)(expression)
}
}
var i = 0;
loop(i < 5) { println(i); i=i+1 }
0
1
2 (apenas non-strict evaluation)
3
4

24. LAZY VALS
scala> lazy val x = { println("avaliou x"); "XXX" }
x: java.lang.String = <lazy>
scala> lazy val y = { println("avaliou y"); "YYY" }
y: java.lang.String = <lazy>

25. LAZY VALS
scala> lazy val x = { println("avaliou x"); "XXX" }
x: java.lang.String = <lazy>
scala> lazy val y = { println("avaliou y"); "YYY" }
y: java.lang.String = <lazy>

26. LAZY VALS
scala> lazy val x = { println("avaliou x"); "XXX" }
x: java.lang.String = <lazy>
scala> lazy val y = { println("avaliou y"); "YYY" }
y: java.lang.String = <lazy>
scala> if (true) x else y

27. LAZY VALS
scala> lazy val x = { println("avaliou x"); "XXX" }
x: java.lang.String = <lazy>
scala> lazy val y = { println("avaliou y"); "YYY" }
y: java.lang.String = <lazy>
scala> if (true) x else y
avaliou x
res0: java.lang.String = XXX

28. LAZY VALS
scala> lazy val x = { println("avaliou x"); "XXX" }
x: java.lang.String = <lazy>
scala> lazy val y = { println("avaliou y"); "YYY" }
y: java.lang.String = <lazy>
scala> if (true) x else y
avaliou x
res0: java.lang.String = XXX
scala> if (true) x else y

29. LAZY VALS
scala> lazy val x = { println("avaliou x"); "XXX" }
x: java.lang.String = <lazy>
scala> lazy val y = { println("avaliou y"); "YYY" }
y: java.lang.String = <lazy>
scala> if (true) x else y
avaliou x
res0: java.lang.String = XXX
scala> if (true) x else y
res1: java.lang.String = XXX

30. STREAMS
scala> lazy val eagerNaturals:List[Int] =
0 :: eagerNaturals.map(_+1)
eagerNaturals: List[Int] = <lazy>

31. STREAMS
scala> lazy val eagerNaturals:List[Int] =
0 :: eagerNaturals.map(_+1)
eagerNaturals: List[Int] = <lazy>
scala> eagerNaturals.take(20)
java.lang.StackOverflowError
! at .eagerNaturals(<console>:7)
! at .eagerNaturals(<console>:7)
! ...

32. STREAMS
scala> lazy val lazyNaturals:Stream[Int] =
0 #:: lazyNaturals.map(_+1)
lazyNaturals: Stream[Int] = <lazy>

33. STREAMS
scala> lazy val lazyNaturals:Stream[Int] =
0 #:: lazyNaturals.map(_+1)
lazyNaturals: Stream[Int] = <lazy>
scala> lazyNaturals.take(20)
res0: scala.collection.immutable.Stream[Int] =
Stream(0, ?)

34. STREAMS
scala> lazy val lazyNaturals:Stream[Int] =
0 #:: lazyNaturals.map(_+1)
lazyNaturals: Stream[Int] = <lazy>
scala> lazyNaturals.take(20).toList
res1: List[Int] = List(0, 1, 2, 3, 4, 5, 6, 7, 8, 9,
10, 11, 12, 13, 14, 15, 16, 17, 18, 19)

35. POR QUE DIZEMOS QUE SCALA É
UMA LINGUAGEM FUNCIONAL?
Pedro Matiello
pmatiello@gmail.com
@pmatiello