- O documento discute os conceitos e benefícios da programação funcional, incluindo modularidade, decomposição de problemas e composição de operações. - É introduzido o conceito de funções de alta ordem e como closures em Swift permitem código mais conciso e reutilizável. - Exemplos demonstram o uso de mapa, filtro e redução. A imutabilidade e structs são discutidos como uma abordagem funcional.

1. Functional Programming
featuring Swift
Frank Kair

2. Por que funcional?

3. ● Complexidade → Modularidade
Por que funcional?

4. ● Complexidade → Modularidade
● Decomposição dos problemas
Por que funcional?

5. ● Complexidade → Modularidade
● Decomposição dos problemas
● Composição (glue / chain) de operações
Por que funcional?

6. ● Complexidade → Modularidade
● Decomposição dos problemas
● Composição (glue / chain) de operações
● Paradigma diferente, mais ferramentas
Por que funcional?

7. Introdução e ideias
let intro = FunctionalProgramming(withContent: .Intro)
intro.start()

8. Introdução
● “...treats computation as the evaluation of mathematical functions and avoids
changing-state and mutable data”
● “...programming is done with expressions instead of statements”
● No side effects
Wikipedia

9. Introdução
A monad is a triple (T, n, u) where T is an endofunctor T: X → X and n: I → T and u: T x T → T
are 2 natural transformations satisfying these laws:
Identity law: u(n(T)) = T = u(T(n))
Associative law: u(u(T x T) x T)) = u(T x u(T x T))
In other words, a monad in X is just a monoid in the category of endofunctors of X, with
product x replaced by composition of endofunctors and unit set by the identity endofunctor.

10. Introdução

11. Introdução
?

12. Higher order functions
f( f(x), g(x) ) → h(x)

13. Higher order functions
Funções que aceitam funções como parâmetro e/ou que retornam funções.

14. Higher order functions
Funções que aceitam funções como parâmetro e/ou que retornam funções.
Swift → Closures

15. Higher order functions

16. Higher order functions

17. Higher order functions
Muito código compartilhado…

18. Higher order functions
Muito código compartilhado…
Com generics e closures, podemos construir estruturas mais concisas
e reutilizáveis.

19. Higher order functions

20. Higher order functions

21. Map

22. Filter

23. Reduce

24. Exemplos com Map, Filter e Reduce

25. Exemplos com Map, Filter e Reduce

26. Exemplos com Map, Filter e Reduce

27. Exemplos com Map, Filter e Reduce

28. Exemplos com Map, Filter e Reduce

29. Exemplos com Map, Filter e Reduce

30. Exemplos com Map, Filter e Reduce

31. Exemplos
Meios != Fins

32. Imutabilidade
(Ou structs vs classes)

33. Imutabilidade
Classes
● Reference semantics
● Herança

34. Imutabilidade
Classes
● Reference semantics
● Herança
Structs
● Value semantics

35. Stack vs Heap
Stack
● Como a estrutura de dados Stack: com push e pop

36. Stack vs Heap
Stack
● Como a estrutura de dados Stack: com push e pop
● Estática

37. Stack vs Heap
Stack
● Como a estrutura de dados Stack: com push e pop
● Estática
● Rápida

38. Stack vs Heap
Stack
● Como a estrutura de dados Stack: com push e pop
● Estática
● Rápida
● Tamanho limitado

39. Stack vs Heap
Stack
● Como a estrutura de dados Stack: com push e pop
● Estática
● Rápida
● Tamanho limitado
● Lifetime: Escopo da função (stack frames)

40. Heap
● Estrutura complexa
Stack vs Heap

41. Stack vs Heap
Heap
● Estrutura complexa
● Dinâmica: Procura-se blocos de memória livre para alocação de memória

42. Stack vs Heap
Heap
● Estrutura complexa
● Dinâmica: Procura-se blocos de memória livre para alocação de memória
● Lenta (em comparação com stack)

43. Stack vs Heap
Heap
● Estrutura complexa
● Dinâmica: Procura-se blocos de memória livre para alocação de memória
● Lenta (em comparação com stack)
● Lifetime: Indeterminado → Reference counting

44. Stack vs Heap
Heap
● Estrutura complexa
● Dinâmica: Procura-se blocos de memória livre para alocação de memória
● Lenta (em comparação com stack)
● Lifetime: Indeterminado → Reference counting
● Memória → Depende da máquina

45. Class

46. Class

47. Class

48. Class

49. Struct

50. Struct

51. Struct
“Almost all types in Swift are value types, including arrays,
dictionaries, numbers, booleans, tuples, and enums. Classes are the
exception, rather than the rule.”
EIDHOF, Chris
Functional Swift

52. ● Menos acoplamento / dependência / implicit sharing
Por que Structs?

53. ● Menos acoplamento / dependência / implicit sharing
● Mais fácil de testar
Por que Structs?

54. ● Menos acoplamento / dependência / implicit sharing
● Mais fácil de testar
● Mais modularidade (mesmo output para o mesmo input)
Por que Structs?

55. Por que Structs?
● Menos acoplamento / dependência / implicit sharing
● Mais fácil de testar
● Mais modularidade (mesmo output para o mesmo input)
● Menos memory leaks (strong, weak e unowned…)

56. Exemplos com struct

57. Exemplo

58. Exemplo

59. Exemplo Account

60. Exemplo Account

61. ...

62. ...

63. ...

64. Class → Struct

65. Functor and Monad
devs.forEach {
print( $0.firstImpression )
}
// WTF
// …?
// Say waaaaat
// Missing Obj-C already

66. ● Sempre retorna struct
Monad → Chaining

67. ● Sempre retorna struct
● Pipeline de operações
Monad → Chaining

68. ● Sempre retorna struct
● Pipeline de operações
● Legibilidade
Monad → Chaining

69. Monad → Chaining
● Sempre retorna struct
● Pipeline de operações
● Legibilidade
● Fácil de detectar bug na cadeia de operações

70. Monad → Chaining
● Sempre retorna struct
● Pipeline de operações
● Legibilidade
● Fácil de detectar bug na cadeia de operações
● Optional, array, dictionary...

71. Conclusões
Do we hate it?
Do we love it?

72. ● Wikipedia (Functional Programming, Monad, Lambda Calculus)
● EIDHOF, Chris - Functional Programming
● “Why do functional programming matters?” (U of Glasgow)
● objc.io
● http://adit.io/posts/2013-04-17-functors,_applicatives,_and_monads_in_pictu
res.html
Algumas referências