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

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


К>>>>прямая манипуляция с самим кодом проще, имхо
EC>>>Чем?
К>>Наверное в силу привычки, ведь даже в функциональном программировании есть по сути "императивная" составляющая, когда скажем sin(x) вычисляется в результате некоторых действий. Как вот ты этот самый синус типами выразишь?

D>Чего в синусе "императивного"? Он, как и все остальные мат. функции, декларируется рядом Тэйлора:
[cut]
D>
Ну ежу понятно про ряды
Может путано выразился, но мысль в том, что всякие операции аля +, * — императивны, т.к. преобразуются по сути в ассемблерные инструкции и тот же синус выраженный рядом Тейлора есть результат некоторого последовательного вычисления.

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