The Microsoft code name "M" language is a declarative language for working with data and building domain models. "M" lets users write down how they want to structure and query their data using a textual syntax that is convenient to both author and reader.