Type Inference in RubyMine
What is the one thing that some of us like and others dislike about dynamic languages such as Ruby? It is dynamic types of course! It is a blessing and a curse. And for an IDE that claims being a Ruby IDE it is a serious task. There is a lot an IDE can help developer when working with such extremely flexible type system as Ruby’s.
We think RubyMine is the leader here. And here is why.
Local Variables Type
aaa = “string”
aaa = [1, 2, 3]
aaa. #at this point aaa is either string or array
RubyMine knows that
aaa can be one of two types, so pressing Ctrl+Space for code completion shows the list of methods corresponding to possible types.
The “…” on the right means there are more than one variations.
To see the inferred types that RubyMine sees for the variable press Ctrl+Q/^ J for Quick documentation lookup.
If we choose
include?(obj) and then press Ctrl+B/⌘ B for method definition, RubyMine will confirm whether to go to
array.rb or to
for Index Variable Type
If you need to do something with the
for loop index variable, RubyMine knows its type and suggests the appropriate methods.
range = true ? 1..10 : -10..1
for i in range do
Seeing true, false and nil
When it comes to detecting the truth RubyMine is at its best. It helps working with logical types by suggesting correctly for both
There is also a special
nil object in Ruby which RubyMine knows well and treats correctly.
daynmb = 4 # daynum – nubmer of day of week
(1..5).include?(daynmb) ? weekend = false : weekend = true
to be continued: detecting
Rescue type, Rails type inference and some more in the next publication…