На LtU опубликовали пост о проходящей сейчас PDC, в том числе пару ссылок на видео про Oslo и M.
Пока посмотрел только 2-е видео (точней оно о языке MGrammar, одном из целой пачки), впечатления очень противоречивые: по сути язык для описания грамматик для несколько продвинутого парсера (к примеру подсветка обеспечивается), обработка данных на C#, причём связка между грамматикой и шарпом динамическая, т.е. никаких статических проверок мы там не имеем и обработка ведётся практически точно также как с XML (ну или с другим AST), т.е. узлы адресуются через неявную структуру (аля foreach(object childNode: graphBilder.GetSuccessors(parentNode))...), из мелочей — функция, которая называется в ФП обычно flatten, у них называется очень интуитивно valuesof...
В общем по-моему нифига лозунг "Language for creating textual DSLs" не соответствует действительности, скорее "Language for creating parsers for textual DSLs".
Выглядит поприкольней чем XML+XSD+DOM (скажем, кроме угловых скобок можно использовать другие разделители), но каких-то принципиально новых фишек я не увидел.