7013
Комментарий:
|
7222
|
Удаления помечены так. | Добавления помечены так. |
Строка 98: | Строка 98: |
* Выбрать один пример из перечисленных ниже, написать решение на ''двух'' языках | * Выбрать один пример из перечисленных ниже, написать решение на ''двух'' языках — Си и Паскале (если соответствующего компилятора нет, можно воспользоваться многочисленными online-компиляторами) |
Императивное программирование
Напоминание:
Аллегируемые объекты
- Выполнение действий, обусловленное свойствами объекта
Проблемы реализации:
Дисциплина аллегирования (как различать объекты)
- имена, номера, связывание (например, операндом функции), …?
Порядок составных действий (как гарантировать однозначность хода выполнения программы)
- граф зависимости (⇒ последовательность, зависимость по данным/управлению и т. п.)
- Итерация
- циклы, рекурсия, актуально конечные повторения, …
Хранение объектов, ссылки на них (имена, адреса, указатели и т. п.)
Действие — это модификация (+создание/удаление) объекта (инструкция)
Программа — это последовательность инструкций
- В зависимости от свойств объектов, последовательные части программы не выполняются или выполняются повторно
Архитектура фон Неймана
- Адресуемая память
- Объекты — ячейки памяти с данными
- Программа — последовательность ячеек памяти с инструкциями
- Условные переходы вперёд и назад по адресам
Язык ассемблера:
- Человеко-ориентированное представление данных и инструкций
- Метки вместо адресов
- (всё остальное — «удобства»)
- Пример
Процедурные языки
Типичные черты (не обязательно для всех):
- Составные типы данных
- «Переменные» вместо меток (метафора «ящика с дыркой»)
- Функции/процедуры, содержащие «локальные переменные»
уже не связывание ли это из функциональной парадигмы?
Исторические представители:
Современные:
Высокоуровневые ЯП
( На Википедии понятие описано несколько невразумительно)
Объективный признак: несовпадение модели вычислений абстрактного (заданного ЯП) и фактического исполнителя
⇒ кросс-платформенность на уровне семантики ЯП
Субъективные признаки: сокращение объёма и увеличение читаемости программы, ориентация на решение определённого класса прикладных задач
Си и Паскаль
Онтологическое отличие: цель создания
Общее
- Процедурный ЯП начала 70-х
- Очень простой синтаксис
- Глобальные и локальные переменные
- Типы данных:
- Простые
- Составные
- Указатели
- …
Различия
- P: Перечеслимые типы
- P: Указатели
- P: Разделение процедур и функций, передача параметров по ссылке
- P: Файл как тип данных
- P: …
- C: Присваивание и запятая как операции
- C: Приведение типов (особенно ссылочных)
- C: Адресная арифметика как реализация понятия «массив»
- C: Аппаратно-ориентированные возможности
C: … (например, Duff device
Общий вывод: сильное отличие в уровне абстракции
- Недостаточная высокоуровневость стандартного Pascal
- Модель памяти и указатели
- Отказ от «синтаксического сахара»
- Проблемы читаемости Си
- Побочные эффекты
Современные тенденции
Насыщение синтаксиса ЯП актуальными приёмами программирования и актуальными встроенными типами данных (словари, итераторы, декораторы, асинхронность, исключения, неопределённые значения, и т. п.)
- Более безопасная модель памяти
- Включение удобных инструментов из других парадигм
- Инкапсуляция как базовый инструмент
Бонус
Д/З
- Восстановить в памяти синтаксис Си и Паскаля.
Выбрать один пример из перечисленных ниже, написать решение на двух языках — Си и Паскале (если соответствующего компилятора нет, можно воспользоваться многочисленными online-компиляторами)
TODO
(для сдающих практикум) переслать свои решения по электронной почте мне, в поле «Subject» должно присутствовать слово «практикум»