Ленивость+побочные эффекты

[metaclass]

Второй день созерацию результаты "отсутствия монады IO, нечистоты и опциональной ленивости" в F#. Читаю из базы данных структуру данных ленивым образом - какой-то только, прости меня господи, херни не творится при этом. То значение прочитается после закрытия DataReader из которого оно читается, то команда окажется закрытой уже. Хорошо хоть в контексте коннекта и транзакции я уверен - вся работа происходит внутри их.

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

Comments

[vp.livejournal.com]

Ээээ.. Хотели ? Отгребите! :)

[permea-kra.livejournal.com]

Ребе, не читайте данных. Передайти в то, что их читает, функцию для свертки (fold) и сверните. Чудес сильно поубавиться.

[metaclass.livejournal.com]

О, а ведь таки это мысль.

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

[metaclass.livejournal.com]

Знаешь в чем зло?
Что альтернатива - сесть и 99% времени заниматься работой уровня "студент второго курса на полставки". Т.е., неделями писать "таблица -> поля -> CRUD-запросы -> гуй редактора -> печатная форма"хN, не приходя в сознание.
Я лучше это же самое время подолблюсь с кодогенератором, который сильно отличается от всего того, что мы обычно делаем, а потом сгенерю все на нем. И потом каждый раз когда будут парить мозг всякой ересью - буду опять генерить.

[gds.livejournal.com]

fold посоветовали, он хороший, но будут заморочки в случаях, когда данных много, а остановиться надо рано (исключение кидать? возвращать Continue of result_t | Stop?).
Ещё есть with-идиома, где открытие и освобождение ресурса явные (освобождение -- опционально), и в читающую функцию передаётся уже открытый "дескриптор" (то есть, он не выбросится просто так, при сборке мусора). Это полезно ещё корректной обработкой исключений, если они вдруг используются в фа-диезе.
Но самое грамотное тут -- коиндуктивные данные (в окамле это модуль Stream и stream parsers). Есть и удобства а-ля "ленивые списки" (те самые stream parsers), есть и теория под ними, есть и гарантии о количестве используемых ресурсов (в отличие от ленивых списков), хороши и комбинаторы поверх них.
И соглашусь -- ленивый подход тут плох.

[nealar.livejournal.com]

У Олега был специальный такой fold, который может на любом шаге оборвать вычисление и выйти. Правда, не знаю, на какие языки оно переносимо сходу, а на какие - с бубном.

[metaclass.livejournal.com]

Особо в этом комментарии радует, что все кому надо - знают, о каком Олеге идет речь и где это искать :))

[gds.livejournal.com]

если брать в общем, у Олега есть delimited call/cc, там не только fold может оборвать вычисление, а вообще любая функция. Хорошая штука, но из-за бубна как раз не понравилась.

[nealar.livejournal.com]

delimited continuations я ещё не курил.
Прям щаз пытаюсь понять, как сделан Takusen и насколько это практично: http://okmij.org/ftp/Haskell/fold-stream.lhs

[lionet.livejournal.com]

Олеговые Iteratees надо заюзать, да. Как раз он пишет о том на что ты наткнулся: ленивость и внешние ресурсы работают плохо друг с другом. Альтернатива - Iteratees.

[lastwalrus.livejournal.com]

Ну значит тебе еще рано в секту :))

[metaclass.livejournal.com]

Так я тоже знаю о чем речь :)

[alpha-cygnus.livejournal.com]

А я не знаю. Доктор, что со мной? Не, а правда, что за Олег? Может я всё же знаю, но не знаю, что знаю?

если кто пойдёт по порочному пути

[nealar.livejournal.com]

Сначала читать вот это: http://okmij.org/ftp/papers/LL3-collections-enumerators.txt

Я начал с предыдущей ссылки, и это было неправильно.

[nealar.livejournal.com]

Олег Киселёв http://okmij.org/ftp.

Всё, теперь ты - наш :))))

Re: если кто пойдёт по порочному пути

[metaclass.livejournal.com]

А, во. Я как раз не мог понять с чего там начинать - слишком много не совсем организованных ссылок.