Talk apresentada no evento gratuito TDC Online Recife 2020 na sala Locaweb <pro>. Falei um pouco sobre as principais novidades no Ruby 3 (Ractor, Scheduler, RBS, Type profiler).

1. Ruby 3 e Análise Estática
O que esperar e o que significa para o nosso código

2. Olá!
Weverton Timoteo
@wevtimoteo

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

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

13. Scheduler
● Também Experimental
● Interface para interceptar operações bloqueantes
● Caso de uso em wrappers (EventMachine ou Async)

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

15. RBS - Exemplo

16. RBS - Exemplo

17. RBS - Exemplo

18. RBS - Exemplo

19. RBS - Exemplo

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

21. sorbet

22. Type profiler (typeprof)
● Ferramenta de análise de tipos
● Gem `typeprof`
● Planejam incluir no preview-2

23. Type profiler - Exemplo

24. Type profiler - Exemplo

25. Type profiler - Exemplo

26. E como o interpretador
entende nosso código?

27. Etapas
lexertoken astparser

28. Etapas

30. Abstract Syntax Tree (AST)
● Nos diz como as expressões são representadas
● Representação interna do nosso código

31. Exemplo de AST

32. Exemplo de AST

33. Mas como eu posso usar a
AST?

35. is a tool that analyzes source code to flag
programming errors, bugs, stylistic errors,
and suspicious constructs
- Wikipedia
O que é um linter?
“

36. ● 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?

37. Linters para Ruby

38. Rubocop v1.0.0

39. E se todos checks
passarem?

40. Obrigado!
Repositório com exemplos:
github.com/wevtimoteo/ruby-3-and-static-analysis
Vamos analisar a qualidade do nosso
código!

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

42. Mais Referências
● chruby - Changes the current ruby
● Ractor documentation
● Scheduler documentation
● Types in Ruby 3, RBS, and Sorbet
● Brakeman
● Reek
● Rubocop