On: Gradual type checking for Ruby

[riffraff]

there are respond_to? constraint, the first example is

    typesig :sum, [:to_i, Numeric] => Numeric

notice the :to_i

also, the global switch is simple:

    if $DEBUG
      require 'rubype'
    else
      def typesig(*args) end
    end

:)