Исходное сообщение
"В рамках проекта SMACK развивается новая система статической..." Отправлено scor, 05-Фев-13 22:57
> ...люди от века составляли разные инструкции, в которых и ветвления были, и циклы... Только, как правило, все эти алгоритмы преследуют своей целью не выполнить некоторые действия ради выполнения этих действий, а получить некий результат от их выполнения. В этом и есть фундаментальная разница подходов и мышления: можно описывать алгоритм получения результата, а можно описывать сам результат. Всё сводится к поставленной задаче. > Например, представьте, как будете объяснять кому-то как взвесить килограмм сахара - всё будет. Вопрос подходов.:) Например, можно так: на одной чаше весов лежит эталонный киллограмм, а на другой сахар. Показания стрелки весов и есть ответ на вопрос: "сахар весит больше, меньше или ровно киллограм". data Indicator = Center                | ReferenceSide                | SugarSide type Result = String is1Kg :: Indicator -> Result is1Kg Center          = "exact 1Kg!" is1Kg ReferenceSide   = "less than. add more sugar" is1Kg SugarSide      = "too mutch. remove some sugar" *Main> is1Kg ReferenceSide "less than. add more sugar" *Main> is1Kg SugarSide "too mutch. remove some sugar" *Main> is1Kg Center "exact 1Kg!" *Main> Ваш императивный вариант будет проще в понимании?:)