動的型の言語では以下のようなプログラムの問題を検出できない、という指摘
こんな感じか.
% 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)