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