Что делает язык строго типизированным? Я ищу наиболее важные аспекты строго типизированного языка.

Вчера я спросил, строго ли типизирован PowerShell, но никто не мог согласиться с определением «строго типизированного», поэтому я хотел бы уточнить это определение.

Не стесняйтесь ссылаться на Википедию или другие источники, но не просто вырезайте и вставляйте свой ответ.