Съдържание:
Определение - Какво означава статично типизиран?
Статистически типът е характеристика на език за програмиране, в който променливите типове са декларирани изрично и по този начин се определят по време на компилиране. Това позволява на компилатора да реши дали дадена променлива може да изпълнява исканите от нея действия или не.
Статичното въвеждане асоциира типове с променливи, а не със стойности. Някои примери за статично типизирани езици за програмиране включват:
- Haskell
- FORTRAN
- Ява
- ° С
- ° С#
- C ++
- Ада
- нефрит
- паскал
- ML
- Perl
- Scala
Техопедия обяснява статично типизирана
При статично въвеждане не е необходимо да се извършват допълнителни проверки по време на изпълнение, за да се потвърди, че даден обект може да извърши някои действия. Статистически типизираните програмни езици извършват проверка на типа по време на компилация, а не по време на изпълнение, което прави програмите, написани на тези езици, да работят много по-бързо.
Освен това инструментите и рефакторингът са по-добри в статично типизирани езици, тъй като инструментите могат да открият променливите типове, тъй като програмата е кодирана. Това помага незабавно да се разберат параметрите за дадена функция, както и методите, налични за конкретен обект. Това прави и процеса на рефакторинг много по-лесен.
Само с няколко изключения, след като методът или обектът бъде възстановен, е лесно веднага да разберете кои други кодове зависят от него. Това обаче идва на цена. С няколко изключения, статично типизираните езици изискват допълнителни пояснения за уведомяване на съставителя относно предвидените цели на автора.
Що се отнася до структурата на обекта, статично типизираните езици са по-малко гъвкави в сравнение с техните динамични колеги. Не е възможно да добавите полета и методи към даден обект по време на изпълнение. Това може да бъде сложно при работа с по-малко структурирани данни; например, анализът на JSON, XML или заявки към база данни води до по-малко от идеалното обединяване на обекти.
