Вопрос по Scheme

А если так записать?
(define (f1 f l) (eval (cons f l)))
(define (f2 x y z) (+ x y z))

И вообще, что ты пытаешься сделать?

>(define (f1 f l) (eval (cons f l))) (define (f2 x y z) (+ x y z))

В таком варианте разница только в синтаксисе,работает одинаково.

>И вообще, что ты пытаешься сделать?

Функцию (f1) которая принимает другую функцию (f) и список ее аргументов (l) и возвращает результат выполнения f с l.Собственно интересует возможность сделать это через eval.

> работает одинаково
Это на всякий случай.

> Функцию (f1) которая принимает другую функцию (f) и список ее аргументов (l) и возвращает результат выполнения f с l.
Уже есть такая - apply :)

>Уже есть такая - apply :)

Знаю такую, но вопрос носит теоретический характер.

(define f1 (lambda (f l) (eval (cons f l))))
(define f2 (lambda (x y z) (+ x y z)))

Здесь

(f1 'f2 '(1 2 3))

А вот тут

(f1 f2 '(1 2 3))

Не помню точно что нам об этом говорит стандарт Scheme (кому не лень — гляньте). Но скорее всего, как и в CL, первый элемент формы должен быть или символом (тогда вызывается функция, связанная с этим символом), или lambda-выражением.

Ну, как я понимаю, это можно сделать с помощью макросов.
А чтобы написать свой apply для простых функций, подходит map.
Работа eval и apply разбирается в 4й главе SICP - можешь посмотреть, а я пока до туда не дошел.

guile> (define f1 (lambda (f l) (eval (cons f l))))
guile> (define f2 (lambda (x y z) (+ x y z)))
guile> (f1 f2 '(1 2 3))

Backtrace:
In standard input:
3: 0* [f1 #<procedure f2 (x y z)> (1 2 3)]
1: 1 [eval (#<procedure f2 (x y z)> 1 2 3)]

standard input:1:26: In procedure eval in expression (eval (cons f l)):
standard input:1:26: Wrong number of arguments to #<primitive-procedure eval>
ABORT: (wrong-number-of-args)

Так понятнее? :)

Ну да. Дело в порядке вычислений - нужно чтобы l не вычислялся внутри (eval (cons f l)).
Верно же? ^^

Если не изменяет память, по стандарту конструкции (eval x) нет вообще, есть её вариант с отдельно задаваемым environment-ом. Поэтому каждая реализация ведёт себя в этом случае как ей вздумается.

>Не помню точно что нам об этом говорит стандарт Scheme (кому не лень -- гляньте). Но скорее всего, как и в CL, первый элемент формы должен быть или символом (тогда вызывается функция, связанная с этим символом), или lambda-выражением.

Нашел вот в R5RS про eval: Expression must be a valid Scheme expression represented AS DATA <- выделено мной Так что правильный вариант похоже (f1 'f2 '(1 2 3))

R5RS вообще говоря требует environment поэтому guile дает Wrong number of arguments to #<primitive-procedure eval>

> Так понятнее? :)

Фигасе! Лисповой ересью заболел?