Grand Unification Theory: Writing & Running Code

Presented at BaRuCo 2012

Transcript

1. GRAND UNIFICATION THEORY BRIAN FORD @brixen BARUCO 2012 }WRITING & RUNNING CODE
2. RUBINIUS
3. I want to change how we write and run code
4. debugger profiler coverage type checker editor
5. Smalltalk
6. writing code is a function of running code
7. editors push around characters
8. The board swam wistfully through the narrow sky.
9. Spell checkers
10. Autocorrect?
11. Programming
12. Math Algorithms TDD SOLID Testing Patterns Refactoring Agile Design
13. “good design communicates intention”
14. com-mu-ni-ca-tion noun the imparting or exchange of information or news
15. Implementation Patterns by Kent Beck
16. Programming artifacts
17. What makes good communication?
18. clear adjective obvious or unambiguous
19. sim-ple adjective uncomplicated in form, nature or design
20. rel-e-vant adjective closely connected or appropriate to the matter at hand
21. pre-cise adjective exactness or accuracy of expression or detail
22. me-di-um noun a means by which something is communicated or expressed
23. tone noun a manner of expression
24. safe adjective protected from or not exposed to danger or risk
25. open adjective not closed or blocked up free from obstructions
26. programming language as medium
27. Dynamically Typed Language
28. type noun a category of things having common characteristics
29. A.const_set :B, 1
30. def a.b(x) @b = x end
31. A = Class.new
32. metaprogramming
33. Animal = Object.clone Cat = Animal.clone
34. compute with values that pass messages
35. Typed
36. Dynamic Language
37. dynamic languages communicate better
38. a.map { |x| x.y }
39. a = [1, “x”, nil]
40. correctness vs safety
41. How do we run code?
42. exploratory testing development deployment learning
43. Rubinius precise GC concurrency JIT compiler
44. $ rbx irb(main):001:0> def hello irb(main):002:1> puts "hi" irb(main):003:1> end => #<Rubinius::CompiledCode hello file=(irb)>
45. def hello(name) puts “hi #{name}” end
46. ================ :hello ================ Arguments: 1 required, 0 post, 1 total Arity: 1 Locals: 1: name Stack size: 4 Line: 1 Lines to IP: 0000: push_self 0001: push_literal "hi " 0003: push_local 0 # name 0005: allow_private 0006: meta_to_s :to_s 0008: string_build 2 0010: allow_private 0011: send_stack :puts, 1 0014: ret ----------------------------------------
47. What can we do?
48. production vs testing
49. feature maps
50. type analysis
51. data flow analysis
52. error analysis
53. compiled code database
54. Challenges
55. information display
56. data supports decisions
57. Do we need tests?
58. blinking cursor = blank stare
59. in-sight noun the capacity to gain an accurate and deep intuitive understanding of a person or thing
60. Thank You
61. rubini.us brixen.io