{- Statically typed, dynamically created channels -} new x : ^String {- Communication channel creation -} run ( x! "Hello world" | x? msg= print! msg {- Message-passing communication -} )