Exemplos em Go e Python ALÉM DOS PARADIGMAS. Entenda as características da linguagem e saiba escolher e adaptar padrões de projeto

Transcrição

1 Exemplos em Go e Python ALÉM DOS PARADIGMAS Entenda as características da linguagem e saiba escolher e adaptar padrões de projeto Luciano

2 Sometimes you need a blank template. 2

3 FLUENT PYTHON, MEU 1º LIVRO 4.7 stars at Amazon.com Fluent Python (O Reilly, 2015) Python Fluente (Novatec, 2015) Python к вершинам мастерства (DMK, 2015) 流暢的 Python (Gotop, 2016) also in Polish, Korean, etc 3

4 PARADIGMAS Categorias de linguagens de programação 4

5 O PRIMEIRO PARADIGMA" QUE APRENDI: IMPERATIVO HP-25 TI 58C 5

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 Inadequado para Python que não faz otimização de chamada de cauda (TCO) Estilo imperativo Estilo funcional 11

12 UMA CLASSIFICAÇÃO Programming Language Pragmatics, 4th edition (2015) Michael L. Scott 12

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

16 16

17 Lógicas 17

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? "Gases" nobres"!? 27

28 Ontology is overrated. Clay Shirky Ontologias são sobrevalorizadas. Pesquise o artigo em inglês! 28

29 UMA ABORDAGEM MELHOR Fundamental Features of Programming Languages 29

30 ENSINO MODERNO DE TEORIA DE LINGUAGENS Ensinando linguagens de programação na era pós-lineu 30

31 ARTIGO APRESENTANDO A ABORDAGEM 31

32 ARTIGO APRESENTANDO A ABORDAGEM Paradigmas" de linguagens de programação são um legado moribundo e tedioso 32

33 ARTIGO APRESENTANDO A ABORDAGEM 33

34 ARTIGO APRESENTANDO A ABORDAGEM Criadores de linguagens modernas não têm o menor respeito por eles 34

35 ARTIGO APRESENTANDO A ABORDAGEM 35

36 ARTIGO APRESENTANDO A ABORDAGEM devemos abandonar esse método no ensino de linguagens 36

37 ARTIGO APRESENTANDO A ABORDAGEM 37

38 ARTIGO APRESENTANDO A ABORDAGEM um livro-texto que explora esses assuntos. 38

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 Ralph Johnson no IME/USP (2014?) 42

43 PROBLEMAS NA DIFUSÃO DOS PADRÕES Excesso de ênfase nos padrões como resultados finais em vez de passos no processo de design Ralph Johnson no IME/USP (2014?) 43

44 PROBLEMAS NA DIFUSÃO DOS PADRÕES Conformidade com padrões não é uma medida de qualidade. Ralph Johnson no IME/USP (2014?) 44

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

46 NEM TODO PADRÃO É UNIVERSAL Nossos padrões assumem características no nível de Smalltalk/C++ Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides, Design Patterns: Elements of Reusable Object-Oriented Software (Addison-Wesley, 1995), p

47 NEM TODO PADRÃO É UNIVERSAL Se tivéssemos assumido linguagens procedurais, talvez tivéssemos incluído padrões como Herança, Encapsulamento" e Polimorfismo". Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides, Design Patterns: Elements of Reusable Object-Oriented Software (Addison-Wesley, 1995), p

48 48

49 49

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. 50

51 16 dos 23 padrões são invisíveis ou mais simples, devido a essas características 51

52 CARACTERÍSTICAS Características essenciais, não apenas açúcar sintático. 52

53 AMOSTRA DE CARACTERÍSTICAS LINGUAGENS 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 53

54 AMOSTRA DE CARACTERÍSTICAS LINGUAGENS Common Lisp C Java Python Go Funções são objetos Funções de 1ª classe Classes são objetos 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

55 AMOSTRA DE CARACTERÍSTICAS LINGUAGENS 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 55

56 AMOSTRA DE CARACTERÍSTICAS LINGUAGENS 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

57 AMOSTRA DE CARACTERÍSTICAS LINGUAGENS 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 57

58 AMOSTRA DE CARACTERÍSTICAS LINGUAGENS 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

59 STRATEGY EM GO Aproveitando as características de Go 59

60 SELECIONAR UM ALGORITMO EM TEMPO DE EXECUÇÃO 60

61 SELECIONAR UM ALGORITMO EM TEMPO DE EXECUÇÃO Contexto Estratégia Estratégias concretas 61

62 STRATEGY EM GO Implementação clássica usando interface Implementação usando funções como objetos 62

63 TESTES interface/strategy_test.go Repo: 63

64 TESTES interface/strategy_test.go 64

65 CLIENTE E ITENS DE UM PEDIDO interface/store.go 65

66 CONTEXTO E ESTRATÉGIA interface/strategy.go 66

67 ESTRATÉGIA CONCRETA interface/store.go 67

68 MAIS ESTRATÉGIAS CONCRETAS interface/store.go 68

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*: *Kumar Iyer (ThoughtWorks): Higher-order functions vs interfaces in golang 74

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 objeto promo é instanciado com porcentagem de desconto 77

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 * Sim, isto é subjetivo. Estamos falando de estilo! 80

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 81

82 CONCLUINDO Aprenda as características fundamentais 82

83 EM VEZ DE CATEGORIAS ESTANQUES B E A D F C G 83

84 PENSE NAS CARACTERÍSTICAS FUNDAMENTAIS B A E D F C G 84

85 AS CARACTERÍSTICAS DÃO A DICA Para decidir se determinada implementação ou padrão faz sentido 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 * Inspirado por Programming Language Pragmatics Michael L. Scott 86

87 MUITO GRATO! Luciano Ramalho Github: github.com/standupdev/paradigm-free Slides: speakerdeck.com/ramalho