Душа настоятельно требует

[metaclass]

Вставить эту конструкцию

sort [] = []
sort (x:xs) = sort (filter (< x) xs) ++ [x] ++ sort (filter (>= x) xs)

в документацию по бухгалтерской системе и сказать ИТ-отделу клиентов, что для реализации бухгалтерских расчетов используется Haskell. И что система отдается им на сопровождение.

Вообще есть мысль найти какой-нибудь встраиваемый функциональный язык и впихнуть его туда в качестве языка для составления отчетов. А то некоторые вещи на SQL ложаться плохо, а если в императивном стиле писать - дико бесят. А так были бы кортежи, паттерн-matching, всякие там map да filter да fold - сиди безумствуй в свое удовольствие.

Comments

[metaclass.livejournal.com]

Кстате, хотелось бы знать как Хаскелл такую конструкцию оптимизирует и оптимизирует ли вообще.

[sergiej.livejournal.com]

Мой моск отравленный жабой отказывается даже понимать такую магию :) Тупею

[ktn-zoidberg.livejournal.com]

бери любой .NET совместимый.... а стоп... у тяж дельфи... ну тогда можно Lua или Python

[slonopotamus.livejournal.com]

А не могли бы вы на питоне переписать? :) Очень хочется понять, но не получается.

[metaclass.livejournal.com]

Да это просто сортировка списка на хаскеле. Функция описывается в виде двух вариантов ответов:
Первая строка означает что сортированный пустой список [] это пустой список.

А вторая - что непустой список разделяется на его голову x и остаток xs , потом остаток фильтруется на два списка - элементы больше головы, элементы меньше головы, полученные списки сортируются вызовом той же функции, из полученных трех частей собирается результат: (отсортированные элементы меньше головы), (голова), (отсортированные элементы больше или равно чем голова).
filter - функция отображающая список на список с помощью переданного ей предиката, а предикат представлен в виде (< x) или (>= x).

В итоге получается рекурсивная сортировка, только вот я не знаю, сумеет ли хаскел оную рекурсию оптимизировать. И вообще не знаю, работает ли это, ибо увидел в комментариях в ru_programming к посту про то, что if не нужен :)

[x-a-e-p.livejournal.com]

Это пример из любой книжки/туториала по хаскелю.(metaclass: в Душкине был в самом начале) А вообще, вопрос как это дело оптимизируется очень интересен.

[metaclass.livejournal.com]

Угу, кажеццо был. Только когда я книгу первый раз читал, у меня еще крыша недостаточно поехала, чтобы такие конструкции осознавать. А сейчас я узреваю в ней великую мощь, которую можно обрушить на несчастные головы ИТ служб клиентов :)

[x-a-e-p.livejournal.com]

Так наоборот, такая конструкция должна восприниматься на ура непоехавшей крышей с математическим складом ума :)

[slonopotamus.livejournal.com]

Понятно, спасибо.

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

[metaclass.livejournal.com]

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

[-darkus-.livejournal.com]

Я тебе говорил, купить книжку, а ты не послушал. Вон, Павел Алексеевич купил, теперь в ус не дует...

[pete-by.livejournal.com]

интересно кто потом все это счатье будет поддерживать? ;-)

[metaclass.livejournal.com]

Вот ОНИ (ака мазгаклосты из ИТ служб клиентов) и будут! А я на это посмотрю.