Хм, Влад скажет лучше, но в подкасте Филл говорил, что команда взяла чуть другой курс на развитие. Что сейчас сильно улучшают repl и Тулзы
Примерно такой вектор, да. После F#5 хочется больше внимания тулзам уделять, как внешним так и внутренним. На слово мне не верьте только, Филлип официально должен написать :)
Мы в идеале хотим написать кучу доков, туториалов, наделать митапов, где Дон и Уилл рассказывают про тонкости и внутренности языка, тулинга. И подталкивать коммьюнити пилить F# тоже. :)
По-хорошему было бы круто написать удобное апи для построения typed ast языка, как вот в розлине, но если браться, то по-идее пол компилятора переписывать под такое
небольшой редактор c подсветкой для интерпр. языка (типо DSL) с очень маленькой грамматикой (фитчи: окно исстории, окно результата, окно с кодом + неск. кнопок)