Без заголовка
> Какая-нибудь большая толстая фирма заявит, что будет программировать на чём-то
Ага... Например Микрософт... Например на R :)
> DSL
Ну просто вот есть и tf, и CNTK, и theano, и H2O, и всякие sparkи с хадопами. И сам R теперь умеет в матрицы бесконечного размера на безразмерных кластерах в конечное время.
Что касается (e)DSL, то весь R это куча (e)DSL и всякого прочего сахара поверх Схемы. Все в духе SICP --- покоряй сложность как только смогло придумать человечество.