Além dos Paradigmas (v.2)

Exemplos em Go e Python

Transcript

1. E x e m p l o s e m G o e P y t h o n ALÉM DOS PARADIGMAS Entenda as características da linguagem e saiba escolher e adaptar padrões de projeto Luciano Ramalho @ramalhoorg
2. 2 Sometimes you need a blank template.
3. FLUENT PYTHON, MEU 1º LIVRO Fluent Python (O’Reilly, 2015) Python Fluente (Novatec, 2015) Python к вершинам
 мастерства (DMK, 2015) 流暢的 Python (Gotop, 2016) also in Polish, Korean, etc… 3 4.7 stars at
 Amazon.com
4. PARADIGMAS Categorias de linguagens de programação 4
5. O PRIMEIRO “PARADIGMA" QUE APRENDI: IMPERATIVO 5 HP-25 TI 58C
6. PROGRAMA PARA CALCULADORA HP-25 6
7. PANORAMA SOBRE LINGUAGENS DE PROGRAMAÇÃO Programming Language Pragmatics,
 4th edition (2015) Michael L. Scott 7
8. MDC: ASM X86 Máximo divisor comum em Assembly x86 (Scott, 2015) 8
9. MDC EM C, OCAML, PROLOG 9
10. MDC EM PYTHON Estilo imperativo Estilo funcional 10
11. MDC EM PYTHON 11 Inadequado para Python que não faz otimização de chamada de cauda (TCO) Estilo imperativo Estilo funcional
12. UMA CLASSIFICAÇÃO 12 Programming Language Pragmatics,
 4th edition (2015) Michael L. Scott
13. UMA CLASSIFICAÇÃO (ZOOM) 13
14. UMA CLASSIFICAÇÃO (ZOOM) 14 ???
15. OUTRO LIVRO, OUTRA CLASSIFICAÇÃO Princípios de Linguagens de Programação
 (2003) Ana Cristina Vieira de Melo Flávio Soares Corrêa da Silva 15
17. 17 Lógicas
18. SITE: THE LANGUAGE LIST 18
19. SITE QUEBRADO, LINGUAGENS FALTANDO… 19
20. CATEGORIAS DE LINGUAGENS 20
21. CATEGORIAS DE LINGUAGENS (2) 21
22. CATEGORIAS DE LINGUAGENS (3) 22
23. CATEGORIAS DE LINGUAGENS (4) 23
24. CATEGORIAS Ontologia é tão anos 90… 24
25. EM UMA ENCICLOPÉDIA BORGIANA… 25
26. UMA CLASSIFICAÇÃO BASEADA EM FATOS CIENTÍFICOS 26
27. UMA CLASSIFICAÇÃO BASEADA EM FATOS CIENTÍFICOS? 27 "Gases" “nobres"!?
28. “Ontology is overrated.” Clay Shirky 28 Ontologias são sobrevalorizadas. Pesquise o artigo em inglês!
29. UMA ABORDAGEM MELHOR Fundamental Features of Programming Languages 29
30. ENSINO MODERNO DE TEORIA DE LINGUAGENS 30 Ensinando linguagens de programação na era
 pós-Lineu
31. ARTIGO APRESENTANDO A ABORDAGEM 31
32. ARTIGO APRESENTANDO A ABORDAGEM 32 “Paradigmas" de linguagens de programação são um legado moribundo e tedioso…
33. ARTIGO APRESENTANDO A ABORDAGEM 33
34. ARTIGO APRESENTANDO A ABORDAGEM 34 Criadores de linguagens modernas não têm o menor respeito por eles…
35. ARTIGO APRESENTANDO A ABORDAGEM 35
36. ARTIGO APRESENTANDO A ABORDAGEM 36 …devemos abandonar esse método no ensino de linguagens…
37. ARTIGO APRESENTANDO A ABORDAGEM 37
38. ARTIGO APRESENTANDO A ABORDAGEM 38 …um livro-texto que explora esses assuntos.
39. TEORIA NA PRÁTICA COM RACKET (DIALETOS DE SCHEME) 39
40. PADRÕES DE PROJETO Quando as linguagens deixam a desejar 40
41. GOF: LIVRO CLÁSSICO DA “GANG OF FOUR” Design Patterns: Elements of Reusable Object-Oriented Software (1995) Erich Gamma
 Richard Helm
 Ralph Johnson
 John Vlissides 41
42. PROBLEMAS NA DIFUSÃO DOS PADRÕES 42 Ralph Johnson no IME/USP (2014?)
43. PROBLEMAS NA DIFUSÃO DOS PADRÕES 43 Ralph Johnson no IME/USP (2014?) Excesso de ênfase nos padrões como resultados finais em vez de passos no processo de design
44. PROBLEMAS NA DIFUSÃO DOS PADRÕES 44 Ralph Johnson no IME/USP (2014?) Conformidade com padrões não é uma medida de qualidade.
45. NEM TODO PADRÃO É UNIVERSAL Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides, Design Patterns: Elements of Reusable Object-Oriented Software (Addison-Wesley, 1995), p. 4. 45
46. NEM TODO PADRÃO É UNIVERSAL Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides, Design Patterns: Elements of Reusable Object-Oriented Software (Addison-Wesley, 1995), p. 4. 46 Nossos padrões assumem características no nível de Smalltalk/C++…
47. NEM TODO PADRÃO É UNIVERSAL Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides, Design Patterns: Elements of Reusable Object-Oriented Software (Addison-Wesley, 1995), p. 4. 47 Se tivéssemos assumido linguagens procedurais, talvez tivéssemos incluído padrões como “Herança”, “Encapsulamento" e “Polimorfismo".
50. 50 Estudo do livro “Padrões de Projeto”: 16 dos 23 padrões têm implementações qualitativamente mais simples em Lisp ou Dylan do que em C++, ao menos para alguns usos de cada padrão.
51. 51 16 dos 23 padrões são invisíveis ou mais simples, devido a essas características
52. CARACTERÍSTICAS Características essenciais, não apenas açúcar sintático. 52
53. AMOSTRA DE CARACTERÍSTICAS ✖ LINGUAGENS 53 Common Lisp C Java Python Go Funções de 1ª classe ✔ ∗ ✔ ✔ ✔ Tipos de 1ª classe ✔ ✔ Iteradores ∗ ✔ ✔ ∗ Modelo de variáveis referência valor* valor e referência referência valor* e referência Checagem de tipos dinâmica estática estática dinâmica estática Expressão de tipos estrutural nominal nominal estrutural estrutural
54. AMOSTRA DE CARACTERÍSTICAS ✖ LINGUAGENS 54 Common Lisp C Java Python Go Funções de 1ª classe ✔ ∗ ✔ ✔ ✔ Tipos de 1ª classe ✔ ✔ Iteradores ∗ ✔ ✔ ∗ Modelo de variáveis referência valor* valor e referência referência valor* e referência Checagem de tipos dinâmica estática estática dinâmica estática Expressão de tipos estrutural nominal nominal estrutural estrutural Funções são objetos Classes são objetos
55. AMOSTRA DE CARACTERÍSTICAS ✖ LINGUAGENS 55 Common Lisp C Java Python Go Funções de 1ª classe ✔ ∗ ✔ ✔ ✔ Tipos de 1ª classe ✔ ✔ Iteradores ∗ ✔ ✔ ∗ Modelo de variáveis referência valor* valor e referência referência valor* e referência Checagem de tipos dinâmica estática estática dinâmica estática Expressão de tipos estrutural nominal nominal estrutural estrutural
56. AMOSTRA DE CARACTERÍSTICAS ✖ LINGUAGENS 56 Common Lisp C Java Python Go Funções de 1ª classe ✔ ∗ ✔ ✔ ✔ Tipos de 1ª classe ✔ ✔ Iteradores ∗ ✔ ✔ ∗ Modelo de variáveis referência valor* valor e referência referência valor* e referência Checagem de tipos dinâmica estática estática dinâmica estática Expressão de tipos estrutural nominal nominal estrutural estrutural
57. AMOSTRA DE CARACTERÍSTICAS ✖ LINGUAGENS 57 Common Lisp C Java Go Python Funções de 1ª classe ✔ ∗ ✔ ✔ ✔ Tipos de 1ª classe ✔ ✔ Iteradores ∗ ✔ ∗ ✔ Modelo de variáveis referência valor* valor e referência valor* e referência referência Checagem de tipos dinâmica estática estática estática dinâmica Expressão de tipos estrutural nominal nominal estrutural estrutural
58. AMOSTRA DE CARACTERÍSTICAS ✖ LINGUAGENS 58 Common Lisp C Java Go Python Funções de 1ª classe ✔ ∗ ✔ ✔ ✔ Tipos de 1ª classe ✔ ✔ Iteradores ∗ ✔ ∗ ✔ Modelo de variáveis referência valor* valor e referência valor* e referência referência Checagem de tipos dinâmica estática estática estática dinâmica Expressão de tipos estrutural nominal nominal estrutural estrutural
59. STRATEGY EM GO Aproveitando as características de Go 59
60. SELECIONAR UM ALGORITMO EM TEMPO DE EXECUÇÃO 60
61. 61 Contexto Estratégia Estratégias concretas SELECIONAR UM ALGORITMO EM TEMPO DE EXECUÇÃO
62. STRATEGY EM GO Implementação “clássica” usando interface Implementação usando funções como objetos 62
63. TESTES 63 interface/strategy_test.go Repo: https://github.com/ramalho/go-paradigma/
64. TESTES 64 interface/strategy_test.go
65. CLIENTE E ITENS DE UM PEDIDO 65 interface/store.go
66. CONTEXTO E ESTRATÉGIA 66 interface/strategy.go
67. ESTRATÉGIA CONCRETA 67 interface/store.go
68. MAIS ESTRATÉGIAS CONCRETAS 68 interface/store.go
69. STRATEGY COM FUNÇÕES DE 1ª CLASSE 69
70. TESTES COM FUNÇÕES 70
71. ESTRATÉGIAS CONCRETAS COM FUNÇÕES 71
72. QUAL SOLUÇÃO É MAIS IDIOMÁTICA? Interfaces x funções 72
73. INTERFACE X FUNÇÕES DE 1ª CLASSE Na biblioteca padrão, interfaces de um método são comuns. 73
74. INTERFACE X FUNÇÕES DE 1ª CLASSE Mas o pacote http suporta os dois estilos de programação*: 74 *Kumar Iyer (ThoughtWorks): Higher-order functions vs interfaces in golang http://bit.ly/2j39uKh
75. STRATEGY EM PYTHON Aproveitando características de Python 75
76. ESTRATÉGIA PARAMETRIZADA COM INVOCÁVEL 76
77. ESTRATÉGIA PARAMETRIZADA COM INVOCÁVEL 77 objeto promo é instanciado com porcentagem de desconto
78. SUB-CLASSES IMPLEMENTADAS COMO INVOCÁVEIS 78
79. QUAL A SOLUÇÃO MAIS IDIOMÁTICA? Classes x funções 79
80. QUAL É MAIS IDIOMÁTICA? Estratégia clássica parece muito verbosa em Python* Funções de 1ª classe são muito comuns na biblioteca padrão •Exemplo: argumento key nas funções embutidas sorted, max, min 80 * Sim, isto é subjetivo. Estamos falando de estilo!
81. QUAL É MAIS IDIOMÁTICA COM PARÂMETROS? Use de closures é comum em Python •Python 3 ganhou a declaração nonlocal para suportar melhor essa prática Objetos invocáveis são característica típica de Python •Graham Dumpleton recomenda invocáveis para construir @decorators 81
82. CONCLUINDO Aprenda as características fundamentais 82
83. EM VEZ DE CATEGORIAS ESTANQUES… 83 A B C D E F G
84. PENSE NAS CARACTERÍSTICAS FUNDAMENTAIS 84 A B C D E F G
85. Para decidir se determinada implementação ou padrão faz sentido… AS CARACTERÍSTICAS DÃO A DICA A B C D E F G + ✔ ✔ ✔ ✔ + ✔ ✔ ✔ ✔ + ✔ ✔ ✔ ✔ ✔
86. PORQUE APRENDER AS CARACTERÍSTICAS FUNDAMENTAIS Aprender novas linguagens mais rápido Aproveitar melhor as características de cada linguagem Escolher entre implementações alternativas Fazer bom uso de padrões de projeto Depurar problemas difíceis Emular características que fazem falta 86 Inspirado por Programming Language Pragmatics Michael L. Scott *
87. Luciano Ramalho luciano.ramalho@thoughtworks.com
 Twitter: @ramalhoorg Github: github.com/standupdev/paradigm-free Slides: speakerdeck.com/ramalho MUITO GRATO!