At first I thought mist if these headlines were related to new functional languages from the ML family. Since I enjoy reading the headlines without immediately clicking on the links, it took me a little time to understand that ML had nothing to do with functional programming.