В таком случае — конечно, пожертвую. Но тут речь идет об одной из крупнейших военных организаций, и как бы я не хотел спонсировать науку, чем-то нехорошим это все равно попахивает.
Мне кажется, глобализация еще не достигла нужного уровня, и косвенно все это будет не только наукой, но и спонсированием американской экономики. За саму идею огромный плюс.
Прочитал, что задача определения того, сведется ли выражение к нормальной форме или бета-редукцию можно будет применять бесконечно, алгоритмически неразрешима. Видимо, на такие вещи придется просто забить)
Представление выражения в виде дерева будет весьма удобно. Если еще добавить copy-on-write оптимизацию (счетчик ссылок на объект, как в boost shared_ptr), то должно быть сравнительно быстро.
Ну, Lazy K, по сути, урезанный Unlambda. Под чистотой unlambda я подразумевал только концепцию, пожалуй. Если использовать только ski, то он будет чистым. Вот по-настоящему для ценителей, в нем только один комбинатор.
Так оно, скорее всего, и есть. Просто все равно остаются маленькие подозрения, мало ли.
Представление выражения в виде дерева будет весьма удобно. Если еще добавить copy-on-write оптимизацию (счетчик ссылок на объект, как в boost shared_ptr), то должно быть сравнительно быстро.
Было бы неплохо совместить удобство самого лямбда-исчисления и интересный механизм ввода-вывода из Lazy K.
Вот по-настоящему для ценителей, в нем только один комбинатор.