А   Б  В  Г  Д  Е  Є  Ж  З  І  Ї  Й  К  Л  М  Н  О  П  Р  С  Т  У  Ф  Х  Ц  Ч  Ш  Щ  Ю  Я 


Концепція - тип

Концепція типів є однією з основних в мові програмування Паскаль. З кожним об'єктом програми зв'язується один і тільки один певний тип.

Концепція типів безумовно дуже сильна сторона мови програмування Паскаль. Але вона також ставить ряд питань, на які необхідно відповідати.

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

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

Включення концепції типів даних в число фундаментальних концепцій побудови мов програмування досить позитивно позначилося на їх розвитку.

Реалізована в мові Паскаль концепція типів здається занадто сильно відрізняється від занадто суворої інтерпретації слова тип, заснованої на його використанні в світі математики, де концепція типів забезпечує можливість розрізняти числа і булевские значення, числа і безлічі чисел, множини і безлічі множин, але не забезпечує можливість виявити відмінності цілих і натуральних чисел (останні являють собою поддиапазон перших) або маленьких і великих множин. У програмуванні розширення математичної концепції типів і природно і необхідно, оскільки об'єкти можуть різнитися (за типами) по набагато більшій кількості ознак (деталізації), ніж в абстрактної математики, в якій відсутні наприклад, проблеми, пов'язані з поданням різних значень.

Схема областей прітяж. Багато уваги було приділено фракталам і концепціям типу параметрів порядку. В останній досліджується питання про те, системі скількох диференціальних рівнянь відповідає поведінка досліджуваної динамічної системі на аттракторе.

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

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

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

У третьому розділі наводиться порівняльний огляд сучасних мов програмування баз даних і знань, що базується на концепції типу даних, обговореної в гл. Дається загальна характеристика розглянутих мов програмування. Обговорюються мети і завдання, що ставилися їх авторами, пропоновані підходи до побудови баз даних і знань і заснованих на них інформаційних і експертних систем, технологія використання цих мов.

Бінарне дерево. Напівгрупа зрушень - вільна півгрупа, якщо зрушення породжуються тільки покажчиками /і г, і вільна група, якщо допускаються зворотні сдви. У загальному випадку ідея суперпозиції структур даних реалізується за допомогою завдання структурування пам'яті М, що зберігається в елементах з j3 і найповніше відображена в концепції типів даних мови ПАСКАЛЬ.

Реалізована в мові Паскаль концепція типів здається занадто сильно відрізняється від занадто суворої інтерпретації слова тип, заснованої на його використанні в світі математики, де концепція типів забезпечує можливість розрізняти числа і булевские значення, числа і безлічі чисел, множини і безлічі множин, але не забезпечує можливість виявити відмінності цілих і натуральних чисел (останні являють собою поддиапазон перших) або маленьких і великих множин. У програмуванні розширення математичної концепції типів і природно і необхідно, оскільки об'єкти можуть різнитися (за типами) по набагато більшій кількості ознак (деталізації), ніж в абстрактної математики, в якій відсутні наприклад, проблеми, пов'язані з поданням різних значень.

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

Багато операцій, сннздініс cci uran /iapTHbtun типами даних (такі як ари-метіческне До ястрсхньс н н-еик С - до Інші операції існують у вигляді функцій, які визначені н стандартні бібліотека функцій. Решта онсрлшн pe - ашяауютсд у функціях C, які визначені н ірофаммах (див. програму 3 lj, Таким чином, концепції типу дан Нел я снлеяна не тільки з вбудованими типами (це: ри, означав і я з мул дає точкою н символи), Розробники часто задають власні типи дпшшхц що служить ефективним ср дстіом організації програмних засобів, При описі ri рос-сой функції C в результаті соадаетсн новий тин даних - Реалізована функцією операція доСздлнстся до операцій, визначених ЛДН типів даних, які л ре л подані іргу мента їм функції.

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

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

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

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

При компіляції інформація про тип використовується для представлення змінної в пам'яті ЕОМ і для вибору необхідних команд для виконання операцій над змінними. Наприклад, знак використовується в мові Паскаль для складання цілих і речових величин, а також для об'єднання множин. Виникає багатозначна інтерпретація цього знака операції. Разом з тим концепція типу дозволяє вирішити подібну невизначеність на стадії компіляції.

Таким чином, Веблен малює два протилежних типу суспільного устрою і відповідно два історично протилежних типу економічної поведінки. Чітко видно, що в історико-економіпеской концепції Веблена гіпертрофується роль психологічних факторів. Розвиток суспільства, соціально-економічні зміни постають у трактуванні Веблепа в кінцевому рахунку як результат конфлікту типів соціальних звичок. Для Веблена центральними є конфлікти між протилежними мотивами і звичками; протиріччя в системі виробничих відносин - дійсне джерело розвитку суспільства - він не розглядає. У цьому наочно проявився часто характерний для Веблена ідеалізм. Ідея визначальної ролі звичаїв, звичок проходить через всю Теорію дозвільного класу, виступаючи основою історико-економічної концепції Веблена. У свою1 чергу ця історико-екопоміческая концепція важлива для розуміння і оцінки тієї критики, якої Веблен піддав сучасне йому капіталісіческое суспільство. Його критика буржуазних економічних інститутів тісно пов'язана з концепцією протилежних типів економічної діяльності і звичаїв мислення - мирного типу і хижацького типу. Протилежність цих типів Веблен простежує до сучасного йому капіталізму.