Непейвода Н.Н. Программирование. Раздел 3

Непейвода Н.Н. Программирование. Страница 388

В данной иллюстрации, чтобы представить понятие переменной в опера­ционном стиле, мы намеренно отошли весьма далеко от нотации, принятой в строго функциональном языке LUCID, которая точно соответствует этому стилю программирования. В естественной нотации фрагмент (9.1) записы­вается просто как

(fby — followby, "следуют через"). Никакого индексирования временем нет. Нет даже никакого явного упоминания времени, а роль времени играет согла­шение: каждая переменная является контейнером, содержащим поток значе­ний, удовлетворяющий задаваемым соотношением.

Приведенный пример показывает, как принципы систем структурирова­ния данных проявляют себя в стилях программирования, не являющихся операционными.

9.1.4. Типизация и стили

Базовые структуры данных языков выбираются, в первую очередь, исходя из потребностей стиля. Как следствие, проблема их реализуемости решается в рамках реализуемости модели вычислений языка в целом. Типизация для разных стилей определяется практически всегда, хотя и понимается неоди­наково.

Например, для функционального типа естественной, хотя и не единствен­но возможной, концепцией типа данных может служить соглашение о том, что данные считаются нульместными функциями, а система типов строит­ся на базе операции применения функции к ее аргументам. Таким образом строится система типов, соответствующая математическому понятию типов функций (см. Приложение А).

Для объектноориентированного стиля требуется поддержка порождения и уничтожения данных (объектов) в динамике выполнения программы. Как следствие, появляются специальные методы конструкторов, семантика ко­торых сводится к созданию объекта и выполнению ряда сопутствующих ( в том числе и явно описываемых программистом) действий. Соответствен­но, для уничтожения объекта появляются методы деструкторов, выполня­ющих выбранные программистом действия, необходимые для корректного удаления всех следов объекта.

Новости

  • 1
  • 2
Prev Next

Ракета "Ангара-А5В" в ближайшее десятилетие не полетит

24.01.2016

Ракета "Ангара-А5В" в ближайшее десятилетие не полетит

Роскосмос не планирует в течение ближайшего десятилетия осуществлять пуск тяжёлой ракеты-носителя А...

Ученые РФ опровергли выводы исследований о вреде ГМО

24.01.2016

Ученые РФ опровергли выводы исследований о вреде ГМО

Исследователи из Института проблем передачи информации (ИППИ РАН) проанализировали несколько самых п...

Летающие "Крокодилы"

24.01.2016

Летающие "Крокодилы"

20 удивительных фактов о боевом вертолете Ми-24.Этот вертолет стал таким же узнаваемым символом сове...

В Аргентине описали новый вид динозавра-гиганта

24.01.2016

О ранее неизвестном виде динозавра, относящемуся к инфраотряду зауроподов, рассказали аргентинские п...

Реклама