"#lang planet neil/sicp", ошибка: "define: not allowed in an expression context."

@rdt · Регистрация: 18.12.2015

Студворк — интернет-сервис помощи студентам

Пробую решать задачи из SICP на Racket. В какой-то момент код из книжки не заработал, и я стал добавлять "#lang planet neil/sicp". Теперь код из книжки обрабатывается корректно, но то, что я пишу периодически натыкается на одну и ту же ошибку.

Вот пример кода, вызывающего ошибку (самое начало написания теста Миллера-Рабина в той формулировки, которая дана в википедии https://ru.wikipedia.org/wiki/... а_—_Рабина ):

Lisp

#lang planet neil/sicp
 
(define (wiki-mr-prime? n)
 (define (stfun s t)
  (if (even? t)
   (stfun (1+ s) (/ t 2))
   (list s t)
 ))
 (cond
  ((<= n 0) nil)
  ((= n 1) #f)
  ((even? n) #f)
  ((= n 3) #t)
  (else
   (define st (stfun 0 (1- n)))
   (display (list n st))
)))

Просто ввожу этот код и получаю сообщение об ошибке:

"define: not allowed in an expression context in: (define st (stfun 0 (1- n)))"

Если в первой строке написать "#lang racket", то сообщения об ошибке не появляется.

Вопрос: что я делаю не так с точки зрения авторов книги?

Чтоб повторно использовать значение выражения, я должен куда-то сохранить результат. Пройденный материал (я дошёл до параграфа 1.2) предлагает 2 варианта:
1) использовать define;
2) написать ещё одну функцию, и передать туда данные в качестве параметра.

Первый способ, по непонятной для меня причине, не сработал. А второй - чуть более трудоёмок. Хотелось бы знать, почему первый способ не сработал; и, что более важно, зачем надо действовать по второму способу?

@helter · 02.10.2016, 16:30

По R5RS define можно писать не везде. Можно на верхнем уровне, в начале определения функции и, более общо, в начале <body>, как говорит сам R5RS:
https://wiki.call-cc.org/man/4... efinitions
Вообще, для локальных определений специально созданы let и letrec, и не очень понятно, почему в SICPе так много внутренних defin'ов.

@rdt · 02.10.2016, 17:03 **[ТС]**

helter, тогда логика, вроде, понятна: "define" пишется в самом начале блока, чтоб оно работало как будто я описал переменную с помощью "let" перед этим блоком.

А раз так, я, просто, напишу "let": буду считать, что автор забыл познакомить меня с этим оператором (я запустил поиск, "let" впервые встречается в пункте 1.3.2), а я, как бы, исправляю его недоработку.

@rdt · 03.10.2016, 22:17 **[ТС]**

Сообщение от rdt

зачем надо действовать по второму способу?

Так вот чего от меня хотели: "Выражение с let — это всего лишь синтаксический сахар для вызова lambda."

Я должен был с помощью "define" ввести новую функцию, а они потом бы объяснили, что для новой функции тут достаточно "lambda", а использование "lambda", в данном случае, можно заменить на использование "let".

Интересный подход в этой книжке.

@korvin_ · 04.10.2016, 19:06

Сообщение от helter

не очень понятно, почему в SICPе так много внутренних defin'ов

Потому что меньше скобок и вложенности.

@helter 4527 / 3521 / 358 Регистрация: 12.03.2013 Сообщений: 6,038
	02.10.2016, 16:30	2
	Сообщение было отмечено rdt как решение Решение По R5RS define можно писать не везде. Можно на верхнем уровне, в начале определения функции и, более общо, в начале <body>, как говорит сам R5RS: https://wiki.call-cc.org/man/4... efinitions Вообще, для локальных определений специально созданы let и letrec, и не очень понятно, почему в SICPе так много внутренних defin'ов. 2

@rdt 188 / 155 / 17 Регистрация: 18.12.2015 Сообщений: 179
	02.10.2016, 17:03 [ТС]	3
	helter, тогда логика, вроде, понятна: "define" пишется в самом начале блока, чтоб оно работало как будто я описал переменную с помощью "let" перед этим блоком. А раз так, я, просто, напишу "let": буду считать, что автор забыл познакомить меня с этим оператором (я запустил поиск, "let" впервые встречается в пункте 1.3.2), а я, как бы, исправляю его недоработку. 0

@rdt 188 / 155 / 17 Регистрация: 18.12.2015 Сообщений: 179
	03.10.2016, 22:17 [ТС]	4
	Сообщение от rdt зачем надо действовать по второму способу? Так вот чего от меня хотели: "Выражение с let — это всего лишь синтаксический сахар для вызова lambda." Я должен был с помощью "define" ввести новую функцию, а они потом бы объяснили, что для новой функции тут достаточно "lambda", а использование "lambda", в данном случае, можно заменить на использование "let". Интересный подход в этой книжке. 0

@korvin_ 4467 / 2701 / 484 Регистрация: 28.04.2012 Сообщений: 8,559
	04.10.2016, 19:06	5
	Сообщение от helter не очень понятно, почему в SICPе так много внутренних defin'ов Потому что меньше скобок и вложенности. 0

Опции темы

"#lang planet neil/sicp", ошибка: "define: not allowed in an expression context."

Решение