A glimpse into a new programming language under development at Microsoft