CBS-beta

Beta-release of the CBS framework

View My GitHub Profile

Values

The CBS library provides funcons for expressing and computing various kinds of values:

Primitive values

Composite values

Abstraction

Types

(Further kinds of values are provided in connection with particular kinds of computations.)

Sequences of values

Funcons can take sequences of values as arguments, and compute sequences of values as results. The only sequences that are themselves values are trivial sequences of length one.

The absence of a computed value is represented by the empty sequence ( ). Funcons that may compute ( ) have result types of the form T?, and generally need to be preceded by checked when used as arguments of other funcons.