> Назови мне хоть одну компанию которая заработала на продаже языков.

Microsoft.
Только продают они языки не напрямую, а как часть платформы Windows.
Или T-SQL как часть SQL Server.

> Бизнесу повезет если перепишем KVS на любой язык с типами.

В каких практических достижениях будет выражаться это "перепишем KVS на любой язык с типами"?

> докажем хоть одну теорему с экстрактом в Эрланг — то это вообще песня будет

Какая практическая польза будет от такой "песни"?

> Но EXE и то чем занимался Паша выходит за рамки этого

У этого "выхода за рамки" - есть какая-то практическая цель?