были бы мозги, так:
1. прочел бы свою фразу «Большинство широко используемых языков программирования — тьюринг-полные.»
2. понял бы, что могут быть широко используемые, но не тьюринг-полные языки программирования
3. задал бы вопрос о них
З.Ы. А еще необходимость К-комбинатора не столь очевидна... так что рождаются мысли о не-тьюринг-полном языке без него. Сюда же просится рассуждение на тему «языки-то тьюринг-полны, но отнюдь не полны с точки зрения программиста» и попытки порассуждать на тему «как определить полноту языка с точки зрения программиста», вспоминая DRY например.
З.Ы.Ы. Модераторы? Нафига вы закрыли ту тему в ЛОР для не-модераторов? Или даже в том случае, когда модераторы действуют разумно, единственным оправданием их действий является административный ресурс? Это неспортивно.
З.Ы.Ы.Ы. Саныч, хочется устроить срач, но тема не придумывается — так лучше попроси. Темы есть.
