Оглавление
J оператор
-
Определение и использование оператора J
- Оператор J в информатике создает функцию с продолжением в текущем лямбда-контексте.
- Функция, созданная оператором J, является первоклассной и может быть передана другим функциям.
-
История и развитие оператора J
- Оператор J был разработан для создания меток и переходов в машине SECD.
- Изначально оператор J создавал “завершение программы”, состоящее из тела и дампа.
- Закрытие программы эквивалентно составлению тела с дампом в форме продолжения.
-
Упрощенное описание оператора J
- Оператор J возвращает функцию, которая применяет аргумент оператора J к аргументу функции и возвращает результат вызывающей функции.
-
Примеры использования оператора J
- J(λx.x) эквивалентен оператору return в языке программирования.
- Оператор J может использоваться для создания функций, которые повторно возвращают разные значения.
-
Рекомендации и дополнительная информация
- В статье есть ссылки на другие статьи и ресурсы, связанные с оператором J.
- Статья также содержит информацию о том, как помочь Википедии расширить ее.