kotlin - 10 минутный интеллектуальный оргазм.

[AP-1055D]

Цитата:

Сообщение от mazzy

дело в том, что современный вектор развития направлен не на математические абстракции,
а на контроль над многопоточным приложением, на параллельные вычисления.

вот хорошая лекция "про это" Зачем писать в стиле LINQ, Java Stream

параллельная обработка - ой как нужна в ERP
распараллелить расчет зарплаты, расчет налоговых регистров, расчет себестоимости.
и ведь в Аксапту все равно приходится вводить параллельную обработку (см. расчет себестоимости). Тот проект, где я сейчас работаю, без параллельных вычислений давно сдох бы. На этом проекте почти все выполняется в многопоточном фреймворке.

На самом деле современный вектор развития направлен именно на математические абстракции, более чистое, функциональное программирование. Во-первых, в основу LINQ положено понятие лямбда-исчисления. Это математическая абстракция, введённая математиком Алонзо Чёрчем. Во-вторых, LINQ разрабатывалась как абстракция доступа к данным. Мы хотим получать результат на разных типах данных, используя один язык, способ. Это абстракция, направленная на унификацию работы с данными, не имеющая ничего общего с параллельными вычислениями. В третьих, как уже говорил, сейчас наблюдается введение элементов функционального программирования. Однако, функциональное программирование не ставит цели распараллеливание кода.

Для параллельного программирования можно использовать более подходящие средства. Например, в СУБД для реализации параллельных запросов используют массивно-параллельную архитектуру (MPP). А в C++ есть замечательная библиотека MPI без всякого функционального программирования и прочих абстракций и парадигм.

А Linq2SQL это для достаточно простых запросов и небольших данных. Как только появляются более сложные запросы или большие данные возвращаются к обычному SQL.

[belugin]

Цитата:

Сообщение от AP-1055D

Однако, функциональное программирование не ставит цели распараллеливание кода.

Из Википедии

Pure functional programming completely prevents side-effects and provides referential transparency, which makes it easier to verify, optimize, and parallelize programs, and easier to write automated tools to perform those tasks.

См также plinq

[AP-1055D]

Цитата:

Сообщение от belugin

Из Википедии

Pure functional programming completely prevents side-effects and provides referential transparency, which makes it easier to verify, optimize, and parallelize programs, and easier to write automated tools to perform those tasks.

См также plinq

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

[belugin]

Цитата:

Сообщение от AP-1055D

Основная цель, насколько я это помню из курса лекций и насколько понимаю сам, сделать код максимально модульным

Цель чего? Изобретения ФП? Введения в какой-то язык? Использования в конкретном применении?

[AP-1055D]

Цитата:

Сообщение от belugin

Цель чего? Изобретения ФП? Введения в какой-то язык? Использования в конкретном применении?

Цель функционального программирования.

[S.Kuskov]

Цитата:

Сообщение от AP-1055D

На самом деле современный вектор развития направлен именно на математические абстракции, более чистое, функциональное программирование. Во-первых, в основу LINQ положено понятие лямбда-исчисления. Это математическая абстракция, введённая математиком Алонзо Чёрчем. Во-вторых, LINQ разрабатывалась как абстракция доступа к данным. Мы хотим получать результат на разных типах данных, используя один язык, способ. Это абстракция, направленная на унификацию работы с данными, не имеющая ничего общего с параллельными вычислениями. В третьих, как уже говорил, сейчас наблюдается введение элементов функционального программирования. Однако, функциональное программирование не ставит цели распараллеливание кода.

Функциональное программирование позволяет выражаться декларативно (что делать), а не процедурно (как делать), а уже это даёт возможности к распараллеливанию.

[mazzy]

Цитата:

Сообщение от AP-1055D

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

Исследования - да, в сторону абстраций. Потому что там лежат lazy-вычисления, отложенные вычисления.

Но развитие - в сторону параллельности. Особенно в массовых языках.
В лекции об этом и говорилось.

Цитата:

Сообщение от AP-1055D

Во-первых, в основу LINQ положено понятие лямбда-исчисления. Это математическая абстракция, введённая математиком Алонзо Чёрчем.

В основу - да.

Цитата:

Сообщение от AP-1055D

Во-вторых, LINQ разрабатывалась как абстракция доступа к данным. Мы хотим получать результат на разных типах данных, используя один язык, способ. Это абстракция, направленная на унификацию работы с данными, не имеющая ничего общего с параллельными вычислениями.

В массовых языках - никто бы не вводил асбтракции.
Они сами по себе нах никому не сдались.

Цитата:

Сообщение от AP-1055D

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

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

сравни хаскель и монадами и та куцая часть функционального программирования, которая попала хотя бы в скалу. не говоря уж об ошметках "функции высшего порядка" в C# и Java...

Цитата:

Сообщение от AP-1055D

Для параллельного программирования можно использовать

у меня такое ощущение, что вы лекцию не посмотрели.
докладчик так усилено напирал на ответы на ваши вопросы.

Цитата:

Сообщение от AP-1055D

А Linq2SQL это для достаточно простых запросов и небольших данных. Как только появляются более сложные запросы или большие данные возвращаются к обычному SQL.

)))))))
а почему только SQL? это ж реляционные данные.

вон, даже в аксапту вводят совершенно нереляционную entity.