რა პრობლემები არსებობს სტატიკურ ტიპიზაციაში?