Язык Sketch
Источник: Christine Daniloff/MIT

В МТИ разрабатывают язык программирования Sketch, позволяющий при реализации некоторой функциональности только указывать условие задачи, а код для ее решения генерируется автоматически. Авторы Sketch называют этот процесс «синтезом программ». Со временем, когда Sketch доработают и сделают более дружественным к пользователю, он сможет облегчить труд программистов, а пока язык используется в основе других инструментов. Sketch работает, оценивая огромное количество вариантов реализации заданной функции и отыскивая тот из них, который отвечает условиям, поставленным программистом. Когда задача сложная, процесс перебора может затянуться слишком надолго. Разработчики Sketch сообщили об усовершенствовании, благодаря которому язык стал гораздо эффективнее справляться со сложными задачами синтеза кода.