21 ноября 2010 · Комментарий

Без заголовка

Анатолий Левенчук · Оригинал в ЖЖ ↗ · Ссылка на запись

Вот это "работать удобней" как раз непонятно. Для логиков даже controlled English есть, чего нет ни для каких других языков... Насчет высших порядков, вполне возможно, в этом всё дело: где у логик непонятная вычислимость, в других языках для частных случаев находятся конкретные алгоритмы. А гипотеза о том, что FOL в итоге вставится во все языки, скорее всего подтвердится.