On the practicality and desirability of highly-concurrent, mostly-functional programming

We propose the practicality and desirability of a programming style, ravelling. Ravelling makes extensive use of threads with mostly functional code computing local state. By passing values across channels other threads induce an owning thread to change state or report information about itself Our experience suggests that ravelling makes for flexibility in design and relative ease in introducing new code.