OberonCore
https://forum.oberoncore.ru/

XQuery - функциональный или нет?
https://forum.oberoncore.ru/viewtopic.php?f=72&t=3282
Страница 1 из 1

Автор:  Илья Ермаков [ Среда, 19 Январь, 2011 20:54 ]
Заголовок сообщения:  XQuery - функциональный или нет?

выделено: viewtopic.php?p=58065#p58065

Однако такой кунштюк пройдёт в императивном языке, а у меня сейчас были такие длиннючие цепи на функциональном - XQuery - и вот там только вложенностью :)
Даже простейший ok не сделаешь. :)

Автор:  Alexey Veselovsky [ Среда, 19 Январь, 2011 20:58 ]
Заголовок сообщения:  Re: Конструкция AND THEN?

Илья Ермаков писал(а):
Однако такой кунштюк пройдёт в императивном языке, а у меня сейчас были такие длиннючие цепи на функциональном - XQuery - и вот там только вложенностью :)
Даже простейший ok не сделаешь. :)

Ничего подобного. Рекурсия же. Т.е. на функциональном языке это реализуемо 1 в 1.

Автор:  Илья Ермаков [ Среда, 19 Январь, 2011 21:14 ]
Заголовок сообщения:  Re: Конструкция AND THEN?

Но делить на функции и таскать параметры... Тяжеловато.
Лучше вложенность, видимо.

Автор:  Alexey Veselovsky [ Среда, 19 Январь, 2011 21:19 ]
Заголовок сообщения:  Re: Конструкция AND THEN?

Илья Ермаков писал(а):
Но делить на функции и таскать параметры... Тяжеловато.
Лучше вложенность, видимо.

Не понял. Зачем таскать параметры ручками? Замыкания же. Делить тоже ничего не надо.

Автор:  Alexey Veselovsky [ Среда, 19 Январь, 2011 21:39 ]
Заголовок сообщения:  Re: Конструкция AND THEN?

Я с XQuery не знаком, но у меня ощущение складывается, что XQuery это процедурный язык без побочных эффектов (т.е. вдоль и поперек иммутабельный), а не функциональный.

Автор:  Илья Ермаков [ Среда, 19 Январь, 2011 22:14 ]
Заголовок сообщения:  Re: Конструкция AND THEN?

Да, он не функциональный, если понимать под функциональным языком язык, в котором функции - сущности, доступные для манипуляции.

Автор:  Илья Ермаков [ Четверг, 24 Февраль, 2011 23:42 ]
Заголовок сообщения:  Re: Приспособим PureBuilder для разработки игр

Перенесено: viewtopic.php?p=60657#p60657

Язык, в котором отсутствует изменяемая память, уже функциональный.

Автор:  Alexey Veselovsky [ Четверг, 24 Февраль, 2011 23:47 ]
Заголовок сообщения:  Re: Приспособим PureBuilder для разработки игр

Нет.

Автор:  Илья Ермаков [ Пятница, 25 Февраль, 2011 00:34 ]
Заголовок сообщения:  Re: XQuery - функциональный или нет?

Императивный язык - оперирующий над изменяемой памятью.
Не-императивный, традиционно называемый аппликативным или функциональным - не имеет изменяемой памяти, а вычислительный процесс организуется на основе потока данных между вызываемыми функциями, в том числе рекурсивными. (Классический источник, например - Пратт, Зелковиц).

Это уж современно-новомодное понимание - что там функции должны быть "сущностями первого порядка" и т.п.

Страница 1 из 1 Часовой пояс: UTC + 3 часа
Powered by phpBB® Forum Software © phpBB Group
https://www.phpbb.com/