Если программистом для разработки избирается объектно-ориентированный подход, то скорее всего будет ошибкой подгонять решаемую задачу под какую-нибудь заранее известную математическую модель. Возможно, значительно лучше будет поискать нестандартное решение, которое в точности охватывает специфические особенности, связанные с самой природой прикладной области. В
computer science для этого избирается метатеория, в рамках которой проводится исследование и которая “настраивается” на специфику прикладной области. Один из способов настройки -- это погружение прикладной теории (“меньшей” теории) в чистую метатеорию (“большую теорию”). Кроме того, с математической точки зрения
в рамках комбинаторной логики удобно строить подтеории -- специальные математические модули, которые в готовом виде задают
механизмы вычислений, имеющие самостоятельное значение. Такие рассуждения легко найдут отклик у программиста, вынужденного
заниматься большим программным проектом, когда преимущества
рассуждений в терминах объектов и их свойств становятся особенно очевидными. Комбинаторная логика позволяет на математически
идеализированных объектах предварительно “проиграть” все наиболее сложные и тонкие моменты взаимодействия механизмов большого программного проекта.
Опубликовал Kest
April 02 2014 23:10:55 ·
0 Комментариев ·
2689 Прочтений ·
• Не нашли ответ на свой вопрос? Тогда задайте вопрос в комментариях или на форуме! •
Комментарии
Нет комментариев.
Добавить комментарий
Рейтинги
Рейтинг доступен только для пользователей.
Пожалуйста, залогиньтесь или зарегистрируйтесь для голосования.
Нет данных для оценки.
Гость
Вы не зарегистрированны? Нажмите здесь для регистрации.
Главная
Каталог файлов
