動的型の言語では以下のようなプログラムの問題を検出できない、という指摘

こんな感じか．

% cat -n hoge.rb
     1	def test(a, b)
     2	  a + b
     3	end
     4	
     5	
     6	def main()
     7	  if ARGV.length > 3
     8	    test(1, test())
     9	  else
    10	    test(1, 2)
    11	  end
    12	end
    13	
    14	Process.exit(main())
% ./truby hoge.rb
hoge.rb:8: number of arguments mismatch(ArgumentError)
hoge.rb:10: number of arguments mismatch(ArgumentError)