A
ага
Size: a a a
2020 March 06
AE
Хм. Понятно.
AE
У тебя чикен, кстати?
A
да
AE
Понятно. То-то пропт такой же.
ХЛ
Паттерны использования «call with current continuation»
http://fprog.ru/lib/ferguson-dwight-call-cc-patterns/
http://fprog.ru/lib/ferguson-dwight-call-cc-patterns/
A
#;4> (define (return10 back) (back 10))
#;5> (* (call/cc return10) 2)
20
A
#;6> (define ((return-doubled x) back) (back (* x 2)))
#;7> (+ (call/cc (return-doubled 10)) 5)
25
AE
#;4> (define (return10 back) (back 10))
#;5> (* (call/cc return10) 2)
20
А тут back это (lambda (a) (* a 2))
A
нет, тут back это опять же что-то, сгенеренное схемой
AE
нет, тут back это опять же что-то, сгенеренное схемой
Ну.
AE
Да.
A
там начинаются приколы когда у тебя несколько call/cc и как результат несколько точек "возврата" и более того, одну и ту же точку можно переиспользовать много раз
A
но я сходу не могу придумать пример
A
собссно пример с корутинами у меня примерно так и устроен - есть основная функция mainloop, оно принимает что-то на вход и определяет, какую "корутину" (функцию) вызвать. Та работает, потом доходит до call/cc и возвращается обратно в mainloop, но возвращает точку "продолжения выполнения". Мэйнлуп продолжает работать и в какой-то момент может решить продолжить выполнение какой-то из своих корутин. Тогда он вызывает не точку входа, а точку возврата.
a
В коллекцию примеров: MetaCyc «и смежные» базы данных написаны на Common Lisp.
• https://twitter.com/vsbuffalo/status/1232516892130021376
• http://presentica.com/ppt-presentation/the-ecocyc-and-metacyc-pathway-genome-databases
• https://twitter.com/vsbuffalo/status/1232516892130021376
• http://presentica.com/ppt-presentation/the-ecocyc-and-metacyc-pathway-genome-databases
a
В конце концов у каждого может найтись аргумент, почему тут &aux, а не let*, или наоборот аргумент против.
Я люблю &aux потому что стараюсь умещать все в 80 символов по ширине. :-)
AE
Я люблю &aux потому что стараюсь умещать все в 80 символов по ширине. :-)
Да, тоже подумал об этом.
a
А тут есть схемеры?
В Common Lisp не может быть undelimited continuations. Схемеры скорее всего есть в https://t.me/scheme_ru (эта ссылка есть в инфо чата)
AE
В Common Lisp не может быть undelimited continuations. Схемеры скорее всего есть в https://t.me/scheme_ru (эта ссылка есть в инфо чата)
А что такое undelimeted?