Gluk (Kazan) tchingiz/topic/572434&pg=2#5951018

Ну передергивания то точно не было. Скорее взгляды с разных кочек. Два ЯЗЫКА можно считать эквивалентными, если они эквивалентны машине Тьюринга. На все сто (c), но:

Можно ли на тех же основаниях считать эквивалентными ФП и ИП ??? А если можно, то возникает законный вопрос - а нафига все эти нечеловечьи ограничения, накладываемые ФП, просто чтобы в гамаке и на лыжах ? Наверное все таки ФП позволяет что-то такое, чего не позволяет ИП ???

В общем, до тер пор пока не будет дано математически точное определение эквивалентности ФП и ИП (столь же точное как определение эквивалентности языков программирования), все это теология. А после того как оно будет дано - тавтология
офкос. sql это исчисление предикатов первого порядка, в нем нет аксиом пеано (в частности матиндукции), на практике это выражается в отсутствии цикла (про императивные расширения языка наслышан. рассказывать мне про pl/sql не надо).
есть две группы языков - qbe и sql - одна; все остальные - другая.

>>Наверное все таки ФП позволяет что-то такое, чего не позволяет ИП ???
и что оно позволяет?
кроме того, что позволяет за меньшее количество лексем записывать решение задачи?

Gluk (Kazan)
tchingiz
и что оно позволяет?
кроме того, что позволяет за меньшее количество лексем записывать решение задачи?

Доказывать свойства алгоритмов, по всей видимости.

Вероятно для императивных алгоритмов это тоже как-то делать можно, но то что побочные аффекты добавляют в этом жизни - факт
согласен. упустил.
доказательства свойств алгоритмов используются в методах с использованием формальных спецификаций. Принято начинать с функционального стиля записи,
доказывать правильность, а, затем, переходить к императивному стилю.

Gluk (Kazan) tchingizесть две группы языков - qbe и sql - одна; все остальные - другая.


Гхм. несколько ограничивающая классификация :(
Вот скажем язык, порождаемый регулярным выражением a*b к какой из этих групп относится ???
если на этом языке можно записать программу генерирующую потенциально бесконечное множество - то ко второй , если нельзя - то к первой.


программа может построить потенциально бесконечное множество если, она, для любого числа N, может построить множество мощности N+1

N+1 не важно.
если программа для любого N > 0, может построить множество мощности N.

Gluk (Kazan) tchingizесли на этом языке можно записать программу генерирующую потенциально бесконечное множество - то ко второй , если нельзя - то к первой.


b
ab
aab
aaab
....

чем не бесконечное множество ? :)
а программы на этом языке писать низя наверное
ну, тоесть для любого неизвестного N Вы можете сгенерировать множество мощности N,
но не можете написать программу на этом языке. следовательно отнесем к группе 1, в которой отсутствует матиндукция, а значит арифметика.
туда же, скорее всего, нужно отнести язык регулярных выражений.