[Закрыто] Стадии/режимы script, mount и make, подрежим check

Здесь еще где-то должны быть дополнительные режимы:

• Режим документирования — генерация документации из каркаса классов и свойств, с включением обычных и/или вики-комментариев.

• Режим перевода строк сообщений и комментариев — генерация исходника, содержащего только строки и комментарии (в том числе вики), подлежащие переводу. Исходный и целевой языки задаются пользователем.

Генерация документации будет, скорее всего, на основе вики-комментариев, — для чего они, собственно, и предназначены.

В целом же, появление в языках программирования режимов обработки исходных текстов, отличных от генерации кода, говорит в пользу перехода от текстового представления к БД, ибо только отекстовываемая БД позволит иметь одноразовые исходники, содержащие срез кода с возможностями, требуемыми сейчас, для текущего вида работ, без оглядки на остальные. Тема будет раскрыта далее.

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

• При разработке библиотек во главу угла ставится охват как можно большего числа случаев использования, и широта охвата выражается через абстрагирование. Библиотеки создаются ради решения общих задач, их цель — повторное использование кода.

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

Тут нужна цитата из учебника по проектированию.

В сложившемся процессе разработки наблюдается противоречие: основой программирования является разработка библиотек, занимая всё большее время по времени и трудозатратам, а инструменты по-прежнему ориентированы на разработку программ. Каждая библиотека создает внутри себя некую модель кода и данных, но в машинном виде эта модель существует лишь во время работы компилятора, возникая заново из исходных текстов при каждом запуске. (Аргументация напоминает ОС «Фантом»).

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

От систем в образе типа Smalltalk Кантор отличается тем, что не пытается строить единую идеальную модель, а берет на себя роль хранилища произвольных моделей, задача которого — беспристрастно проверять формальные правила, не более. Инструмент должен замещать инструмент. Пакетный менеджер и хранилище исходных текстов — инструменты. Чтобы заместить их, нужно предложить лучшие инструменты.