Playing with Sorbet

A short presentation about how Sorbet could help your project

Transcript

1. Playing with Sorbet
2. What
3. Sorbet is a fast, powerful type checker designed for Ruby.
4. Why
5. Once upon a time
6. We expose a public API
7. Expecting params = { user: { first_name: "Luciano", last_name: "Sousa" } }
8. We got a
9. params = { user: "a" }
10. TypeError (no implicit conversion of Symbol into Integer)
12. NoMethodError (undefined method `where' for nil:NilClass)
13. Let’s talk about Java
15. Let’s talk about dynamic vs static typed languages
16. • •
17. • • •
18. String javaString = new String(“I am a Java string”) ruby_string = “I am a Ruby string”
19. Dynamic languages
20. Ruby
21. Examples
22. begin do_something rescue StandardErro do_something_else end
23. Tests
24. Let's talk about Shopify
25. ~1500 devs
26. ~40 deploys/day
27. ~5 million req/min
28. ~83k req/sec ~170k req/sec peak
29. Sorbet at Shopify
30. ~36 issues fixed
31. ~17 dead code never hit
32. ~16 name error
33. ~3 wrong args
34. Maybe some millions
35. Examples
36. “I hate type annotations.”
37. class UserHelper def name_length(name) name.length end end
38. # typed: true class UserHelper def name_length(name) name.length end end
39. # typed: true class UserHelper extend T::Sig def name_length(name) name.length end end
40. # typed: true class UserHelper extend T::Sig sig { params(name: String).returns(Integer) } def name_length(name) name.length end end
41. How it works
42. Disclaimer
44. # typed: true
46. extend T::Sig
47. sig { params(name: String).returns(Integer) }
48. sig { params(name: String).returns(Integer) }
49. Resources •
50. Resources •
51. Resources •
52. Resources •
53. Thanks!