Объясните принцип строгой типизации и как он реализуется в языках программирования.