Continuation: Porovnání verzí

Z funkcionálního pohledu je kontinuace [[Monáda (funkcionální programování)|monáda]] <math>A \mapsto (A \rightarrow R)\rightarrow R</math> definovaná takto: Jednotka je <math>\eta x \equiv \lambda f . f(x)</math> a vázání je <math>m >\!\!\!>\!\!= f \equiv \lambda g . m((\lambda x . f(x)(g)g)</math>.