> On Wed, Mar 18, 2009 at 10:12:26PM +0200, Aleksey Cheusov wrote: >> Алгоритмически сложные задачи не решаются на функциональных языках. То >> есть, они, конечно, решаются, Тьюринг полнота как бы доказана. Но >> решаются так, что каждая _мельчайшая_ проблема обойдется в несколько >> диссертаций. 99% существующих алгоритмов изначально императивные, от
> Большинство CAS написаны на функциональных языках. Так оказалось проще. Computer Algebra System? Ну естественно. Это же тот самый пример на обработку рекурсивной структуры данных -- дерева :-) Книжный пример. Его описывают во всех наверное книгах о Lisp, ML и дериватах. >> А для простых задач типа бизнес логики и текстовых фильтров >> функциональщина нахрен не сдалась. > Конечно, тут нужны декларативные языки ;-} Они нужны не только здесь. Они нужны в принципе. Просто потому, что без них никуда. См. хотя бы Emacs. Или прочие "прогибы" под реальный мир типа "Objective" CAML. -- Best regards, Aleksey Cheusov. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
