Title: Can Static Type Systems Speed up Programming? an Experimental Evaluation of Static and Dynamic Type Systems