Вариант для распечатки		Пред. тема | След. тема
Форум Программирование под UNIX (Языки программирования)
Изначальное сообщение		[ Отслеживать ]

"Схема Как понять Продолжения?"	+1 +/–
Сообщение от noname nobody (?), 02-Янв-25, 16:26
Ускользает смысл, уже не раз пытался понять. Схема прекрасна, решил подтянуть матчасть. Если кто понимает простым языком поделитесь. (define (range start end)     (if (> start end)         (list)         (cons start (range (+ start 1) end)))) (range 1 10); => (1 2 3 4 5 6 7 8 9 10)
Ответить | Правка | Cообщить модератору

Сообщения

[Сортировка по ответам | RSS]

1. Сообщение от Аноним (1), 02-Янв-25, 21:27	+/–
Вбивай вопросы вроде этого в GPT.
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #5

3. Сообщение от Аноним (5), 03-Янв-25, 05:01	+1 +/–
Если call-with-current-continuation, рассматривай как сохранения в игре. Оно сохраняет весь "стейт игры" (на самом деле, весь фрейм и биндинги) на момент перед новым действием после формы call/cc и внутри лямбды в call/cc ты можешь либо сразу загрузить этот стейт, типа кнопки быстрой загрузки автосохраниния, либо этот стейт схоронить в переменную повыше уровнем (а это уже не быстрое сохранение, а как слоты сохранения в играх), продолжить работу, выйти за рамки call/cc и, например, в случае, если что-то пойдёт не так, загрузить свой стейт назад. На последнем случае легко можно backtracking реализовать. Примеры хотелось бы сделать, но в пять утра и на телефоне без емакса неохота рисовать. Может, потом. Если delimited continuations, надо читать статьи Олега Киселёва и потихоньку на практике трогать. Если хочешь понять CPS, сперва стоит поаутировать с лямбдами, это комбинаторы и introduction to functional programming mike gordon'а.
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #6

4. Сообщение от Аноним (5), 03-Янв-25, 05:20	+1 +/–
> (define (range start end) >     (if (> start end) >         (list) >         (cons start (range (+ > start 1) end)))) У тебя не работает хвостовая рекурсия. Если в твой ренж пойдет большой диапазон, он взорвёт память. Хотя, конечно, большие списки и так не стоит делать, но всё же рассмотри вот такое: (define (range start end)         (let loop ((cur end) (acc '()))              (if (< cur start) acc                  (loop (- cur 1) (cons cur acc))))) Вообще, стоило бы мне выучить unfold из srfi-1, оно должно помогать с тем, чтобы аналоги iota реализовывать. С другой стороны, мне на схеме писать нечего и всё тлен. Вот когда начну писать что-то стоящее, тогда и выучу.
Ответить | Правка | Наверх | Cообщить модератору

5. Сообщение от Аноним (5), 03-Янв-25, 05:23	–1 +/–
> Вбивай вопросы вроде этого в GPT. GPT не заменит отсутствующего комьюнити. И да, он отвратительно пишет схемокод. Понимать вроде понимает, но там, где можно в макросах обойтись символами, синтаксическими объектами или использовать какие-то другие схемофишки, он пишет так, как будто это питон.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #1

6. Сообщение от blevakagmail.com (?), 09-Янв-25, 16:36	+/–
> Если call-with-current-continuation, рассматривай как сохранения в игре. Да, через про это, большое спасибо
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #3

7. Сообщение от blevakagmail.com (?), 07-Мрт-25, 01:54	+/–
> Ускользает смысл, уже не раз пытался понять. > Схема прекрасна, решил подтянуть матчасть. Если кто понимает простым языком поделитесь. > (define (range start end) >     (if (> start end) >         (list) >         (cons start (range (+ > start 1) end)))) > (range 1 10); => (1 2 3 4 5 6 7 8 > 9 10) Оказалось что я использую ironscheme в котором cc реализует только return
Ответить | Правка | Наверх | Cообщить модератору

8. Сообщение от sailorTheCat (?), 22-Апр-25, 13:23	+/–
Но здесь нет продолжений, это обычная рекурсия. Для понимания просто возьмите карандаш и бумагу и осуществите подстановку вручную. P.S. SICP рулит и бибикает на поворотах.
Ответить | Правка | Наверх | Cообщить модератору

Архив | Удалить

Рекомендовать для помещения в FAQ | Индекс форумов | Темы | Пред. тема | След. тема