Ruby 4.0: To Infinity and Beyond (RailsIsrael 2016)

Slide deck from my Ruby 4.0 presentation at RailsIsrael 2016.

Transcript

1. View Slide

2. םוֹלָׁש
   

   View Slide

3. Божидар
   

   View Slide

4. View Slide

5. Bozhidar
   

   View Slide

6. Bozho
   cool
   

   View Slide

7. Bozo
   not cool
   

   View Slide

8. Bug
   cool
   

   View Slide

9. View Slide

10. View Slide

11. bbatsov
    

    View Slide

12. View Slide

13. View Slide

14. View Slide

15. View Slide

16. View Slide

17. View Slide

18. View Slide

19. View Slide

20. View Slide

21. Ruby 4.0:
    To INFINITY
    and Beyound
    by Bozhidar Batsov
    

    View Slide

22. View Slide

23. Not on Ruby’s Core
    Team
    

    View Slide

24. –Matz
    “We’ll aim to release Ruby 3 for the Olympic
    Games in Tokyo in 2020.”
    

    View Slide

25. Ruby is now mature
    

    View Slide

26. Build the things your
    users need, instead of
    the things they want.
    

    View Slide

27. View Slide

28. The track record
    of
    recent Ruby innovation
    

    View Slide

29. Ruby != MRI
    

    View Slide

30. 3.times do
    puts "Ruby Rocks!"
    end
    

    View Slide

31. Ruby 2.0
    

    View Slide

32. • keyword arguments
    • %i
    • UTF-8 is now the default source file encoding
    • Refinements (experimental feature)
    

    View Slide

33. Ruby 2.1
    

    View Slide

34. • Rational/Complex Literal
    • defs return value
    • Refinements are no longer experimental
    feature
    

    View Slide

35. Ruby 2.2
    

    View Slide

36. Nada
    

    View Slide

37. Ruby 2.3
    

    View Slide

38. • frozen string literals pragma
    • safe navigation operator (&.)
    

    View Slide

39. Ruby 2.4
    

    View Slide

40. • Unify Fixnum and Bignum into Integer
    • Support Unicode case mappings
    

    View Slide

41. Java innovates
    more!
    

    View Slide

42. What about Ruby 3.0?
    

    View Slide

43. Little is known about
    it…
    

    View Slide

44. Optional static
    typing?
    rejected
    

    View Slide

45. Duck inference?
    

    View Slide

46. Better support for
    concurrent & parallel
    programming
    

    View Slide

47. View Slide

48. 3 times faster
    performance?
    

    View Slide

49. Getting rid of some
    quirky features?
    

    View Slide

50. We’re not going to
    repeat the Python 3
    mistakes!
    — Matz
    

    View Slide

51. And what about the
    Perl 6 mistakes?
    — Bozhidar
    

    View Slide

52. Ruby 4.0
    

    View Slide

53. Codename Buzz
    

    View Slide

54. Ruby 4x4
    

    View Slide

55. Ruby 4 is going to be 4
    times faster than Ruby
    3
    

    View Slide

56. Ruby 4 is going to be
    12 times faster than
    Ruby 2
    

    View Slide

57. Ruby 4 is finally going
    to be fast enough!
    

    View Slide

58. Ruby 4.0,
    the language
    

    View Slide

59. Ruby 4.0,
    the language
    (and maybe
    the Standard Library)
    

    View Slide

60. Design principle #1
    

    View Slide

61. Continue to optimize
    for happiness
    

    View Slide

62. Add some useful new
    features
    

    View Slide

63. Immutable data
    structures
    

    View Slide

64. vector
    

    View Slide

65. v = @[1, 2, 3]
    

    View Slide

66. immutable hash
    

    View Slide

67. m = @{one: 1, two: 2}
    

    View Slide

68. immutable set
    

    View Slide

69. s = @${1, 2, 3}
    

    View Slide

70. s = ${1, 2, 3}
    

    View Slide

71. Static typing and
    runtime contracts
    

    View Slide

72. Inspired by RDL
    

    View Slide

73. type '(Fixnum, Fixnum) -> String'
    def m(x, y) ... end
    

    View Slide

74. pre { |x| x > 0 }
    post { |r,x| r > 0 }
    def sqrt(x)
    # return the square root of x
    end
    

    View Slide

75. type '(Float x {{ x>=0 }}) -> Float y
    {{ y>=0 }}'
    def sqrt(x)
    # return the square root of x
    end
    

    View Slide

76. Better concurrency
    APIs
    

    View Slide

77. Inspired by
    concurrent-ruby
    

    View Slide

78. CSP
    

    View Slide

79. messages = Concurrent::Channel.new
    Concurrent::Channel.go do
    messages.put 'ping'
    end
    msg = messages.take
    puts msg
    

    View Slide

80. def sum(a, c)
    sum = a.reduce(0, &:+)
    c << sum # `<<` is an alias for `put` or `send`
    end
    a = [7, 2, 8, -9, 4, 0]
    l = a.length / 2
    c = Concurrent::Channel.new
    Concurrent::Channel.go { sum(a[-l, l], c) }
    Concurrent::Channel.go { sum(a[0, l], c) }
    x, y = ~c, ~c # `~` is an alias for `take` or `receive`
    puts [x, y, x+y].join(' ')
    

    View Slide

81. Design principle #2
    

    View Slide

82. Simplicity
    

    View Slide

83. Simplicity is the
    ultimate
    sophistication.
    

    View Slide

84. Less is more
    

    View Slide

85. Simplicity
    leads to
    happiness.
    

    View Slide

86. Let’s drop some stuff
    

    View Slide

87. Let’s drop some
    useless
    stuff
    

    View Slide

88. for loops
    

    View Slide

89. for name in names
    puts name
    end
    

    View Slide

90. names.each do |name|
    puts name
    end
    

    View Slide

91. BEGIN & END
    

    View Slide

92. END {
    puts 'Bye!'
    }
    puts 'Processing...'
    BEGIN {
    puts 'Starting...'
    }
    

    View Slide

93. puts 'Bye!'
    puts 'Starting...'
    puts 'Processing...'
    

    View Slide

94. Kernel#at_exit,
    anyone?
    

    View Slide

95. flip-flops
    

    View Slide

96. DATA.each_line do |line|
    print(line) if (line =~ /begin/)..(line =~ /end/)
    end
    

    View Slide

97. block comments
    

    View Slide

98. =begin
    comment line
    another comment line
    =end
    

    View Slide

99. Must be placed at the
    very beginning of a line
    

    View Slide

100. class SomeClass
     =begin
     This is a top comment.
     Or is it?
     =end
     def some_method
     end
     end
     

     View Slide

101. class SomeClass
     =begin
     This is a top comment.
     Or is it?
     =end
     def some_method
     end
     end
     

     View Slide

102. Character literals
     

     View Slide

103. pry(main)> ?a
     => "a"
     

     View Slide

104. Let’s drop some
     redundant
     stuff
     

     View Slide

105. There’s more than
     one way to do it
     

     View Slide

106. (There are way too
     many ways to do it)
     

     View Slide

107. core library method
     aliases
     

     View Slide

108. collect => map
     inject => reduce
     detect => find
     select => find_all
     sprintf => format
     length => size
     raise => fail
     

     View Slide

109. Where is filter?
     

     View Slide

110. map
     reduce
     find
     filter
     format
     length
     raise
     

     View Slide

111. procs
     

     View Slide

112. No arity check
     

     View Slide

113. Non-local return
     

     View Slide

114. Do we really need
     them?
     

     View Slide

115. So many languages are
     getting by just fine
     with only lambdas…
     

     View Slide

116. View Slide

117. Single-quoted string
     literals
     

     View Slide

118. View Slide

119. A ton of obscure %-
     something literals
     

     View Slide

120. %s, %x, %w, %W,
     %r, %q, %Q, %, %i
     

     View Slide

121. So excited to be here!
     

     View Slide

122. puts "Hello, Tel Aviv!"
     puts "Hello, Tel Aviv!"
     puts "Hello, Tel Aviv!"
     

     View Slide

123. for i in 1..3
     puts "Hello, Tel Aviv!"
     end
     

     View Slide

124. 3.times do
     puts "Hello, Tel Aviv!"
     end
     

     View Slide

125. 3.times do
     puts %(Hello, Tel Aviv!)
     end
     

     View Slide

126. 3.times do
     puts %Q(Hello, Tel Aviv!)
     end
     

     View Slide

127. 3.times do
     puts 'Hello, Tel Aviv!'
     end
     

     View Slide

128. 3.times do
     puts %q(Hello, Tel Aviv!)
     end
     

     View Slide

129. View Slide

130. View Slide

131. Are all those options
     worth our while?
     

     View Slide

132. View Slide

133. Let’s fix some stuff!
     

     View Slide

134. and & or have the
     same precedence
     

     View Slide

135. So many nils floating
     around
     

     View Slide

136. pry(main)> "TOP".upcase
     => "TOP"
     pry(main)> "TOP".upcase!
     => nil
     

     View Slide

137. Mutable strings
     

     View Slide

138. Even JavaScript got
     this right…
     

     View Slide

139. Reassignable
     constants
     

     View Slide

140. pry(main)> A = 5
     => 5
     pry(main)> A = 6
     (pry):39: warning: already initialized constant A
     (pry):38: warning: previous definition of A was here
     => 6
     pry(main)> Class = 3
     (pry):40: warning: already initialized constant Class
     => 3
     pry(main)> Class
     => 3
     

     View Slide

141. Class variables
     

     View Slide

142. class Parent
     @@class_var = 'parent'
     def self.print_class_var
     puts @@class_var
     end
     end
     class Child < Parent
     @@class_var = 'child'
     end
     Parent.print_class_var # => will print "child"
     

     View Slide

143. Poorly named
     methods
     

     View Slide

144. Kernel#puts
     

     View Slide

145. Kernel#println,
     anyone?
     

     View Slide

146. Kernel#print
     

     View Slide

147. defined?
     

     View Slide

148. [1] pry(main)> defined? 10
     => "expression"
     [2] pry(main)> defined? Test
     => nil
     [3] pry(main)> defined? TrueClass
     => "constant"
     

     View Slide

149. Enumerable#include?
     

     View Slide

150. Enumerable#includes?
     

     View Slide

151. Kernel#%
     

     View Slide

152. '%d %d' % [20, 10]
     

     View Slide

153. sprintf('%d %d', 20, 10)
     

     View Slide

154. sprintf(
     '%{first} %{second}',
     first: 20, second: 10
     )
     

     View Slide

155. format('%{first} %{second}',
     first: 20, second: 10)
     

     View Slide

156. In what universe would
     you prefer Kernel#%
     over Kernel#format???
     

     View Slide

157. Perl-style global
     variables
     

     View Slide

158. $:
     

     View Slide

159. $LOAD_PATH
     

     View Slide

160. $;
     

     View Slide

161. $FIELD_SEPARATOR
     

     View Slide

162. $*
     

     View Slide

163. $ARGV
     

     View Slide

164. JRuby defines the
     English aliases by
     default
     

     View Slide

165. Ruby 4.0 will do this
     as well!
     

     View Slide

166. WTF? Global
     variables?
     

     View Slide

167. Even Java doesn’t
     have globals…
     

     View Slide

168. The future of the
     standard library
     

     View Slide

169. The Ruby Stdlib is a
     Ghetto
     http://www.mikeperham.com/2010/11/22/the-ruby-stdlib-
     is-a-ghetto/
     

     View Slide

170. A ton of legacy code
     (often last updated
     2000-2003)
     

     View Slide

171. Horrible APIs
     

     View Slide

172. net/http anyone?
     

     View Slide

173. 1. Move the important
     bits to the Core Library
     

     View Slide

174. 2. Remove everything
     outdated/obscure
     

     View Slide

175. 3. Leverage modern
     Ruby feature in the
     Standard Library
     

     View Slide

176. Epilogue
     

     View Slide

177. When will Ruby 4 be
     released?
     

     View Slide

178. Ruby 4.0 will likely
     never happen
     

     View Slide

179. View Slide

180. Ruby 4.0 is already
     here!
     

     View Slide

181. Crystal
     

     View Slide

182. Clojure
     

     View Slide

183. Elixir
     

     View Slide

184. Scala
     

     View Slide

185. –William Gibson
     “Тhe future is already here it's just not
     evenly distributed.”
     

     View Slide

186. Felina
     

     View Slide

187. Epilogue
     twitter: @bbatsov
     github: @bbatsov
     http//batsov.com
     http://emacsredux.com
     RailsIsrael 2016
     Tel Aviv,
     Israel
     14.11.2016
     

     View Slide