Static-typing