[Ruby Summit Brasil 2020] Ruby 3 e Análise estática - O que esperar e o que significa para o nosso código
0 gostou•357 visualizações
O Ruby 3 traz importantes inovações, incluindo o 'ractor' para execução paralela experimental e o 'scheduler' para gerenciamento de operações bloqueantes. A introdução da linguagem de assinatura Ruby (RBS) permite descrever tipos e melhorar a análise estática, enquanto ferramentas como 'sorbet' e 'typeprof' ajudam na verificação de tipos e qualidade do código. Os linters, como o 'rubocop', desempenham um papel crucial na identificação de erros, padrões de estilo e melhorias de performance no código Ruby.
![Ruby 3 e Análise Estática
O que esperar e o que significa para o nosso código
[edição ruby summit brasil]](https://image.slidesharecdn.com/rubysummit2020ruby3eanaliseestaticaoqueesperareoquesignificaparaonossocodigo-201204232212/85/Ruby-Summit-Brasil-2020-Ruby-3-e-Analise-estatica-O-que-esperar-e-o-que-significa-para-o-nosso-codigo-1-320.jpg)
![[Ruby Summit Brasil 2020] Ruby 3 e Análise estática - O que esperar e o que significa para o nosso código](https://image.slidesharecdn.com/rubysummit2020ruby3eanaliseestaticaoqueesperareoquesignificaparaonossocodigo-201204232212/85/Ruby-Summit-Brasil-2020-Ruby-3-e-Analise-estatica-O-que-esperar-e-o-que-significa-para-o-nosso-codigo-3-320.jpg)
![[Ruby Summit Brasil 2020] Ruby 3 e Análise estática - O que esperar e o que significa para o nosso código](https://image.slidesharecdn.com/rubysummit2020ruby3eanaliseestaticaoqueesperareoquesignificaparaonossocodigo-201204232212/85/Ruby-Summit-Brasil-2020-Ruby-3-e-Analise-estatica-O-que-esperar-e-o-que-significa-para-o-nosso-codigo-13-320.jpg)
![[Ruby Summit Brasil 2020] Ruby 3 e Análise estática - O que esperar e o que significa para o nosso código](https://image.slidesharecdn.com/rubysummit2020ruby3eanaliseestaticaoqueesperareoquesignificaparaonossocodigo-201204232212/85/Ruby-Summit-Brasil-2020-Ruby-3-e-Analise-estatica-O-que-esperar-e-o-que-significa-para-o-nosso-codigo-34-320.jpg)
![[Ruby Summit Brasil 2020] Ruby 3 e Análise estática - O que esperar e o que significa para o nosso código](https://image.slidesharecdn.com/rubysummit2020ruby3eanaliseestaticaoqueesperareoquesignificaparaonossocodigo-201204232212/85/Ruby-Summit-Brasil-2020-Ruby-3-e-Analise-estatica-O-que-esperar-e-o-que-significa-para-o-nosso-codigo-39-320.jpg)
[Ruby Summit Brasil 2020] Ruby 3 e Análise estática - O que esperar e o que significa para o nosso código
- 1. Ruby 3 e Análise Estática O que esperar e o que significa para o nosso código [edição ruby summit brasil]
- 4. O Ruby 3 vem aí! E agora?
- 5. CALMA!
- 6. ● Declaração de atribuição à direita ● Definição de método sem fim ● Ractor (experimental) ● Scheduler (Experimental) ● RBS (Ruby Signature) ● “Type-profiler” Principais Novidades do Ruby 3
- 7. Qual o melhor jeito de conferí-las? ● rvm ● rbenv ● chruby ● asdf
- 8. Declaração de variável à direita
- 9. Definição de método sem fim
- 10. Ractor ● Funcionalidade Experimental ● Modelo de Atores ● Permite executar programas de forma paralela sem se preocupar com thread-safety ● Nem tudo é compartilhado como nas Threads ○ Compartilhando frozen objects, classes e módulos
- 11. Modelo de Atores (Resumido) Ator 1 Ator 2 Ator 3 Mensagem A Mensagem B mensagem B desenfileirada aqui processa mensagem A processa mensagem B Objeto 1 Objeto 2 Objeto 3 métodoA() métodoB() retorno retorno
- 12. Ractor - Exemplo
- 14. Scheduler ● Também Experimental ● Interface para interceptar operações bloqueantes ● Caso de uso em wrappers (EventMachine ou Async) ● Nome da feature pode mudar (Fiber Scheduler)
- 15. RBS - Ruby Signature ● Linguagem para descrever tipos de programas Ruby ● gem `rbs` já vem com o Ruby 3 ● Podemos escrever as definições de classes e módulos ○ Assim como métodos, variáveis de instância, herança, etc ○ Suporta duck typing com tipos de interface
- 16. RBS - Exemplo
- 17. RBS - Exemplo
- 18. RBS - CLI
- 19. RBS - Teste Unitário
- 20. RBS - Verificando
- 21. RBS - Correção (#agora_vai)
- 22. RBS - Verificando (#agora_vai)
- 23. RBS - Correção (#agora_vai2)
- 24. RBS - Verificando (#agora_vai2)
- 25. sorbet ● Também é um type-checker ● Criado pelo Stripe ● Extensão .rbi ● Fornece página de teste ● Funciona no Ruby 2.5 e 2.6 ● Alguns problemas no Ruby 2.7
- 26. sorbet
- 27. Type profiler (typeprof) ● Ferramenta de análise de tipos ● Gem `typeprof` ● Planejam incluir no preview-2
- 28. Type profiler - Exemplo
- 29. Type profiler - Exemplo
- 30. Type profiler - Exemplo
- 31. E como o interpretador entende nosso código?
- 33. Etapas
- 35. Abstract Syntax Tree (AST) ● Nos diz como as expressões são representadas ● Representação interna do nosso código
- 36. Exemplo de AST
- 37. Exemplo de AST
- 38. Mas como eu posso usar a AST?
- 40. is a tool that analyzes source code to flag programming errors, bugs, stylistic errors, and suspicious constructs - Wikipedia O que é um linter? “
- 41. ● Complexidade Ciclomática ● Estilo e padrões de Codificação ● Performance ● Trechos de código não-utilizado ● Relatórios ● Pacotes/dependências desatualizadas ● Código sem cobertura de testes ● Detector de números mágicos O que um Linter pode verificar?
- 42. Alguns linters para Ruby
- 43. Rubocop v1.0.0
- 44. E se todos checks passarem?
- 45. Obrigado! Repositório com exemplos: github.com/wevtimoteo/ruby-3-and-static-analysis Vamos analisar a qualidade do nosso código!
- 46. Referências ● Ruby 3.0.0 Preview 1 Released ● The State of Ruby 3 Typing ● Types in Ruby 3, RBS, and Sorbet ● RubyConf 2019 - Opening Keynote - Ruby Progress Report by Yukihiro Matzumoto (Matz) ● TypeProf: A type analysis tool for Ruby code based on abstract interpretation ● What Is MJIT in Ruby 2.6 & How Does It Work? ● asdf - Extendable version manager
- 47. Mais Referências ● chruby - Changes the current ruby ● Ractor documentation ● Scheduler documentation ● Types in Ruby 3, RBS, and Sorbet ● Brakeman ● Reek ● Rubocop ● RBS, duck-typing, meta-programming, and typing at httpx ● A Walkthrough of Ruby 3 Scheduler ● Gradual typing of Ruby at Scale