Static typechecking needs to be done. This improves early chance of catching errors and the scalability of application.