taras atavin,

Сообщение от taras atavin Приверженцы функционального программирования что, в серьёз считают, что любую программу можно свести к вычислению математической функции?

Изоморфность пространств функций исчисления Чёрча и программ машины Тьюринга/Поста подвергаешь сомнению?

0

Я вообще то уже прочитал.
1. Но математические функции заведомо чисты. По определению по Вашим же ссылкам.
2. Задача любой названной программы - вводить данные, выполнять некие соответствующие им операции и выводить результат. Тот же скайп вводит и контак, которому требуется позвонить, и голос пользователя, и пакеты от другого экземпляра, а вводит голос собеседника. Всё это по тому же определению грязно, а ни для чего другого ни одна из названных программ не предназначена, вычисления для них - лишь способ решения основных задач, не более того.
И как же Вы эту грязь сведёте к кошерной чистоте? Расскажите.

Добавлено через 1 минуту

Сообщение от mporro Изоморфность пространств функций исчисления Чёрча и программ машины Тьюринга/Поста подвергаешь сомнению?

Ну попробуйте сделать в виде машины Тьюринга для рядового пользователя текстовый процессор.

0

taras atavin

Сообщение от taras atavin попробуйте сделать в виде машины Тьюринга для рядового пользователя текстовый процессор.

Всё уже сделано.

0

Покажите.

0

Libre Office

0

И какое же место там махнет Тьюрингом? Что я ленты в интерфейсе не увидел.

0

taras atavin
Лента в оперативной памяти.

Добавлено через 9 минут
Дальше длить эту глупость не имеет смысла.
Подавляющее большинство современных программ, выполняемых на современных процессорах -- это императивные программы, для которых всегда можно написать программу для машины Поста. Точка.

Для любой программы, которая может быть исполнена на машине Поста, можно написать программу в виде функции из пространства исчисления Чёрча. Точка.

Скажем, для объектных программ точное отображение представлено в работах Абади и Карделли.

0

0

0

0

Сообщение от mporro taras atavin Лента в оперативной памяти.

Внутренности меня не интересуют. С чем работает пользователь? Там ведь и ввод, и вывод и даже графика с файлами в перемешку.

Добавлено через 4 минуты

Сообщение от mporro Подавляющее большинство современных программ, выполняемых на современных процессорах -- это императивные программы, для которых всегда можно написать программу для машины Поста. Точка. Для любой программы, которая может быть исполнена на машине Поста, можно написать программу в виде функции из пространства исчисления Чёрча. Точка.

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

0

taras atavin,
побочный эффект -- это манера восприятия окружающего мира, а не божественное откровение.

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

Опять же. Вы можете голым на столе танцевать, но всё уже известно и никому не интересно.

0

Сообщение от mporro побочный эффект -- это манера восприятия окружающего мира, а не божественное откровение.

Нет. Это ни то ни другое.

Сообщение от mporro Текстовый процессор вычисляет функцию из байтов исходного файла в байты конечного файла, например.

Нет. Этим занимается архиватор, или конвертер файловых форматов. Но кроме архваторов, форматных конвертеров, самораспаковывающихсся архивов, вирусов, тестовых приложений и некоторых команд системы воде dir, у всех остальных программ задача не сделать что то, а делать. Делать в течении всего времени пользования, а не сделать один раз после каждого запуска. При этом всегда требуется ввод/вывод. Пользователь набирает текст, стирает часть текста, исправляет другую часть, выбирает форматирование, выделяет фрагменты текста, снимает выделение, открывает и закрывает дополнительные окна, скролит документы..., данные сохраняются в переменные до завершения подзадачи, но остаются доступными после её завершения. Для функций всё это побочно, в отличие от процедур, так как основным назначением функций как вида подпрограмм декларировано вычисление возвращаемого значения.

0

taras atavin
Нет никакого времени.
Есть мировая линия в пространственно-временном континууме. Вот эту мировую линию функция и вычисляет.

0

Сообщение от mporro побочный эффект -- это манера восприятия окружающего мира, а не божественное откровение.

Нет. Это ни то ни другое.

Сообщение от mporro Текстовый процессор вычисляет функцию из байтов исходного файла в байты конечного файла, например.

Нет. Этим занимается архиватор, или конвертер файловых форматов. Текстовый же процессор работает интерактивно в непрерывном диалоге с пользователем. Кроме архиваторов, форматных конвертеров, самораспаковывающихсся архивов, вирусов, тестовых приложений и некоторых команд системы воде dir, у всех остальных программ задача не сделать что то, а делать. Делать в течении всего времени пользования, а не сделать один раз после каждого запуска. При этом всегда требуется ввод/вывод. Пользователь набирает текст, стирает часть текста, исправляет другую часть, выбирает форматирование, выделяет фрагменты текста, снимает выделение, открывает и закрывает дополнительные окна, скролит документы..., данные сохраняются в переменные до завершения подзадачи, но остаются доступными после её завершения. Для функций всё это побочно, в отличие от процедур, так как основным назначением функций как вида подпрограмм декларировано вычисление возвращаемого значения.

Добавлено через 4 минуты

Сообщение от mporro taras atavin Нет никакого времени. Есть мировая линия в пространственно-временном континууме. Вот эту мировую линию функция и вычисляет.

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

0

Сообщение от mporro Вот эту мировую линию функция и вычисляет.

Не-а. Мировая линия сама себя вычисляет. А поскольку она сама по себе не функция, то ФУНКЦИЯ НЕ ВЫЧИСЛЯЕТ МИРОВУЮ ЛИНИЮ.
Ну зачем противопоставлять вещи существующие параллельно? Функции быстрее? -Конечно. На ОП большой код писать легче. -Мягко сказано. Возможен ли рефакторинг кода из ОП в ФП? Наверное. Скорость выиграется, но потеряется жизнеспособность.
Но есть же языки, где стеком можно управлять вручную. Можно выделить память под локальную переменную и освободить её принудительно. Тогда быстрее всего писать линейный код. Где тут нельзя реализовать машину Тюринга? И бесспорно это будет быстрее. Трудоёмко до безумия? -Нет, трудоёмко сверх безумия если код большой и сложный. Но это же просто продолжение мысли вроде:
-А давайте отречёмся от ОП в пользу ФП!
Так давайте отречёмся от всего (включая рассудочную деятельность) в пользу ЛП (линейное программирование (с)).

0

Сообщение от IGPIGP -Нет, трудоёмко сверх безумия если код большой и сложный.

А вот фиг, есть лишь две бесконечности: вселенная и глупость и на счёт вселенной не уверены даже астрономы и астрофизики.

0

0

0

Сообщение от IGPIGP -А давайте отречёмся от ОП в пользу ФП!

Erlnag'еры так и сделали. Справедливости ради не будем забывать что есть smalltalk'еры.

0