Сравнивайте с английским: нажмите на абзац — оригинал откроется в окне. Кнопка EN под абзацем показывает его прямо в тексте.
Содержание
Введение
Функциональный язык программирования
Functional programming language
Unlambda — минималистичный, "почти чистый" функциональный язык программирования, изобретённый Дэвидом Мадором. Он основан на комбинаторной логике — системе выражений, не использующей оператор лямбда или свободные переменные. В его основе лежат главным образом две встроенные функции (s и k) и оператор применения (обозначается `, обратная кавычка). Одних лишь этих функций достаточно для достижения полноты по Тьюрингу, но также предусмотрены функции ввода/вывода (I/O) для взаимодействия с пользователем, вспомогательные функции и функция ленивых вычислений. Переменные не поддерживаются. Unlambda является свободным программным обеспечением с открытым исходным кодом, распространяемым по лицензии GNU General Public License (GPL) версии 2.0 или более поздней.
Unlambda is a minimal, "nearly pure" functional programming language invented by David Madore. It is based on combinatory logic, an expression system without the lambda operator or free variables. It relies mainly on two built in functions (s and k) and an apply operator (written `, the backquote character). These alone make it Turing complete, but there are also some input/output (I/O) functions to enable interacting with the user, some shortcut functions, and a lazy evaluation function. Variables are unsupported. Unlambda is free and open source software distributed under a GNU General Public License (GPL) 2.0 or later.
Оригинальные встроенные функции
Обозначение x обозначает функцию, которая принимает один аргумент и возвращает его без изменений, печатая единственный символ x как побочный эффект при её вызове. i представляет собой версию функции идентичности, которая не имеет такого побочного эффекта; она используется здесь в качестве фиктивного аргумента. Программа `.di` применяет функцию печати d к фиктивному аргументу i, возвращая i и печатая букву d как побочный эффект. Аналогично, ``.l.di` сначала применяет l к d, печатая букву l и возвращая d; этот результат d затем применяется к i, как в предыдущем примере. Функция r является синтаксическим сахаром для функции, которая печатает символ новой строки. Другие важные возможности, предоставляемые Unlambda, включают функции k и s. k создает константные функции: результат `kx` — это функция, которая при вызове возвращает x. Таким образом, значение ``kxy` равно x для любого x и y.
The notation x denotes a function which takes one argument and returns it unchanged, printing the single character x as a side effect when it is invoked. i represents the version of the identity function that has no such side effect; it is used here as a dummy argument. The program `. di applies the d printing function to a dummy argument of i, returning i and printing the letter d as a side effect. Similarly, ``. l. di first applies l to d, printing the letter l and returning d; this result of d is then applied to i as in the previous example. The function r is syntactic sugar for the function that prints a newline character. Other important features provided by Unlambda include the k and s functions. k manufactures constant functions: the result of `kx is a function which, when invoked, returns x. Thus the value of ``kxy is x for any x and y.
s — обобщенный оператор вычисления. ``sxyz` вычисляется как ``xz``yz` для любых x, y и z. Примечательно, что s и k достаточны для выполнения любого вычисления, как описано в комбинаторной логике SKI. В качестве краткого примера, функция идентичности i может быть реализована как ``skk`, поскольку ``skkx` дает x для всех x.
s is a generalized evaluation operator. ```sxyz evaluates to ``xz`yz for any x, y, and z. It is a remarkable fact that s and k are sufficient to perform any calculation, as described in SKI combinator calculus. As a brief example, the identity function i can be implemented as ``skk, since ```skkx yields x for all x.
Единственная конструкция управления потоком в Unlambda — это вызов с текущим продолжением, обозначаемый c. Когда вычисляется выражение вида `cx`, создается специальный объект продолжения, представляющий состояние интерпретатора в этот момент. Затем вычисляется x, и результат передается объекту продолжения в качестве аргумента. Если продолжение никогда не применяется к аргументу, значение выражения `cx` равно значению x. Но если объект продолжения применяется к значению y, выполнение x немедленно прерывается, и значение всего выражения `cx` становится равным y.
Unlambda's one flow control construct is call with current continuation, denoted c. When an expression of the form `cx is evaluated, a special continuation object is constructed, representing the state of the interpreter at that moment. Then x is evaluated, and then the result is given the continuation object as an argument. If the continuation is never applied to an argument, the value of the `cx expression is the same as the value of x. But if the continuation object is applied to a value y, execution of x is immediately aborted, and the value of the entire `cx expression is y.
Семантика выполнения Unlambda обычно является строгой (eager evaluation), но существует опция ленивого вычисления (lazy evaluation), обозначаемая использованием оператора d. Обычно, для вычисления выражения вида `xy`, Unlambda сначала вычисляет x, затем y, а затем применяет x к y. Однако, если x вычисляется в специальное значение d, то y не вычисляется; вместо этого, значение выражения `dy` является специальным объектом "отложенного вычисления", который, при применении к аргументу z, вычисляет y, а затем применяет его значение к z. При отсутствии побочных эффектов это точно то же самое, что и `iy`. Разница заключается в том, что `iy` выполняет любые побочные эффекты в y немедленно, тогда как `dy` откладывает побочные эффекты до тех пор, пока результат не будет применен к другому аргументу. Следующий встроенный оператор Unlambda — v, который игнорирует свой аргумент и возвращает v. Эта возможность не является строго необходимой, поскольку v можно реализовать как ``s``k``s``s``kskk``k``s``s``kskk`, но она предоставляется для удобства. (Это выражение выше просто `Yk`, где Y обозначает комбинатор фиксированной точки.)
Unlambda's execution semantics are normally eager evaluation, but a lazy evaluation option exists, indicated by the use of the d operator. Usually, to evaluate an expression of the form `xy, unlambda first evaluates x, then y, and then applies x to y. However, if x evaluates to the special value d, then y is not evaluated; instead, the value of the expression `dy is a special "delayed computation" object, which, when applied to an argument z, evaluates y, and then applies its value to z. In the absence of side effects, this is exactly the same as `iy. The difference is that `iy executes any side effects in y immediately, whereas `dy defers the side effects until the result is applied to another argument. Unlambda's next built in operator is v, which ignores its argument and returns v. This feature is not strictly necessary, since v could be implemented as ``s`k``s``s`kskk`k``s``s`kskk, but it is supplied as a convenience. (This expression above is simply `Yk, where Y denotes a fixed point combinator.)
Встроенные функции версии 2
В Unlambda версии 2 было добавлено больше встроенных функций. Ввод облегчается операторами @ и ?u. Когда @ применяется к функции x, из ввода считывается символ и сохраняется как "текущий символ"; затем к x применяется i. Однако, если на входе больше нет символов, текущий символ остаётся неопределённым, и к x применяется v вместо этого. Когда к функции x применяется функция ?u, результатом является вычисление `xi, если текущий символ равен u, иначе вычисляется `xv. Также существует оператор "повторного вывода" |. При вычислении `|x функция x применяется к u, если u является текущим символом, или к v, если текущий символ отсутствует. Наконец, есть оператор выхода e. Когда e применяется к x, выполнение программы завершается, а x считается результатом программы (большинство существующих интерпретаторов игнорируют результат в любом случае).
More built ins were introduced in Unlambda version 2. Input is facilitated by operators @ and ?u. When @ is applied to a function x, a character is read from input, and stored as the "current character"; then x is applied to i. However, if no more characters were available on input, the current character is left undefined, and x is applied to v instead. When a function ?u is applied to a function x, the result is the evaluation of `xi if the current character is u, otherwise `xv is evaluated. There is also a "reprint" operator |. When `|x is evaluated, the function x is applied to u if u is the current character, or to v if there is no current character. Finally, there is an exit operator e. When e is applied to x, the execution of the program is terminated, and x is taken as the result of the program (most of the currently existing interpreters ignore the result anyway).