Programação Funcional em Ruby

The Developers Conference, Porto Alegre, 2015

Transcript

1. Programação Funcional em Ruby
2. Sumário • Contexto • Paradigmas de Programação • Linguagem Funcional • Programação Funcional • Aplicações em Ruby • Resultado • Outros Trabalhos
3. Contexto
4. A área de vídeos da Globo.com usa Rails em muitos projetos
5. Muito Código
6. Como Organizar Aplicações Web pra Serem Fáceis de Entender?
7. Arquitetura MVC • Controller: Lida com requests • View: HTML, CSS e Javascript • Model: Armazenamento e Lógica de Negócio
8. Arquitetura MVC • Controller: Lida com requests • View: HTML, CSS e Javascript • Model: Armazenamento e Lógica de Negócio
9. Toda a Lógica nos Models
10. 37 Models
11. Fat Models
12. 7 Patterns to Refactor Fat ActiveRecord Models Value Service Form Query View Policy Decorators
13. Não resolve o problema da lógica de negócio
14. Quem gerencia todos os objetos extraídos dos Models?
15. Fat Controllers
16. Problema de Arquitetura
17. Mudança de Paradigma
18. Paradigmas de Programação
19. Paradigmas de Programação • Imperativo • Funcional • Lógico • Declarativo
20. E os outros? Orientação a Objeto Literate Concorrent Genérico Meta Reativo Protótipo Processos Aspectos Eventos Data Concept
21. Paradigmas se Sobrepoem
22. C Imperativo Funcional Orientação a Objetos Lógico Literate Concorrente Genérico Meta Protótipo
23. Prolog Imperativo Funcional Orientação a Objetos Lógico Literate Concorrente Genérico Meta Protótipo
24. Haskell Imperativo Funcional Orientação a Objetos Lógico Literate Concorrente Genérico Meta Protótipo
25. Javascript Imperativo Funcional Orientação a Objetos Lógico Literate Concorrente Genérico Meta Protótipo
26. Scala Imperativo Funcional Orientação a Objetos Lógico Literate Concorrente Genérico Meta Protótipo
27. Ruby Imperativo Funcional Orientação a Objetos Lógico Literate Concorrente Genérico Meta Protótipo
28. Ruby Imperativo Funcional Orientação a Objetos Lógico Literate Concorrente Genérico Meta Protótipo
29. Porque Funcional?
30. Programação FUNCIONAL
31. Abstrações Sobre Estruturas de Dados Simples e Operações Sobre Elas
32. Estrutura de Dados: Tipos Algébricos e Listas
33. Operações Funções
35. Arquitetura Em Camadas
36. "The parts constructed at each level of a program are used as primitives at the next level."
38. Linguagem FUNCIONAL
39. Conceitos e Práticas • Funções de alta ordem • Imutabilidade • Pureza (Ausência de Efeitos Colaterais) • Tipos Algébricos • Pattern Matching
40. Funções de Alta Ordem function square(x) { return x * x; } [1, 2].map(square);
41. Imutabilidade fn main() { let x = 1; x = 2; } error: re-assignment of immutable variable `x` [E0384]
42. Pureza main :: IO () main = do user <- createUser process user display user main process :: User -> IO () process user = do -- mutate user
43. Tipos Algébricos type expr = | Plus of expr * expr | Minus of expr * expr | Times of expr * expr | Value of int;;
44. Pattern Matching let rec eval e = match e with | Plus (l, r) -> eval(l) + eval(r) | Minus (l, r) -> eval(l) - eval(r) | Times (l, r) -> eval(l) * eval(r) | Value v -> v;;
45. Como Aplicar em Ruby?
46. O que NUNCAfazer
47. Mutar Parâmetros
48. def process(user) ... user.processed = true ... end
49. Mutar propriedades de um objeto em dois métodos
50. def process_name(user) user.name.downcase! user.save! end def process_age(user) user.age %= 100 end def process user = User.find(params[:id]) process_name(user) process_age(user) user.save! end
51. Retornar Dois Tipos Diferentes Do Mesmo Método
52. def is_zero(n) if n == 0 true else n end end
53. Early Return
54. def process(user) return unless user.logged? return if user.is_admin? # side effects end
55. Mais que um "if" ou um "for" por Método
56. def process(user) if user.id_admin? admin_specific end user.camels.each do |c| camel.run end end
57. Métodos Com Mais de 5 Linhas
58. def enqueue_next_jobs(job_id) return if deleted? finished_jobs_ids = Media.where(_id: self._id).find_and_modify( { "$push" => { "finished_jobs_ids" => job_id }}, { new: true } ).finished_jobs_ids if jobs.where(:job_id.nin => finished_jobs_ids).empty? finish_job_processing else jobs_dependent_of = jobs.dependent_of(job_id) jobs_dependent_of.each do |job| waiting_dependencies = (job.dependencies - finished_jobs_ids) if waiting_dependencies.empty? job.enqueue end end end end
59. Verificar se é permitido em uma linguagem funcional pura
60. Verificar se é permitido por um verificador de tipos
61. Solução Arquitetural
62. Sistema de Fingerprint
63. Estrutura de Dados: Objetos
64. Operações: Objetos
65. get "/fingerprints/:uuid" do respond Fingerprint::Find end
66. class Fingerprint::Find < Operation def perform Fingerprint.find_by(uuid: params[:uuid]) end end
67. post "/fingerprints" do respond Fingerprint::Create end
68. class Fingerprint::Create < Operation def perform fingerprint = Fingerprint.create!(params) FingerprintJob.perform_later(fingerprint.to_param) fingerprint end end
69. class Video::Download < Operation def validate requires :remote_path end def perform remote_path = params[:remote_path] ext = File.extname(remote_path) local_path = LocalStorage.make_tmp_filename(ext) RemoteStorage::Service.new(provider).with_session do |session| session.fetch(remote_path, local_path) end local_path end end
70. class Fingerprint::Job < Operation def validate requires :fingerprint end def perform fingerprint = params[:fingerprint] video = run(Video::Download, remote_path: fingerprint.path) run Fingerprint::Netresult, fingerprint: fingerprint, video: video run Fingerprint::Youtube, fingerprint: fingerprint, video: video end end
71. Resultado
72. Models só fazem persistência
73. class Fingerprint include Mongoid::Document include Mongoid::Uuid field :video_id, type: String field :title, type: String field :description, type: String field :exhibition_date, type: DateTime field :path, type: String embeds_one :program embeds_one :channel end
74. Lógica de negócio em operações
75. operations ├── fingerprint │ ├── netresult.rb │ ├── youtube.rb │ ├── create.rb │ └── find.rb └── video └── download.rb
76. Código mais simples de manter
77. Aplicado no dia a dia
78. Outros Trabalhos
79. Transproc e ROM rom-rb.org
80. Trailblazer trailblazerb.org
81. Obrigado Juan Ibiapina Globo.com
82. Referências • http://blog.codeclimate.com/blog/2012/10/17/7- ways-to-decompose-fat-activerecord-models/ • https://dl.dropboxusercontent.com/u/7810909/ docs/what-does-fp-mean/what-does-fp-mean/html/ index.html