Can static type systems speed up programming? An experimental evaluation of static and dynamic type systems