Хочу понять continuations.

http://citforum.univ.kiev.ua/programming/digest/scheme/

λ, вид сбоку.

what? Пример CPS преобразования для Scheme, описана реализация call/cc, то что и просил TC

what?

Точка возврата в продолжение - это, фактически, лямбда.

Эээ, а continuations можно реализовать макрами да лямбдами?

http://www.bookshelf.jp/texi/onlisp/onlisp_21.html

> Эээ, а continuations можно реализовать макрами да лямбдами?

В CL можно, но это будут не совсем полноценные continuations.

И чем неполноценные?

> И чем неполноценные?

Они не работают с unwind-protect.

Вот вот вот. Поподробнее. Что такое unwind-protect?

Ещё я встречал какой-то dynamic-wind. Объясните зачем они нужны.

http://www.ibm.com/developerworks/ru/library/l-advflow/ - тоже хорошее объяснение

Эээ, а continuations можно реализовать макрами да лямбдами?

Нет, только неполноценный костыль на тему. Вот что сказано на странице cl-cont

All special operators listed under http://www.lisp.org/HyperSpec/Body/sec_3-1-2-1-2-1.html are supported with the following limitation: call/cc cannot appear within the body of catch, throw, progv, or unwind-protect.

Because compilers often expand standard macros into non-standard CL code, supporting all special operators is not sufficient to support all of Common Lisp. cl-cont makes special arrangements to support defun. Currently defgeneric and defmethod are not supported. Additional cases will be handled as they are exposed.

Calling call/cc from functions passed to standard functions (like mapcar) is not supported because standard functions have not been transformed to CPS style. Eventually cl-cont will provide its own version of commonly used standard functions that accept higher order parameters.

CPS можно реализовать через монаду(в haskell)

CPS можно реализовать через монаду(в haskell)

реализовать через монаду - это звучит

ежели по существу, то монада определяет только определённый (удобный во многих случаях) интерфейс, и не имеет никакого отношения к реализации; реализовать CPS она не поможет - однако пользоваться CPS с монадическим интерфейсом будет значительно удобней, чем без оного

>Эээ, а continuations можно реализовать макрами да лямбдами?

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

И как это делается?

Smalltalk вместе с Io у меня стоят в списке to-see, но это потом.

Ты можешь мне примерно объяснить как там реализовано?

Вот пример использования продолжений:

Object subclass: ContinuationTest [
    | continuation someVar |
    create [
        someVar := Continuation currentDo:  [:cc | continuation := cc. 0].
        someVar printNl
    ]
    use [
        someVar = 0 ifTrue: [continuation value: 42]
    ]
]

ContinuationTest new create; use.

~ $ gst -f ~/devel/cont.st 
0
42

А в реализации там используется возможность прямого доступа к стеку. Смолтоковская магия во всей её красе. Три метода, по сути

Continuation class >> currentDo: aBlock
    ^aBlock value: (self new stack: thisContext parentContext copyStack)

Continuation >> value: anObject
    ^self resume: anObject nextContinuation: stack copyStack

Continuation >> resume: returnValue nextContinuation: aContext
    | continuation |
    stack isNil ifTrue: [ ^self primitiveFailed ].
    continuation := stack.
    stack := aContext.
    thisContext parentContext: continuation.
    ^returnValue