Static Typing Experiment

strong_type.rb

require 'pry'

class StrongType
  def initialize
    @binding = binding
  end

  def self.func(name, arguments, &method_body)
    define_method(name) do |*args|
      types = arguments.values
      arg_names = arguments.keys

      args.each_with_index do |a, i|
        puts a.is_a? types[i]
        eval "#{arg_names[i]} = #{a}", @binding
      end

      instance_exec(&method_body)
    end
  end

  def method_missing(m, *args)
    eval m.to_s, @binding
  end
end

class Test < StrongType
  func :test,
       hello: String,
       world: Integer do
    puts hello
    puts world
  end

  func :test_scope,
       hello: String,
       world: Integer do
    @hello ||= 0
    @hello += 1
    puts @hello
  end

  def check_scope
    puts @hello
  end
end

x = Test.new
x.test 1, 2
x.test_scope
x.test_scope
x.test_scope
x.check_scope