Is everyone here for the editorial meeting? Ok, good. Heavy news week this week, so only the best stories are going to get space. We'll start with Cheddar Headlines. Ten words max, and the headline can be self-explanatory as in 'The Independent', or horrendously convoluted, as in, erm, The Cheesy Headline Game. Once the headline is finished, I'd like a few words containing the story in a news style, please. Subs, clear your desks, and let's get the presses rolling. Spike it once we reach the usual back page move.
Higher Order Types are the new "hot" thing in programming languages, offering hitherto unachieved levels of reusability, reliability, portability, correctness, rapid application development, web deployment, security, and ponies for everyone, said Chris Boggs, CEO of HOT Technology Corporation, speaking at the 1st Annual Conference on HOT Languages, sponsored by HOT TC.