Max Home IndustryНет, вы не неправильно прочитали заголовок. Программирование получает очень мало помощи от компьютеров, которые мы программируем. Сейчас есть большой проект, чтобы посмотреть, чего можно достичь.
Университет Пенсильвании возглавит проект Национального научного фонда стоимостью 10 миллионов долларов с участием ряда других учреждений под названием ExCAPE — Экспедиции в области разработки компьютерных дополненных программ. Команду возглавит Раджив Алур, профессор компьютерных и информационных наук, который сказал::
“Компьютеры развивались драматическими темпами, но технология, используемая для разработки программ и программного обеспечения, развивается сравнительно медленно,
То, что означает » код’, не сильно изменилось за последние 20-30 лет. Это все еще делается опытными программистами и довольно трудоемко, дорого и подвержено ошибкам.”
Это очевидно для любого практикующего программиста, но команда надеется создать инструментарий, который будет работать с программированием, чтобы помочь создать и проверить программу. Одной из областей, которые будут исследованы, является робототехника, которая, будучи основанной в физическом мире и имея множество ограничений, которые не встроены в современные языки программирования, имеет хорошие шансы на хорошие результаты. Пример, приведенный Алуром, — попытка припарковать автомобиль-робот:
«Программист может начать с определения целей высокого уровня, таких как конечное желаемое положение автомобиля и требование, чтобы по пути не было столкновений.
Таким образом, инструмент синтеза может начать со стратегий, предоставленных кодером, а затем изучить различные комбинации для сложных частей, автоматически заполняя детали наилучшими возможными значениями для создания полной программы,”
Еще одна область, в которой они надеются добиться успеха, — это управление сетевыми потоками и его приложения для многоядерного параллельного программирования.
Цель состоит в том, чтобы создать ряд инструментов проектирования, которые позволяют конечным пользователям программировать роботов, демонстрируя примеры поведения, и которые помогают опытным программистам решать проблемы в многоядерном программировании.
Были проекты, которые пытались полностью заменить программистов, но идея просто попытаться помочь направлять их логику кажется гораздо более достижимой. В этом случае ограниченные области исследования также, по-видимому, легче формализовать. Математические системы, такие как Mathematica, Maple и Alpha, уже могут помочь в решении проблем планирования и поиске целей.
Одно можно сказать на 100% точно — программистам нужны лучшие инструменты, а не только новые языки.