-- compile
 
  /*
                 круговорот бит в природе
                       /---------\
    />---------------->|keyboard |>------------------>\
    |                  |         |                    |
    |>---------------->|mouse    |>------------------>|
    |                  |         |                    |
    |>---------------->|screen   |>------------------>|
    |                  \---------/                    |
    \--< USER <-\                     /---< SYSTEM <--/-\
                |      /---------\    |                 |
         brain  |<----<|screen   |<--<|>----> DB >------/
                |      |         |    |
                \<----<|printer  |<--</
                       \---------/
*/ 

scheme WORD = class    --  вначале было слово
 
type 
    Input, Output, DataBase   --, Memory
 
channel 
    keyboard, mouse, screenI: Input,
                      -- special kind of screen like screen of palmPilot
 
    printer, screenO : Output
variable
    db : DataBase
     -- brain : Memory = для симметричности картинки userу 
 
     --     можно приписать мозги. Но часто их нет. Будем рассчитвывть на
 
     --     худший случай
 
value
    USER: Unit -> in printer, screenO out keyboard, mouse, screenI Unit,
    SYSTEM : Unit -> in keyboard, mouse, screenI out printer, screenO Unit,
    userWork : Output -> Input,
    systemWork : Input -> write db Output
axiom 
    USER() is                     -- пусть v -результат чтения пользователем екрана компьютера
 
        let v = screenO? in (     -- screen0? - ввод с екрана в мозги пользователя
 
            keyboard! userWork(v)   |^|   -- вывод рез.работы на клавиатуру
 
                              -- |^| операция внутреннего выбора
 
                              --     пользователь сам выбирает чем двигать
 
                              --     мышкой или клавой или экраном
 
            mouse!    userWork(v)   |^|   -- или кликнул мышкой
 
            screenI!  userWork(v)        --  или тыцнул в экран
 
        )
        end                                  |=|   -- операция внешнего выбора
 
        let v = printer? in (                      -- копьютер заставляет пользователя
 
            keyboard! userWork(v)   |^|             -- читать, то куда он вывел
 
            mouse!    userWork(v)   |^|
            screenI!  userWork(v)
        )
        end
        ; USER()
        ,
    SYSTEM() is
        let v = keyboard? in (    --  пусть v - результат опроса копьютером клавы
 
            screenO!  systemWork(v)  |^|    --  результаты своей работы
 
            printer! systemWork(v)         --  вывел на экран или принтер
 
        )
        end                                  |=|  -- тут пользователь заставляет
 
                                                  --  компьютер читать его команды
 
        let v = mouse? in (
            screenO! systemWork(v)  |^|
            printer! systemWork(v)   
        ) 
        end                                  |=|
        let v = screenI? in (
            screenO! systemWork(v)  |^|
            printer! systemWork(v)   
        )
        end
        ; SYSTEM() 

end