Преглед садржаја:
Дефиниција - Шта значи статички куцано?
Статички типкан је карактеристика програмског језика у којем се типови променљивих изричито декларишу и на тај начин одређују у време компилације. Ово омогућава компајлеру да одлучи да ли нека варијабла може да изврши тражене радње или не.
Статички типизација повезује типове са променљивим, а не са вредностима. Неки примјери статички типканих програмских језика укључују:
- Хаскелл
- ФОРТРАН
- Јава
- Ц
- Ц #
- Ц ++
- Ада
- Јаде
- Пасцал
- МЛ
- Перл
- Сцала
Техопедија објашњава статички куцано
У статичком куцању нема потребе да се извршавају додатне провере током времена извођења да би се потврдило да објект може извести неке радње. Статички типирани програмски језици врше проверу типа током компилације, а не за време извођења, због чега се програми писани на тим језицима раде брже.
Поред тога, алати и рефакторинг су бољи у статички типканим језицима јер алати могу сазнати променљиве типове док је програм кодиран. Ово помаже да се одмах схвате параметри за дату функцију и методе доступне за одређени објект. То чини и процес рефакторинга много једноставнијим.
Са само неколико изузетака, једном када се метода или објект поново постави, лако је одмах схватити који други кодови зависе од њега. Међутим, то долази скупо. Уз неколико изузетака, статички куцани језици захтевају додатне напомене како би обавестили преводиоца о предвиђеним циљевима аутора.
Када је у питању структура објеката, језици који се статички типизирају су мање флексибилни у поређењу са њиховим динамичким колегама. Није могуће додати поља и методе датом објекту током времена извођења. Ово може бити компликовано при руковању са мање структуираним подацима; на примјер, анализа ЈСОН, КСМЛ или упита базе података доводи до мање него идеалних објектних мапирања.
