Além dos Paradigmas

Entenda as características de Python e saiba escolher e adaptar padrões de projeto

Transcript

1. Te o r i a a s e r v i ç o d a p r á t i c a ALÉM DOS PARADIGMAS Entenda as características da linguagem e saiba escolher e adaptar os padrões 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. UMA CLASSIFICAÇÃO BASEADA EM FATOS CIENTÍFICOS 25
26. UMA CLASSIFICAÇÃO BASEADA EM FATOS CIENTÍFICOS? 26 "Gases" “nobres"!?
27. “Ontology is overrated.” Clay Shirky 27 Ontologias são sobrevalorizadas. Pesquise o artigo em inglês!
28. UMA ABORDAGEM MELHOR Fundamental Features of Programming Languages 28
29. ENSINO MODERNO DE TEORIA DE LINGUAGENS 29 Ensinando linguagens de programação na era
 pós-Lineu
30. ARTIGO APRESENTANDO A ABORDAGEM 30
31. ARTIGO APRESENTANDO A ABORDAGEM 31 “Paradigmas" de linguagens de programação são um legado moribundo e tedioso…
32. ARTIGO APRESENTANDO A ABORDAGEM 32
33. ARTIGO APRESENTANDO A ABORDAGEM 33 Criadores de linguagens modernas não têm o menor respeito por eles…
34. ARTIGO APRESENTANDO A ABORDAGEM 34
35. ARTIGO APRESENTANDO A ABORDAGEM 35 …devemos abandonar esse método no ensino de linguagens…
36. ARTIGO APRESENTANDO A ABORDAGEM 36
37. ARTIGO APRESENTANDO A ABORDAGEM 37 …um livro-texto que explora esses assuntos.
38. TEORIA NA PRÁTICA COM RACKET (DIALETOS DE SCHEME) 38
39. TEORIA NA PRÁTICA COM PASCAL (1990) 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 PYTHON Aproveitando características de Python 59
60. SELEÇÃO DE UM ALGORITMO EM TEMPO DE EXECUÇÃO 60
61. 61 Contexto Estratégia Estratégias concretas SELEÇÃO DE UM ALGORITMO EM TEMPO DE EXECUÇÃO
62. DOCTESTS: CONTEXTO E UMA ESTRATÉGIA CONCRETA 62 Instância de Estratégia (Promo) é passada ao construtor do Contexto (Order: o pedido)
63. DOCTESTS: MAIS DUAS ESTRATÉGIAS CONCRETAS 63
64. VARIAÇÕES DE STRATEGY EM PYTHON Implementação clássica usando ABC Implementação com funções de 1ª classe Implementação parametrizada com closure Implementação parametrizada com classe invocável 64
65. STRATEGY CLÁSSICO: A CLASSE DO CONTEXT 65 Estratégia é passada para o construtor Estratégia é usada aqui
66. STRATEGY: CLASSE ABSTRATA E SUBCLASSE CONCRETA 66
67. MAIS DUAS ESTRATÉGIAS CONCRETAS 67
68. STRATEGY COM FUNÇÃO DE 1A CLASSE 68
69. CONTEXTO: FUNÇÃO DE ESTRATÉGIA COMO ARGUMENTO 69 Função de estratégia é passada ao construtor de Order
70. CONTEXTO: USO DA FUNÇÃO DE ESTRATÉGIA 70
71. ESTRATÉGIAS CONCRETAS COMO FUNÇÕES 71
72. ESTRATÉGIAS CONCRETAS COMO FUNÇÕES (2) 72
73. ESTRATÉGIA PARAMETRIZADA
 COM CLOSURE 73
74. ESTRATÉGIA PARAMETRIZADA COM CLOSURE 74 função promo é invocada com porcentagem de desconto
75. IMPLEMENTAÇÃO COM CLOSURE 75 Função externa recebe argumento ‘percent' Função interna leva associação de `percent` em sua closure
76. LAMBDA: ATALHO PARA DEFINIR A FUNÇÃO INTERNA 76
77. ESTRATÉGIA PARAMETRIZADA COM INVOCÁVEL 77
78. ESTRATÉGIA PARAMETRIZADA COM INVOCÁVEL 78 objeto promo é instanciado com porcentagem de desconto
79. CLASSE IMPLEMENTADA COMO INVOCÁVEL 79
80. SUB-CLASSES IMPLEMENTADAS COMO INVOCÁVEIS 80
81. QUAL A SOLUÇÃO MAIS IDIOMÁTICA? Classes x funções 81
82. 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 82 * Sim, isto é subjetivo. Estamos falando de estilo!
83. 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 83
84. CONCLUINDO Aprenda as características fundamentais 84
85. 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 85 Inspirado por Programming Language Pragmatics Michael L. Scott *
86. Luciano Ramalho luciano.ramalho@thoughtworks.com
 Twitter: @ramalhoorg Github: github.com/standupdev/paradigm-free Slides: speakerdeck.com/ramalho MUITO GRATO!