Funcons
File structure:
- Boldface words:
- a folder containing the items following it
- singular-word:
- a CBS file specifying a single funcon
- including any Auxiliary funcons
- plural-word:
- a CBS file specifying one or more value types
- including all associated value operations
- Values:
- values
- types
- Primitive values:
- empty-type
- unit-type
- booleans
- atoms
- unicode-characters
- strings
- bits
- Numbers:
- integers
- rationals
- ieee-floats
- Composite values:
- Collections:
- tuples
- lists
- vectors
- sets
- multisets
- maps
- directed-graphs
- Algebraic datatype values:
- algebraic-datatypes
- records
- variants
- references
- Computations:
- sorts
- Data flow:
- effect
- Giving:
- Binding:
- environments
- environment
- bind
- bound
- scope
- accumulate
- Recursion:
- recursive
- bind-recursively
- bound-recursively
- Storing:
- stores
- store
- variables
- Simple variables:
- assign
- assigned
- allocate-variable
- allocate-initialised-variable
- deallocate-variable
- current-value
- General variables:
- general-assign
- general-assigned
- allocate-vector
- allocate-map
- Linking:
- link-stores
- link-store
- links
- allocate-link
- allocate-initialised-link
- set-link
- follow-link
- follow-if-link
- Generating:
- atom-generator
- fresh-atom
- fresh-binder
- Interacting:
- standard-out
- print
- print-list
- standard-in
- read
- Control flow:
- Normal:
- Sequencing:
- left-to-right
- sequential
- atomic
- Choosing:
- Iterating:
- Indefinite:
- Definite:
- Mapping collections:
- list-map
- map-map
- set-map
- tuple-map
- vector-map
- lists-map
- Filtering collections:
- list-filter
- map-filter
- set-filter
- multiset-filter
- Reducing collections:
- Abnormal:
- stuck
- Failing:
- signals
- failed
- fail
- else
- check-true
- dereference
- Throwing:
- thrown
- throw
- handle-thrown
- handle-recursively
- finally
- Continuations:
- control-signal
- resume-signal
- control
- prompt
- shift
- reset
- abort
- call-cc
- hole
- plug
- Abstractions:
- thunks
- thunk
- force
- is-ground-value
- Closures:
- Functions:
- lambda
- apply
- supply
- compose
- uncurry
- curry
- partial-apply
- Patterns:
- patterns
- pattern-any
- pattern-bind
- pattern-prefer
- pattern-unite
- case
- match
- match-loosely