Для всех возможных приложений хватает полноты по Тьюрингу, а вот с понятием консистентности применительно к языку программирования я не знаком. Я думаю, что перебирая наборы абстракций, рано или поздно можно получить язык удобный для решения более-менее определенного (пусть даже весьма широкого) круга задач. А это какая-никакая специализация. Или надо прямо сказать, мол верим в существование серебреной пули и ждем ее пришествия.
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
(no subject)
Date: 2012-11-29 09:00 pm (UTC)