Здравствуйте, Курилка, Вы писали:

К>Может путано выразился, но мысль в том, что всякие операции аля +, * — императивны, т.к. преобразуются по сути в ассемблерные инструкции и тот же синус выраженный рядом Тейлора есть результат некоторого последовательного вычисления.

А почему не параллельного? Хотя это уже offtop, но распараллелить процесс суммирования ряда при необходимости довольно легко.

D>>А в типы его поднимать незачем, ибо ни фига он не полиморфен
К>Вот об этом сути и речь, что даже если и выражается он в типах, это нафиг особо никому не упало. Ну не будем же мы арифметику на числах Чёрча писать

Ну речь же не идёт о том, чтобы всё поднять на уровень типов/макросов.

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