Objective Caml - Четверг, 11 октября 2012

Objective Caml

ocaml@conference.jabber.ru

Четверг, 11 октября 2012< ^ >

Конфигурация комнаты

Участники комнаты

GMT+4
[00:39:43] ftrvxmtrx вышел(а) из комнаты
[00:48:48] <f[x]> wodi
[00:48:59] <f[x]> one more
[00:49:10] akovbovich вошёл(а) в комнату
[00:49:12] akovbovich вышел(а) из комнаты
[00:51:28] Sun][ вышел(а) из комнаты
[01:01:56] <Typhon> ахаха %)
[01:10:10] ftrvxmtrx вошёл(а) в комнату
[01:23:28] akovbovich вышел(а) из комнаты
[01:23:31] akovbovich вошёл(а) в комнату
[01:28:23] Typhon вышел(а) из комнаты
[01:31:37] Kakadu вышел(а) из комнаты
[02:34:28] <gds> mingw-builds, ещё!
[02:47:17] <f[x]> они издеваются
[02:47:40] f[x] вышел(а) из комнаты
[03:17:47] akovbovich вышел(а) из комнаты
[03:54:05] Typhon вошёл(а) в комнату
[04:32:13] Zbroyar вошёл(а) в комнату
[05:21:55] Zbroyar вышел(а) из комнаты
[05:32:27] ketrec вошёл(а) в комнату
[05:38:04] <gds> про coq -- вы уж извените, но я сейчас проэтосамое всякие там дедлайны (это скоро, за день-два), а только потом отпишу, зато обстоятельно, до дрожи в ногтях.  И, видимо, в жыжыцу, ибо псачика будет мало для разметки и для объёмного поста.
Кроме того, интересно будет кое-кого потравить из жжшных персон.  Знаете, может, чисто-функциональные такие людишки.  Дёрнуть им кое-что, да!
[07:18:51] ketrec вышел(а) из комнаты
[07:52:30] ftrvxmtrx вышел(а) из комнаты
[08:37:13] Typhon вышел(а) из комнаты
[09:24:24] dzhon вошёл(а) в комнату
[09:33:50] Typhon вошёл(а) в комнату
[10:50:08] ermine вошёл(а) в комнату
[11:14:58] <ermine> gds: у меня получилось вывернуть технологию Stream (с функцией refill) наизнанку, превратив в итерат, без изменения модуля парсера, благодаря технологии монад
[11:15:28] <ermine> gds: т.е. кормить парсер можно врутри путем подкачивания refill, а можно кормить снаружи как в итерате
[11:38:01] ftrvxmtrx вошёл(а) в комнату
[11:50:38] Kakadu вошёл(а) в комнату
[12:08:51] Sun][ вошёл(а) в комнату
[12:28:46] tilarids вышел(а) из комнаты: Machine going to sleep
[12:54:15] tilarids вошёл(а) в комнату
[12:57:31] dzhon вышел(а) из комнаты: Replaced by new connection
[13:18:19] dzhon вошёл(а) в комнату
[13:39:12] dzhon вышел(а) из комнаты
[13:39:17] dzhon вошёл(а) в комнату
[14:09:48] <tilarids> а кто-нибудь саблаймом для окамля пользуется?
[14:12:00] <Typhon> tilarids: http://www.typerex.org/
[14:12:07] <f[x]> подлимон?
[14:12:59] <tilarids> emacs?
[14:14:20] <Kakadu> f[x]: лимон и лайм вроде как немного разная хрень
[14:16:45] <Typhon> f[x]: это модный нынче редактор
[14:17:03] <Typhon> причём за 60 баксов. как по мне, так для людей, которые по какой-то причине не осилили имакс :P
[14:17:17] <f[x]> гг
[14:21:04] <tilarids> Typhon, он в триале вполне юзабелен
[14:21:33] <tilarids> ну, и плюс за него мне не жалко 60 баксов. А вот, простите, задонейтить емаксу никогда в голову не приходило :)
[14:22:29] <tilarids> как я понял, никто не пользуется. Жаль. Я почти весь девелопмент уже на саблайм перевёл, на всех языках, достаточно удобно
[14:23:22] <Typhon> мне кажется, автор там 25ый кадр показывает. потому что платить деньги за _ещё один редактор_, когда в мире есть бесплатные _годные_ — это как-то странно, по-моему
[14:24:53] <tilarids> Typhon, всё может быть. Я его поставил, несколько месяцев бесплатно пользовался, потом решил, что за такую радость можно и заплатить. А всё потому что там из коробки работает всё то, что я часто безуспешно пытался найти в других редакторах и IDE
[14:25:46] <tilarids> но давайте вернёмся к окамлю, а то холивар разгорается
[14:26:40] <f[x]> а в консольке он работает?
[14:26:50] <tilarids> есть какой-нибудь скринкаст по тайпрексу хороший?
[14:27:30] Typhon не фанат скринкастов
[14:27:32] <Typhon> даже наоборот
[14:28:46] <Kakadu> там мануал есть
[14:28:51] <Kakadu> возьми и сделай как там
[14:30:22] <tilarids> ок
[14:30:49] <f[x]> возьми и сделай
[14:30:56] <f[x]> встань и иди
[14:31:22] <f[x]> gds вроде typerex'ом пользуется
[14:31:31] <Kakadu> если будут впросы начнем разбираться
[14:36:27] akovbovich вошёл(а) в комнату
[15:45:01] ftrvxmtrx вышел(а) из комнаты
[15:48:31] tilarids вышел(а) из комнаты
[16:05:16] ftrvxmtrx вошёл(а) в комнату
[16:21:53] komar вышел(а) из комнаты
[16:25:28] komar вошёл(а) в комнату
[17:35:21] tilarids вошёл(а) в комнату
[17:36:46] tilarids вышел(а) из комнаты
[17:43:51] tilarids вошёл(а) в комнату
[18:13:32] Typhon вышел(а) из комнаты
[18:21:29] Kakadu вышел(а) из комнаты
[18:53:21] Sun][ вышел(а) из комнаты
[18:57:55] dzhon вышел(а) из комнаты
[19:20:02] ketrec вошёл(а) в комнату
[19:46:43] ketrec вышел(а) из комнаты
[19:50:26] komar вышел(а) из комнаты
[19:52:25] Typhon вошёл(а) в комнату
[20:22:36] letrec вошёл(а) в комнату
[20:24:10] komar вошёл(а) в комнату
[20:36:50] Sun][ вошёл(а) в комнату
[20:40:14] letrec вышел(а) из комнаты
[21:02:59] tilarids вышел(а) из комнаты: Machine going to sleep
[21:08:42] Typhon вышел(а) из комнаты
[21:22:52] tilarids вошёл(а) в комнату
[21:33:51] komar вышел(а) из комнаты
[21:53:56] komar вошёл(а) в комнату
[22:04:03] tilarids вышел(а) из комнаты
[22:04:46] tilarids вошёл(а) в комнату
[22:14:05] <gds> typerex чото скурвился.  Думаю отказываться от него.
[22:14:23] <gds> автоиндент не выключается штатным образом, уже бесед.
[22:16:38] <ermine> gds: как ты итераты бы посадил на Unix.select?
[22:17:18] <ermine> кстати, поздравляю всех со скучной годовщиной домена камлунити
[22:17:19] <gds> да примитивно.  Зависит от того, что нужно получить, и какая должна быть низлежащая манатка.
[22:17:33] <gds> про домен -- бабло надо?
[22:18:19] <ermine> gds: да я вот думаю как добавить свой парсер к некому подобию селекта в glib - там нужно повесить watcher на пугалку из сокета
[22:18:55] <ermine> проблема в подобии IE_cont, который каждый раз возвращает разную функцию
[22:19:02] <gds> я тебе про итераты + селект рассказал бы, хочешь?
[22:19:05] <ermine> ее неужто придется запоминать?
[22:19:53] <ermine> gds: я думаю, что ты селект упрятал бы внуть итерата
[22:20:03] <ermine> это дешевый фокус
[22:20:08] <gds> мимо.  рассказывать?
[22:20:27] <ermine> тафай
[22:20:34] <ermine> может выужу полезную идею
[22:20:44] <ermine> меня бесит ie_cont
[22:22:28] <ermine> а что бабло на домен? там всего 450 рублей
[22:25:31] <gds> у меня был такой расклад: все соединения должен обрабатывать один и тот же итерат, ну и выход у него unit, так как нужные действия посредством Ю-монады.  То есть, iteratee byte unit.  Оно попадает в функцию, делающую select, и при новом соединении берётся этот итерат-аргумент, кормится данными, там таблица соответствий "file_descr -> iteratee byte unit", и вот, по приходу данных делаю неблокирующее чтение в буфер определённого размера (каждый сокет = свой буфер), и вот, сколько прочиталось -- столько и даю в итерат.  Ну и вот, если IE_cont None _, то перезаписываю итерат в табличке и иду дальше, иначе закрываю сокет, а при IE_cont (Some err) _ выдаю ошибку в лог вдобавок.  Запись в эти же сокеты была не нужна, но и там примерно понятно, как быть.
[22:28:08] <ermine> а, сравнение с селектом некорретное - там действительно можно каждый раз менять списки слушалок
[22:29:31] f[x] вышел(а) из комнаты
[22:29:49] <ermine> а если ситуация такая - надо повесить раз и навсегда одну функцию, до закрытия сокета
[22:47:21] ermine вышел(а) из комнаты
[22:57:06] Kakadu вошёл(а) в комнату
[23:38:27] komar вышел(а) из комнаты: Replaced by new connection
[23:38:29] komar вошёл(а) в комнату
[23:38:54] komar вышел(а) из комнаты: Logged out
[23:43:25] f[x] вошёл(а) в комнату
[23:47:48] komar вошёл(а) в комнату