Теоретические сведения. Комбинаторная логика в безтиповом варианте
является основным математическим аппаратом, в рамках которого исчисляются объекты, абстрактные по самой своей сути. Фактически, комбинаторная логика представляет собой чистое исчисление концептов, позволяя по мере необходимости создавать или модифицировать “на лету” свою собственную систему концептов. Развитие систем “переменных” концептов имеет первостепенную роль во всех значимых приложения, включая построение объектно-ориентированных систем программирования. Несмотря на кажущуюся простоту -- а, фактически, комбинаторной логикой можно начать пользоваться сразу после изучения определения всего двух комбинаторов K и S, -- глубокое осмысление всех возможностей исчисления комбинаторов требует известного технического
навыка. Прежде всего это касается самого аппликативного стиля используемых записей.
Однако это не является чем-то неожиданным: тридцатилетний опыт практического использования системы программирования LISP давно уже подготовил почву для переосмысления “теоретического минимума программиста”, куда входят и комбинаторная логика, и
λ-исчисление, и другие специальные разделы логики, по традиции называемой неклассической.
Опубликовал Kest
April 07 2014 23:15:10 ·
0 Комментариев ·
3136 Прочтений ·
• Не нашли ответ на свой вопрос? Тогда задайте вопрос в комментариях или на форуме! •
Комментарии
Нет комментариев.
Добавить комментарий
Рейтинги
Рейтинг доступен только для пользователей.
Пожалуйста, залогиньтесь или зарегистрируйтесь для голосования.
Нет данных для оценки.
Гость
Вы не зарегистрированны? Нажмите здесь для регистрации.