Upgrade to Pro — share decks privately, control downloads, hide ads and more …

Por que dizemos que Scala é uma linguagem funcional?

Por que dizemos que Scala é uma linguagem funcional?

Presented at: VII Scaladores, June/2012.

Pedro Matiello

June 13, 2012
Tweet

More Decks by Pedro Matiello

Other Decks in Programming

Transcript

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

    View full-size slide

  2. Pedro Matiello
    [email protected]
    @pmatiello
    POR QUE DIZEMOS QUE
    SCALA É UMA LINGUAGEM
    FUNCIONAL?

    View full-size slide

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

    View full-size slide

  4. PROGRAMAÇÃO FUNCIONAL

    View full-size slide

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

    View full-size slide

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

    View full-size slide

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

    View full-size slide

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

    View full-size slide

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

    View full-size slide

  10. FUNÇÕES DE ORDEM
    SUPERIOR

    View full-size slide

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

    View full-size slide

  12. 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)

    View full-size slide

  13. 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)

    View full-size slide

  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)
    scala> list.map(square)
    res0: List[Int] = List(1, 4, 9, 16, 25, 36, 49, 64, 81,
    100)

    View full-size slide

  15. AVALIAÇÃO ATRASADA

    View full-size slide

  16. •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)

    View full-size slide

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

    View full-size slide

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

    View full-size slide

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

    View full-size slide

  20. 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
    CALL BY NAME

    View full-size slide

  21. 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
    CALL BY NAME
    (apenas non-strict evaluation)

    View full-size slide

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

    View full-size slide

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

    View full-size slide

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

    View full-size slide

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

    View full-size slide

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

    View full-size slide

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

    View full-size slide

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

    View full-size slide

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

    View full-size slide

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

    View full-size slide

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

    View full-size slide

  32. scala> lazy val lazyNaturals:Stream[Int] =
    0 #:: lazyNaturals.map(_+1)
    lazyNaturals: Stream[Int] =
    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)
    STREAMS

    View full-size slide

  33. POR QUE DIZEMOS QUE SCALA É
    UMA LINGUAGEM FUNCIONAL?
    Pedro Matiello
    [email protected]
    @pmatiello

    View full-size slide