Link Search Menu Expand Document

Funcons-beta : Funcons-Index.cbs | PRETTY | PDF

Outline

Computations

Types of computation

Normal computation

Flowing

[
  Funcon   left-to-right   Alias l-to-r
  Funcon   right-to-left   Alias r-to-l
  Funcon   sequential      Alias seq
  Funcon   effect
  Funcon   choice
  Funcon   if-true-else    Alias if-else
  Funcon   while-true      Alias while
  Funcon   do-while-true   Alias do-while
  Funcon   interleave
  Datatype yielding
  Funcon   signal
  Funcon   yielded
  Funcon   yield
  Funcon   yield-on-value
  Funcon   yield-on-abrupt
  Funcon   atomic
]

Giving

Binding

[
  Type     environments       Alias envs
  Datatype identifiers        Alias ids
  Funcon   identifier-tagged  Alias id-tagged
  Funcon   fresh-identifier
  Entity   environment        Alias env
  Funcon   initialise-binding
  Funcon   bind-value         Alias bind
  Funcon   unbind
  Funcon   bound-directly
  Funcon   bound-value        Alias bound
  Funcon   closed
  Funcon   scope
  Funcon   accumulate
  Funcon   collateral
  Funcon   bind-recursively
  Funcon   recursive
]

Generating

Storing

[
  Datatype locations                     Alias locs
  Type     stores
  Entity   store
  Funcon   initialise-storing
  Funcon   store-clear
  Datatype variables                     Alias vars
  Funcon   variable                      Alias var
  Funcon   allocate-variable             Alias alloc
  Funcon   recycle-variables             Alias recycle
  Funcon   initialise-variable           Alias init
  Funcon   allocate-initialised-variable Alias alloc-init
  Funcon   assign
  Funcon   assigned
  Funcon   current-value
  Funcon   un-assign
  Funcon   structural-assign
  Funcon   structural-assigned
]

Linking

[
  Datatype links
  Funcon   initialise-linking
  Funcon   link
  Funcon   fresh-link
  Funcon   fresh-initialised-link    Alias fresh-init-link
  Funcon   set-link
  Funcon   follow-if-link
]

Interacting

Input

[
  Entity   standard-in
  Funcon   read
]

Output

[
  Entity   standard-out
  Funcon   print
]

Abnormal computation

Terminating abruptly

[
  Funcon   stuck
  Entity   abrupted
  Funcon   finalise-abrupting
  Funcon   abrupt
  Funcon   handle-abrupt
  Funcon   finally
]

Failing

[
  Datatype failing
  Funcon   failed
  Funcon   finalise-failing
  Funcon   fail
  Funcon   else
  Funcon   else-choice
  Funcon   checked
  Funcon   check-true
]

Throwing

[
  Datatype throwing
  Funcon   thrown
  Funcon   finalise-throwing
  Funcon   throw
  Funcon   handle-thrown
  Funcon   handle-recursively
  Funcon   catch-else-throw
]

Returning

[
  Datatype returning
  Funcon   returned
  Funcon   finalise-returning
  Funcon   return
  Funcon   handle-return
]

Breaking

[
  Datatype breaking
  Funcon   broken
  Funcon   finalise-breaking
  Funcon   break
  Funcon   handle-break
]

Continuing

[
  Datatype continuing
  Funcon   continued
  Funcon   finalise-continuing
  Funcon   continue
  Funcon   handle-continue
]

Controlling

Values

Value Types

[ 
  Type   values           Alias vals
  Type   value-types      Alias types
  Type   empty-type
  Funcon is-in-type       Alias is
  Funcon is-value         Alias is-val
  Funcon when-true        Alias when
  Type   cast-to-type     Alias cast
  Type   ground-values    Alias ground-vals
  Funcon is-equal         Alias is-eq
]

Primitive values

Booleans

[
  Datatype booleans      Alias bools
  Funcon   true
  Funcon   false
  Funcon   not
  Funcon   implies
  Funcon   and
  Funcon   or
  Funcon   exclusive-or  Alias xor
]

Integers

Floats

Characters

The null value

[
  Datatype null-type
  Funcon   null-value Alias null
]

Composite values

Sequences of values

[
  Funcon   length
  Funcon   index
  Funcon   is-in
  Funcon   first
  Funcon   second
  Funcon   third
  Funcon   first-n
  Funcon   drop-first-n
  Funcon   reverse
  Funcon   n-of
  Funcon   intersperse
]

Datatypes

Tuples

[
  Datatype tuples
  Funcon   tuple-elements
  Funcon   tuple-zip
]

Lists

[
  Datatype lists
  Funcon   list
  Funcon   list-elements
  Funcon   list-nil       Alias nil
  Funcon   list-cons      Alias cons
  Funcon   list-head      Alias head
  Funcon   list-tail      Alias tail
  Funcon   list-length
  Funcon   list-append
]

Strings

[
  Type     strings
  Funcon   string
  Funcon   string-append
  Funcon   to-string
]

Vectors

[
  Datatype vectors
  Funcon   vector
  Funcon   vector-elements
]

Bits and bit vectors

Sets

[
  Type     sets
  Funcon   set
  Funcon   set-elements
  Funcon   is-in-set
  Funcon   is-subset
  Funcon   set-insert
  Funcon   set-unite
  Funcon   set-intersect
  Funcon   set-difference
  Funcon   set-size
  Funcon   some-element
  Funcon   element-not-in
]

Maps

[
  Type     maps
  Funcon   map
  Funcon   map-elements
  Funcon   map-lookup    Alias lookup
  Funcon   map-domain    Alias dom
  Funcon   map-override
  Funcon   map-unite
  Funcon   map-delete
]

Multisets (bags)

Trees

Graphs

References and pointers

[
  Datatype references
  Funcon   reference
  Type     pointers
  Funcon   dereference
]

Records

[
  Datatype records
  Funcon   record
  Funcon   record-map
  Funcon   record-select
]

Variants

[
  Datatype variants
  Funcon   variant
  Funcon   variant-id
  Funcon   variant-value
]

Classes

Objects

Abstraction values

Generic abstractions

[
  Type     abstractions
  Funcon   abstraction
  Funcon   closure
  Funcon   enact
]

Thunks

[
  Datatype thunks
  Funcon   thunk
  Funcon   force
]

Functions

[
  Datatype functions
  Funcon   function
  Funcon   apply
  Funcon   supply
  Funcon   compose
  Funcon   uncurry
  Funcon   curry
  Funcon   partial-apply
]

Patterns

[
  Datatype patterns
  Funcon   pattern
  Funcon   pattern-any
  Funcon   pattern-bind
  Funcon   pattern-type
  Funcon   pattern-else
  Funcon   pattern-unite
  Funcon   match
  Funcon   match-loosely
  Funcon   case-match
  Funcon   case-match-loosely
  Funcon   case-variant-value
]