Различия между версиями 1 и 2
Версия 1 от 2020-09-14 01:15:33
Размер: 7036
Редактор: FrBrGeorge
Комментарий:
Версия 2 от 2020-09-14 01:16:18
Размер: 7013
Редактор: FrBrGeorge
Комментарий:
Удаления помечены так. Добавления помечены так.
Строка 100: Строка 100:
 * ('''для сдающих практикум''') переслать свои решения по электронной почте [[FrBrGeorge|Георгий Курячий]], в поле «Subject» '''должно''' присутствовать слово «''практикум''»  * ('''для сдающих практикум''') переслать свои решения по электронной почте [[FrBrGeorge|мне]], в поле «Subject» '''должно''' присутствовать слово «''практикум''»

Императивное программирование

Напоминание:

  1. Аллегируемые объекты

  2. Выполнение действий, обусловленное свойствами объекта

Проблемы реализации:

  • Дисциплина аллегирования (как различать объекты)

    • имена, номера, связывание (например, операндом функции), …?
  • Порядок составных действий (как гарантировать однозначность хода выполнения программы)

    • граф зависимости (⇒ последовательность, зависимость по данным/управлению и т. п.)
  • Итерация
    • циклы, рекурсия, актуально конечные повторения, …

В Википедии:

  • Хранение объектов, ссылки на них (имена, адреса, указатели и т. п.)

  • Действие — это модификация (+создание/удаление) объекта (инструкция)

  • Программа — это последовательность инструкций

  • В зависимости от свойств объектов, последовательные части программы не выполняются или выполняются повторно

Архитектура фон Неймана

  • Адресуемая память
  • Объекты — ячейки памяти с данными
  • Программа — последовательность ячеек памяти с инструкциями
  • Условные переходы вперёд и назад по адресам

Язык ассемблера:

  • Человеко-ориентированное представление данных и инструкций
  • Метки вместо адресов
  • (всё остальное — «удобства»)
  • Пример

Процедурные языки

Типичные черты (не обязательно для всех):

  • Составные типы данных
  • «Переменные» вместо меток (метафора «ящика с дыркой»)
  • Функции/процедуры, содержащие «локальные переменные»
    • (!) уже не связывание ли это из функциональной парадигмы?

Исторические представители:

Современные:

Высокоуровневые ЯП

( <!> На Википедии понятие описано несколько невразумительно)

  • Объективный признак: несовпадение модели вычислений абстрактного (заданного ЯП) и фактического исполнителя

  • Субъективные признаки: сокращение объёма и увеличение читаемости программы, ориентация на решение определённого класса прикладных задач

Си и Паскаль

Онтологическое отличие: цель создания

Общее

  • Процедурный ЯП начала 70-х
  • Очень простой синтаксис
  • Глобальные и локальные переменные
  • Типы данных:
    • Простые
    • Составные
    • Указатели

Различия

  • P: Перечеслимые типы
  • P: Указатели
  • P: Разделение процедур и функций, передача параметров по ссылке
  • P: Файл как тип данных
  • P: …
  • C: Присваивание и запятая как операции
  • C: Приведение типов (особенно ссылочных)
  • C: Адресная арифметика как реализация понятия «массив»
  • C: Аппаратно-ориентированные возможности
  • C: … (например, Duff device

Общий вывод: сильное отличие в уровне абстракции

  • Недостаточная высокоуровневость стандартного Pascal
    • Модель памяти и указатели
    • Отказ от «синтаксического сахара»
  • Проблемы читаемости Си

Современные тенденции

  • Насыщение синтаксиса ЯП актуальными приёмами программирования и актуальными встроенными типами данных (словари, итераторы, декораторы, асинхронность, исключения, неопределённые значения, и т. п.)

  • Более безопасная модель памяти
  • Включение удобных инструментов из других парадигм
  • Инкапсуляция как базовый инструмент

Бонус

  • NIM как новый Паскаль

  • ZIG как новый Си

Д/З

  • Восстановить в памяти синтаксис Си и Паскаля.
  • Выбрать один пример из перечисленных ниже, написать решение на двух языках

    • /!\ TODO

  • (для сдающих практикум) переслать свои решения по электронной почте мне, в поле «Subject» должно присутствовать слово «практикум»

LecturesCMC/AL/2020_09_14 (последним исправлял пользователь FrBrGeorge 2020-09-25 17:04:14)