The CBS library provides funcons for expressing and composing various kinds of computations. The following classification of funcons reflects whether they are concerned with normal or abnormal flow of control, and the kinds of entities generally required by their computations.
Funcons compute (sequences) of values on normal termination.
(Funcons for threads, distributed processes, and low level memory have not yet been defined.)
Funcons can take sequences of values and computations as arguments, whereas results can only be (sequences of) values.