On 25 Feb 2009, at 8:38 pm, John Hughes wrote: [about the House operating system] The BitC language borrows a heck of a lot from the functional world. The purpose of BitC is to support writing operating systems that are both demonstrably secure *and* efficient.