Оператор J - J operator

В Информатика, Питер Ландин с Оператор J это программная конструкция, которая после создания лямбда-выражение с продолжение в текущий лямбда-контекст. Результирующая «функция» является первоклассной и может быть передана в последующие функции, где в случае применения она вернет свой результат продолжению функции, в которой она была создана.

Обобщенная первоклассная доходность

Можно определить заявление о возврате как объект первого класса, взяв J функции идентичности. Затем его можно передать другим функциям и применить там для возврата из функции, в которой был создан «возврат».

Смотрите также

Рекомендации

Автор: Ландин
  • Ландин, П. Дж. (Январь 1964 г.). «Механическая оценка выражений». Comput. Дж. 6 (4): 308–320. Дои:10.1093 / comjnl / 6.4.308.
  • Ландин, П. Дж. (Февраль 1965 г.). «Соответствие АЛГОЛА 60 и лямбда-нотации Чёрча: Часть I». Comm. ACM. 8 (2): 89–101. Дои:10.1145/363744.363749.
  • Ландин, П. Дж. (Март 1965 г.). «Соответствие АЛГОЛА 60 и лямбда-нотации Чёрча: Часть II». Comm. ACM. 8 (3): 158–167. Дои:10.1145/363791.363804.
  • Ландин П.Дж. «Формальное описание Algol 60». Представлено на Рабочей конференции ИФИП, Баден, сентябрь 1964 г.
  • Ландин П.Дж., «Программирование без операторов - пример», Исследовательский отчет UNIVAC S.P. (март 1965 г.).
  • Ландин П.Дж., «Избавление от этикеток», Исследовательский отчет UNIVAC S.P. (июль 1965 г.)
  • Ландин П.Дж., «Анализ присвоения в языках программирования», Исследовательский отчет UNIVAC S.P. (сентябрь 1965 г.)
Другими