Languages-beta : SIMPLE-Funcons-Index.cbs | PRETTY | PDF
Outline
Computations
Normal computation
Flowing
[
Funcon sequential Alias seq
Funcon effect
Funcon if-true-else Alias if-else
Funcon while-true Alias while
]Giving
[
Funcon initialise-giving
Funcon give
Funcon given
Funcon left-to-right-repeat
]Binding
[
Type environments Alias envs
Datatype identifiers Alias ids
Funcon initialise-binding
Funcon bind-value Alias bind
Funcon bound-value Alias bound
Funcon scope
Funcon collateral
]Storing
[
Funcon initialise-storing
Datatype variables Alias vars
Funcon allocate-variable Alias alloc
Funcon allocate-initialised-variable Alias alloc-init
Funcon assign
Funcon assigned
]Interacting
Input
[
Funcon read
]Output
[
Funcon print
]Abnormal computation
Failing
[
Funcon finalise-failing
Funcon checked
]Throwing
[
Funcon finalise-throwing
Funcon throw
Funcon handle-thrown
]Returning
[
Funcon return
Funcon handle-return
]Values
Value Types
Primitive values
Booleans
Integers
[
Type natural-numbers Alias nats
Funcon integer-add Alias int-add
Funcon integer-subtract Alias int-sub
Funcon integer-multiply Alias int-mul
Funcon integer-divide Alias int-div
Funcon integer-modulo Alias int-mod
Funcon integer-negate Alias int-neg
Funcon integer-is-less Alias is-less
Funcon integer-is-less-or-equal Alias is-less-or-equal
Funcon integer-is-greater Alias is-greater
Funcon integer-is-greater-or-equal Alias is-greater-or-equal
Funcon decimal-natural Alias decimal
]The null value
[
Datatype null-type
Funcon null-value Alias null
]Composite values
Sequences of values
Tuples
[
Datatype tuples
]Vectors
[
Datatype vectors
Funcon vector
Funcon vector-elements
]Abstraction values
Generic abstractions
[
Funcon closure
]