Я действительно думаю, что мы входим в золотую эру программного обеспечения и компьютерных наук. Так много программного обеспечения будет написано в будущем. И это приведет к множеству новых вызовов. И действительно кажется, что справляться с ними нужно не с помощью фреймворков и платформ, а с помощью основ компьютерных наук. Вызовы уже очень очевидны. Например, управление разрывом между синтаксисом и семантикой, обеспечение безопасности на уровне языковых систем (наконец-то пришло время для доверенных вычислений?), полное управление ошибками и восстановление на уровне системы, эволюция архитектуры на основе полученных в процессе выполнения знаний, более высокоуровневая формализация намерений, переосмысление управления состоянием и гарантий и т.д. и т.п. Необходимые инновации охватывают весь стек. От кремния до практик программной инженерии. Мы уже видим разрушения повсюду: в чипах, сетях, операционных системах, языках, средах выполнения языков, распределенных системах, поддержке платформ, безопасности и т.д. и т.п. и т.д. Какое время.