@fanbaby: Huh? Category theory has been a huge influence on computer science for decades already, it's hardly a new thing, let alone a Microsoft thing. Although Erik Meijer's work at Microsoft has done a lot to popularize some of the ideas.