Arhn - архитектура программирования

Ищем надуманный пример кода: продолжения!

Так что я считаю, что теперь понимаю продолжения, по крайней мере, на каком-то уровне, благодаря схеме сообщества вики и Изучите схему в Fixnum Days.

Но мне бы хотелось больше практики, то есть больше примеров кода, которые я могу проработать в своей голове (желательно надуманных, чтобы не было посторонних вещей, отвлекающих от концепции).

В частности, я хотел бы решить больше проблем с продолжениями, которые возобновляются, и/или сопрограммами, а не просто использовать их для выхода из цикла или чего-то еще (что довольно просто).

В любом случае, если вы знаете о хороших учебниках, помимо тех, на которые я ссылался выше, или если вы хотите опубликовать что-то, что вы написали, это было бы хорошим упражнением, я был бы очень признателен!

coroutine continuations scheme
16.04.2009

Ответы:


1

Да, продолжения могут быть довольно умопомрачительными. Вот хорошая головоломка, которую я нашел некоторое время назад — попробуйте выяснить, что напечатано и почему:

(define (mondo-bizarro)
  (let ((k (call/cc (lambda (c) c)))) ; A
    (write 1)
    (call/cc (lambda (c) (k c))) ; B 
    (write 2)
    (call/cc (lambda (c) (k c))) ; C
    (write 3)))

(mondo-bizarro)

Объяснение того, как это работает (содержит спойлеры!):

  1. Первый call/cc возвращает собственное продолжение и сохраняет его в k.
  2. На экран записывается число 1.
  3. Текущее продолжение, которое должно продолжиться в точке B, возвращается к k, который возвращается к A
  4. На этот раз k теперь связано с продолжением, которое мы получили в B
  5. На экран снова записывается число 1
  6. Текущее продолжение, которое должно продолжаться в точке B, возвращается к k, которое является другим (но другим) продолжением в другую точку B.
  7. Вернувшись к исходному продолжению, важно отметить, что здесь k по-прежнему привязано к A
  8. На экран записывается число 2
  9. Текущее продолжение, которое должно продолжиться в точке C, возвращается к k, который возвращается к A
  10. На этот раз k теперь связано с продолжением, которое мы получили в C
  11. На экран снова записывается число 1
  12. Текущее продолжение, которое должно продолжиться в точке B, возвращается к k, который возвращается к C
  13. На экран записывается число 3
  14. Готово

Следовательно, правильный вывод — 11213. Самый распространенный камень преткновения, который я выделил жирным шрифтом — важно отметить, что когда вы используете продолжения для «сброса» значения k, это не влияет на значение k в исходном продолжении. Как только вы это узнаете, станет легче понять.

16.04.2009
  • Хм, да, это разрушает мой мозг. csi говорит, что результат 11213, но я могу понять только '112'... Должно быть, я что-то упускаю! 17.04.2009
  • Спасибо, жирный пункт был именно там, где я был сбит с толку. Позвольте мне попробовать это снова... :) 17.04.2009
  • Спасибо еще раз. Это упражнение было очень полезным. Я не умный человек, поэтому мне нужно столько всего, сколько я могу получить! 17.04.2009
  • Не ругайте себя - мне тоже потребовалось время, чтобы это понять. Камнем преткновения являются даже не продолжения, а способ связывания переменных в Scheme. 17.04.2009

    • 2

    В курсе языков программирования Университета Брауна есть задача о продолжениях в открытом доступе.

    16.04.2009
    Новые материалы
    Коллекции публикаций по глубокому обучению
    Последние пару месяцев я создавал коллекции последних академических публикаций по различным подполям глубокого обучения в моем блоге https://amundtveit.com - эта публикация дает обзор 25..
    Представляем: Pepita
    Фреймворк JavaScript с открытым исходным кодом Я знаю, что недостатка в фреймворках JavaScript нет. Но я просто не мог остановиться. Я хотел написать что-то сам, со своими собственными..
    Советы по коду Laravel #2
    1-) Найти // You can specify the columns you need // in when you use the find method on a model User::find(‘id’, [‘email’,’name’]); // You can increment or decrement // a field in..
    Работа с временными рядами спутниковых изображений, часть 3 (аналитика данных)
    Анализ временных рядов спутниковых изображений для данных наблюдений за большой Землей (arXiv) Автор: Рольф Симоэс , Жильберто Камара , Жильберто Кейрос , Фелипе Соуза , Педро Р. Андраде ,..
    3 способа решить квадратное уравнение (3-й мой любимый) -
    1. Методом факторизации — 2. Используя квадратичную формулу — 3. Заполнив квадрат — Давайте поймем это, решив это простое уравнение: Мы пытаемся сделать LHS,..
    Создание VR-миров с A-Frame
    Виртуальная реальность (и дополненная реальность) стали главными модными терминами в образовательных технологиях. С недорогими VR-гарнитурами, такими как Google Cardboard , и использованием..
    Демистификация рекурсии
    КОДЕКС Демистификация рекурсии Упрощенная концепция ошеломляющей О чем весь этот шум? Рекурсия, кажется, единственная тема, от которой у каждого начинающего студента-информатика..