Cтраница 1
Набор типов данных, операций и особенностей каждого уровня называется архитектурой. Архитектура связана с аспектами, которые видны программисту. [1]
Набор типов данных в Лиспе довольно ограничен. Атомы ( символы) и числа являются основными простыми типами. Свя-ванные списки и списки свойств ( представляемые особой формой связанных списков) образуют основные структуры данных. Вся обработка дескрипторов осуществляется во время выполнения, никаких описаний не требуется. [2]
Для обработки большего набора типов данных ПЛ / 1 располагает гораздо большим числом встроенных функций, чем Фортран. В большинстве случаев основание, масштаб и тип аргумента математической функции определяют результат. Например, функция SIN используется для вычисления синуса вещественного или комплексного аргумента с фиксированной или плавающей точкой, десятичного или двоичного. [3]
Интеграция означает, что помимо большего набора типов данных и технологий имеется некая концепция и методология, оптимально объединяющая это разнообразие данных и технологий. Поэтому не следует путать применение суммы различных методов или технологий с их интеграцией. Зачастую при решении прикладных задач возникает ситуация, когда между различными методами нет внутренней связи; отсутствует и единая концепция системы обработки данных. [4]
Средствами того же языка программирования составляются наборы типов данных, отражающие взгляд конкретного пользователя ( или группы пользователей) на логическую структуру базы данных, и наборы функций и процедур, ограничивающие возможности пользователей предписанными для них действиями. [5]
Поэтому метолы интерфейсов Автоматизации рабогают с офапи-ченпым набором типов данных, пригодных для конвертации через вариант. Именно потому, что при маршалппгс длспннтерфейсов не требуются заместитель и заглушка, дпспннтсрфейсы поддерживают позднее связывание. [6]
При обоих вариантах база данных представляется в конечном итоге в виде совокупности конкретных типов данных, а сама база данных - в виде набора переменных объявленных типов данных. [7]
Однако указанная бестиповость не означает, что в Лиспе вовсе нет данных различных типов. Мы далее увидим, что набор типов данных наиболее развитых Лисп-систем необычайно разнообразен. [8]
Программы, написанные на языке Паскаль, отличаются большей надежностью, чем программы, написанные на языке Си. Основной причиной этого является сильная типизация в языке Паскаль, а кроме того, наличие в языке Паскаль более богатого набора типов данных. Это, в свою очередь, обеспечивает удобочитаемость и более высокую мобильность программ, написанных на языке Паскаль, по сравнению с программами, написанными на языке Си. Однако в силу своей гибкости и отсутствия ряда ограничений язык Си обеспечивает возможность использования его в более широком спектре областей применения. [9]
Хорошим примером реализации метода модулей является EX. По мнению Вильямса, автора этого языка, основным требованием, предъявляемым к общецелевому графическому языку, должно быть наличие достаточно богатого набора типов данных и операций над ними. GRAF является экспериментальным языком. [10]
Хорошим примером реализации метода модулей является EX. По мнению Вильямса, автора этого языка, основным требованием, предъявляемым к общецелевому графическому языку, должно быть наличие; достаточно богатого набора типов данных и операций над ними. GRAF является экспериментальным языком. [11]
Приведенные определения нуждаются в нескольких уточнениях. Во-первых, любая модель данных имеет дело не только с родовыми, но и с конкретными типами данных, как, например, булевский, целый и вещественный типы. Во-вторых, модель содержит не только набор типов данных, но и языковые средства спецификации ограничений целостности и формирования запросов к базе данных, которые необходимо связать с понятиями типов данных. Следует не забывать также, что все типы модели данных связаны посредством операций в единую систему типов. Как показано в предыдущих разделах, система взаимосвязанных типов представляет собой многоосновную алгебру. Однако поскольку каждая модель данных задает только спецификации типов данных, то правильнее сказать, что она является представлением некоторой теории многоосновных алгебр. В то же время любая СУБД, реализующая данную модель, является алгеброй данной теории. [12]
Перлнс смотрел в будущее. Признав ценность тьюринговской модели вычисления как оказавшей серьезное влияние на наше понимание сущности вычисления и важность влияния Алгола на нагие мышление, Пер-лис обсуждает дальнейшие шаги, которые нужно сделать в области языков программирования и программных систем. Он объясняет, почему программист должен иметь возможность определять более богатый набор типов данных и структур данных вместе с соответствующими операциями над ними. Эту потребность впоследствии стремились удовлетворить исследования по абстрактным типам данных и продолжающиеся до сих пор исследования понятий о системах типов. Затем эти понятия стали важными составляющими систем Лисп и Смолток и играют важную роль в разработке программных сред. Хотя некоторые из поднятых Перлисом вопросов нашли успешное разрешение в последующих исследованиях, другие все еще не нашли удовлетворительного ответа. [13]
Для определения домена нужно ввести тип данных, размер и значение атрибута по умолчанию. Один и тот же домен может описывать атрибуты объекта и столбцы таблицы, имея различные типы данных или размеры для объекта и столбца. Это различие необходимо, потому что для описания атрибутов уровня анализа нужен иной набор типов данных, чем для описания столбцов уровня проекта. [14]
Во-вторых, это стало первой демонстрацией фундаментальной концепции: компьютер состоит из набора типов данных и набора операций, подходящих для этих типов данных, так что вычислительная система должна использовать любые типы данных, удобные для решаемых ею задач, независимо от машины, на которой эти вычисления реализуются. В-третьих, обработка списков создала модель процедуры обозначения и тем самым определила символьную манипуляцию в том смысле, в котором мы употребляем это понятие в современной информатике. [15]