Теория: Введение

Абстракция – основной способ борьбы со сложностью в программировании. Она позволяет уйти от деталей реализации и сосредоточиться на главном. Хороший пример абстракции – функция сортировки массива. Не важно как она устроена, важно что она приводит к результату, который нас интересует.

Другой пример – функции высшего порядка, такие как map, filter и reduce, позволяют обрабатывать коллекции без знания их внутреннего устройства. Причём коллекция не обязательно должна быть плоской, подобные функции можно написать для сколь угодно сложных структур, например, для деревьев. Абстракция с помощью функций помогает сосредоточиться на самой обработке, а не на процессе обхода данных.

С другой стороны, сами данные нередко имеют сложную структуру. Представление пользователя в нетривиальной системе может потребовать описания десятков и сотен различных параметров и данных связанных с ними. В этой ситуации полезно спрятать эту структуру за набором функций. Эти функции скроют внутреннюю сложность и упростят поддержку кода. Это называется абстракция с помощью данных.

В этом курсе мы познакомимся с некоторыми базовыми принципами проектирования программ. С тем, как моделировать и представлять в программе объекты реального (и воображаемого) мира. Примером для проектирования послужит создание библиотеки для работы с графическими примитивами, такими как точки, отрезки, фигуры. Эта библиотека, с одной стороны, достаточно понятна для всех (в том числе визуально), с другой — очень просто представляется в коде.

Основные темы этого курса:

• Предметная область (Domain Model)
• Онтология
• Уровни проектирования (Барьеры абстракции)
• Инварианты