Warum ist strikte Typisierung notwendig und warum ist es bequemer damit zu arbeiten als mit dynamischer Typisierung in JavaScript oder Python?