Wentian Xie, Sufan Zhang, Ziyuan Wang: Do Type Annotations Help Students Improve Python Program Development Efficiency? QRS Companion 2025: 594-600