Почему эта легальная (рэкет) схема?

Question

Я просматривал htdp и нашел это где-то в начале: -

Объясните, почему следующие предложения являются недопустимыми определениями: 1. (define (f 'x) x)

Тем не менее, он отлично работает в ракетке:

> (define (f 'x) x)
> (f 'a)
3
> (define a 5)
> (f a)
3

Очевидно, я что-то упускаю ... что именно?

Answer 1

Краткий ответ: вы не должны использовать полный язык "#lang racket". Языки обучения исключают потенциально запутанные расширенные возможности языка, с которым вы сталкиваетесь.

В этом случае ваше определение интерпретируется как функция с именем f с необязательным аргументом с именем quote, значением по умолчанию которого является 'x'.

Установите уровень языка Начинающий студент, и вы получите гораздо более разумный ответ.

Answer 2

Эта строка не работает для меня в Racket: (define (f 'x) x). Сообщение об ошибке: define: not an identifier for procedure argument in: (quote x).

Какой язык вы используете? Вы пытались запустить вышеуказанную строку в окне взаимодействия?