Ниасилил

[metaclass]

Почему я втащил кложурь вместо хаскеля в продакшен - потому что слишком туп, чтобы понять вот такое: http://hackage.haskell.org/package/base-4.7.0.1/docs/src/Data-List.html#permutations

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

А если внутри софта будет еще и FFI (а он там будет, потому что некоторых нужных мне вещей в х-ле нет и придется писать самому) - оно еще при ошибках в нем и в нечитабельные сегфолты, никак не связанные с текущей операцией (ибо ленивость) валиться будет.

Comments

[blackyblack.livejournal.com]

Дак у кложури в ядре ровно та же чернь. Ещё и макросы, которые нельзя каррировать почему-то.

[evgenijm86.livejournal.com]

Да, Хаскел позволяет выразить некоторые идеи очень компактно. Настолько, что потом хрен поймешь что имелось ввиду. Это удобно при написании кода, но абсолютно не удобно тому, кто потом будет это сопровождать.

И вообще все эти where и рекурсия чем-то подозрительно напоминают хорошо замаскированный goto.

[tzirechnoy.livejournal.com]

Около 20 минут прилагал сознательные усилия. Всё равно не могу разобраться.

Фанбейсик, блин. В нём тожэ было дофига любителей писать программу на 8 строк, в которой без изолирвания элементарных блоков на бумажке разобраться нельзя было.

[metaclass.livejournal.com]

Ох блин, про goto очень точно. Его же не одобряли потому, что он убивает всякую возможность рассуждать о происходящем.
Тут то же самое - косвенная рекурсия, из понятных блоков только foldr

[permea-kra.livejournal.com]

Как я понял, там цель - получить все возможные перестановки даже в случае бесконечной последовательности. Это гораздо менее тривиальная задача, чем 'получить все перестановки конечной последовательности' и действительно требует хитрожопого выверта.

[max630.livejournal.com]

полагаю, там можно было и яснее написать, но они наотимизировали. ну и эта милая привычка лепить 1-2 сибвольные имена...

[swizard.livejournal.com]

Согласен, и вряд ли эта задача существенно более красиво решается каком-нибудь другом языке.

[rdia.livejournal.com]

http://kouzdra.livejournal.com/464695.html?thread=21930807#t21930807

"За рефал не скажу, поскольку не программировал - а вот в ML и ко спагетти код пишется легко и непринужденно:
..."

Там ещё и пример есть.

[4da.livejournal.com]

> Ещё и макросы, которые нельзя каррировать почему-то.
проблемы языков без четко разделенных syntax phases

[thesz.livejournal.com]

Ага. Внутре эффекты, как я и ожидал.

Уважаемый хозяин блога не может привыкнуть к тому простому факту, что внутре вычислений Хаскеля нет побочных эффектов. Вообще. Даже если написано when goodReason dieViolently.

Поэтому большую часть времени я на Хаскеле программирую, почти не включая мозг. У вычисления есть тип? Этого достаточно в 97,1415926% случаев.

[antilamer.livejournal.com]

Скажу честно, я тоже ничего не понял (в Permutations). Интересно было бы разобраться и переписать почитаемее.

Про FFI тоже полностью согласен. Недавно целый день на хакатоне пытался выяснить, откуда в программе с использованием gtk2hs вываливается out of memory из нативного кода. Так и не выяснил.

[rdia.livejournal.com]

Там же, комментом ниже, есть без фефектов.

[geniepro.livejournal.com]

Для контраста следовало бы привести референсную реализацию этих пермутаций на Кложуре...

[thesz.livejournal.com]

У вас глаз замылен. Там есть эффекты.

[antilamer.livejournal.com]

Нашёл обсуждение, из которого родилась текущая версия permutations.
http://www.haskell.org/pipermail/glasgow-haskell-users/2009-August/017640.html
http://www.haskell.org/pipermail/libraries/2007-December/thread.html#8788

[rdia.livejournal.com]

Ну можно через параметр вставить и рекурсией.

[avnik.livejournal.com]

рекурсивные/anaphoric макросы то можно?

[thesz.livejournal.com]

Там printf.

[rdia.livejournal.com]

Ну Printf там вообще безобиден - хотите я в том же стиле вам вычисление квадратного корня напишу? Ещё проще будет, если методом половинного деления делать - 4 метки: старт, сдвиг левой границы, сдвиг правой границы, выход по точности.

[thesz.livejournal.com]

Да-да Безобиден. Ага.

[4da.livejournal.com]

в схемке? можно.