Типізація - це .. Типізація в різних сферах діяльності

Багатогранність різних слів дозволяє застосовувати їх в різних сферах діяльності людини, причому розуміння даних понять різному. Одним з таких багатогранних слів є «типізація». Це поняття найчастіше зустрічається в метрології, проектуванні, архітектурі. Використовують цей термін і програмісти.

Що значить типізація

Рішення різних завдань може полягати в створенні різних форм і еталонів, яких варто дотримуватися при роботі з технологіями і виробничими процесами. Стандартизацією і розробкою універсальних рішень займається типізація. Значення слова означає напрямок в будівництві, проектуванні, що дозволяє здійснювати будівництво різних об`єктів на підставі стандартних проектів. Розробка декількох основних принципів значно прискорює процес зведення конструкції або ж підвищує ефективність роботи системи в цілому.

Відео: ОГЕ (ДПА) по ІНФОРМАТИЦІ. Завдання №9. ДЕМО. 2016 г. (Російські субтитри)

Типізація в будівництві

Що значить типізація для будівельника? Швидше за все, застосування спеціально розроблених типів, правил і норм, стандартизованих інструментів і конструкцій. Така типізація покликана значно підвищити віддачу від дій будівельника, збільшити ККД задіяних машин і механізмів, прискорити зведення об`єкта будівництва.

Відео: Popular Videos - Languages & Lecture

Окремі елементи типізації відомі ще з античних часів. Археологи знаходять сліди повторного використання окремих фрагментів споруд, дублювання стандартних прийомів будівництва. Застосування окремих елементів типізації мало місце і в будівлях Середньовіччя, і в класичних спорудах Нового часу. Але найбільшу роль типізація зіграла в архітектурі пострадянських країн. Індустріалізація вимагала величезного припливу робочої сили - а значить, зведення стандартних і економічних багатоповерхових будівель. Так і з`явилися знамениті «хрущовки» - типові проекти 50-70-х років, які, завдяки типізації, в короткі терміни зводилися у всіх куточках колишнього Союзу.

Типізація в стандартизації

Стандартизація охоплює безліч суміжних технічних дисциплін. Завдяки цій науці прилади обліку показують одні й ті ж значення, робочі інструменти призначені для одних і тих же робіт, а пропоновані покупцям товари сертифікуються за одними й тими ж параметрами. Типізація - це встановлення єдиних правил і норм при виробництві тих чи інших товарів, знарядь праці та інше. Даний процес розвивається в різних напрямках стандартизації технологій, враховується при розробці нормативної документації, впливає на стандартні методики розрахунків і складання кошторисів.

Типізація в програмуванні

Що значить типізація в даному випадку? Програмування, по суті своїй, є процесом спілкування людини і комп`ютера. Як і будь-яке спілкування, така розмова можливий лише за допомогою мови, який є інструментом для перекладу команд людини в сигнали, зрозумілі для обчислювальної машини. Всі стандартні процеси в програмуванні ведуться на тій чи іншій мові. Величезну роль в класифікації таких мов грає типізація. Значення і сенс цього поняття роблять питання типізації основою для використання існуючих мов і створення нових.

Дві групи мов програмування

В цілому існуючі мови діляться на дві великі групи:

• Безтипові мови;
• типізовані мови.

Як можна бачити, типізація - це той самий орієнтир, за яким можна розділити величезна кількість існуючих мов по простому і зрозумілому ознакою. Безтипові мови - асемблер, Brainfuck або той же Forth - призначені для вирішення вузького кола завдань. Їх неможливо пристосувати або вдосконалити. Інша справа - мови, в яких присутня типізація. Це Scala, PHP, C, Python і Lua, а також деякі інші інструменти.

Структури типізованих мов

Типізовані мови набагато складеному і цікавіше. Тому з`явилася необхідність розділити їх знову на кілька груп за певними ознаками, в яких, знову ж таки, не останню роль відіграє типізація.

• Мови динамічної або статистичної типізації. Поділ за цією ознакою ведеться за кінцевими типам змінних функцій. Статистична типізація ведеться ще на стадії компіляції. Тобто при обробці команди компілятор вже «знає», де потрібно шукати той чи інший тип. Інша річ - динамічна типізація. Значення типів з`ясовуються вже під час обробки команди. Приклад статистичної типізації: C, Java, C # - динамічна підгрупа представлена: Python, javascript, Ruby.
• Мови суворої і нестрогой типізації. Перша не дозволяє мові змішувати різні типи в використовуваних виразах - наприклад, відняти від одиниці нескінченність в такій мові не можна. Мови з нестрогой типизацией цілком можуть зробити неявне перетворення, правда з істотною втратою точності. Приклади поділу за цією ознакою: сувора: Python, Lisp, Haskell, Java- нестрогая: C, Visual Basic, javascript, PHP.
• Неявна і явна типізація. Поділ ведеться через компілятор. Явно збірний мову створює використовувані і нові змінні явно. В неявних мовах ця функція лежить на компіляторі. Приклади мов з явною типизацией - C ++, D, C #. Неявна: Lua, PHP, javascript.

Як можна бачити, типізація грає велику роль в різних видах діяльності. З урахуванням наростаючих процесів глобалізації її роль буде тільки зростати. Знадобитися чимало сил і часу, щоб типізувати всі існуючі і майбутні процеси і технології, привести їх до одного знаменника, тим самим значно полегшуючи життя людям у всіх куточках Землі.