Унламбда
-
Основные принципы Unlambda
- Unlambda — это функциональный язык программирования без лямбда-оператора и свободных переменных.
- Он основан на комбинаторной логике и использует две встроенные функции (s и k) и оператор apply.
- Язык поддерживает ввод-вывод, функции быстрого доступа и отложенную оценку.
- Переменные не поддерживаются, но данные могут быть смоделированы с помощью функций.
-
Основные функции и операторы
- Обозначение .x обозначает функцию без побочных эффектов, а i — функцию идентификации.
- Функции k и s создают постоянные функции и являются обобщенными вычислительными операторами.
- Управление потоком осуществляется через вызов с текущим продолжением (c).
- Функция d позволяет отложить оценку выражения до его применения к другому аргументу.
- Оператор v игнорирует свой аргумент и возвращает значение v.
-
Расширенные функции версии 2
- В версии 2 добавлены операторы @ и ?u для упрощения ввода.
- Оператор «перепечатка» | позволяет применять функцию к текущему символу или к v, если символ не определен.
- Оператор выхода e завершает программу и принимает результат в качестве результата работы программы.
-
Дополнительные ресурсы
- Ссылки на другие языки программирования и лекции по функциональному программированию.
- Официальный веб-сайт Unlambda.
Полный текст статьи: