Static-Typing