-> (Fake, *) | 'c' -> (*, BCoffee) | 't' -> (*, BTea) | 'x' -> (*, BCancel) | _ -> (*, *) ; stream console_outp to "std_out" ; stream console_inp from "std_in" ; -- dataflow wire coffee -- inputs (channel origins) (control.coin, control.button, coffee.value’ initially 0) -- -- outputs destinations (console_outp, coffee.value, console_outp, console_outp) ; wire control (console_inp) (coffee.coin, coffee.button) ; References External links The Hume Programming Language web site The Hume Project at Heriot-Watt University Embedded Functional Programming in Hume Document The EmBounded project Project to certify resource-bounded code in Hume. Hume and Multicore Haskell programming language family Functional languages Systems programming languages Embedded systems Articles with example code