Subject: Re: Лямбда-исчисление в рефале.
From: Sergei M. Abramov (at home) (abram@botik.ru)
Date: Tue Aug 28 2001 - 21:02:12 MSD
>Имеется в виду, наверно:
> $func? Fname eX = eY;
> $func Fname eX = eY;
>где Fname - имя переданной функции sF (= значение переменной sF)...
Да, это имелось в виду...
>| И если это не так, то она (Apply) производит из себя $error -- если я не
>| ошибаюсь...
>|
>| Так что, с греческими мю и с замыканиями в Рефале Плюс не очень-то. Ну,...
>| компромис "интерпретация или компиляция".
>
>Нет проблем! Просто писать на 5 или 6 знаков больше приходится.
Согласен, с точностью до ограничения формата...
> ... А содержательно
><Apply sF eX> это то же самое, что и <sF eX> в рефале-6 (если конечно,
>ограничиваться функциями формата e=e).
да, и я про это самое ограничение...
Сергей
This archive was generated by hypermail 2b25 : Mon Oct 25 2004 - 21:24:59 MSD