Talk apresentada no evento gratuito Ruby Summit Brasil 2020 organizado pela comunidade e para comunidade. Falei um pouco sobre as principais novidades no Ruby 3 (Ractor, Scheduler, RBS, Type profiler) e o poder dos linters nesse momento.

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]

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
○ 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?

32. Etapas
lexertoken astparser

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