Continuation: Porovnání verzí

 

== Funkcionálně ==

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))</math>.

 

{{Pahýl}}

.

 

[[Kategorie:Programování]]