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

[metaclass]

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

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

Comments

[nealar.livejournal.com]

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

[metaclass.livejournal.com]

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

[lastwalrus.livejournal.com]

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

[metaclass.livejournal.com]

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

[alpha-cygnus.livejournal.com]

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

[nealar.livejournal.com]

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

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

[gds.livejournal.com]

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

[nealar.livejournal.com]

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

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

[nealar.livejournal.com]

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

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

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

[metaclass.livejournal.com]

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