The Bosque Project - проект который начался с 15 Апреля 2019 года!!
Bosque, да именно так! Именно так называется новый ЯП.
А теперь перевод со страницы Microsoft!!
Перевод:
Проект Bosque Programming Language - это основополагающая работа по совместному проектированию языка и инструментов, направленная на изучение теоретических и практических последствий:
Явное проектирование языка промежуточного представления кода (или байт-кода), который обеспечивает глубокое автоматическое обоснование кода и развертывание средств разработки следующего поколения, компиляторов и систем времени выполнения.
Использование возможностей промежуточного представления для предоставления языка программирования, который легко доступен для современных разработчиков и который предоставляет богатый набор полезных языковых функций для разработки высоконадежных и высокопроизводительных приложений.
Перспектива облачной разработки в программировании для решения возникающих проблем при переходе к модели распределенной облачной разработки, основанной на микросервисах, архитектурах без серверов и RESTful.
Промежуточные представления компилятора (IR) традиционно рассматриваются и разрабатываются с учетом конкретного исходного языка (или языков). Их историческое использование в основном было промежуточным этапом в процессе преобразования программы на исходном языке со всем связанным синтаксическим сахаром в конечный исполняемый двоичный файл. Однако со временем они становятся все более важными для поддержки задач анализа программ и инструментов IDE. В этих сценариях выбор, который не имел значения в контексте рабочего процесса компиляции, может иметь серьезные негативные последствия.
В проекте Bosque мы задаем вопрос о том, что произойдет, если IR спроектирован явно для поддержки богатых потребностей автоматизированного анализа кода, инструментов IDE и т. Д. С этой новой перспективой IR мы изучаем новый способ думать и строить промежуточное представление языка и инструменты, которые его используют. Наши первоначальные эксперименты показывают, что это расширяет возможности следующего поколения, включая символьное тестирование, улучшенное фаззирование, мягкую компиляцию в реальном времени со стабильной поддержкой GC, автоматическое маршалирование API и многое другое!
Многие функции, которые делают Bosque IR поддающимся автоматическому рассуждению, включают упрощение и устранение источников нарушения семантики. Эти регуляризации также упрощают задачу понимания и написания кода для разработчика. Вдохновленный этой идеей, проект Bosque создает новый язык регуляризованного программирования, который использует преимущества IR.
На сайте Microsoft есть ещё много написанного, но это вы можете почитать сами на сайте https://www.microsoft.com/en-us/research/project/bosque-programming-language/