Objective Caml - Четверг, 16 декабря 2010

Objective Caml

ocaml@conference.jabber.ru

Четверг, 16 декабря 2010< ^ >

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

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

GMT+3
[00:23:32] gds вышел(а) из комнаты
[00:42:32] Kakadu вышел(а) из комнаты
[00:50:29] Sergey Plaksin вышел(а) из комнаты
[01:03:37] ermine вышел(а) из комнаты
[01:35:07] arhibot вышел(а) из комнаты
[02:31:09] Typhon вышел(а) из комнаты
[02:34:40] komar вошёл(а) в комнату
[02:47:24] komar вышел(а) из комнаты
[03:22:20] zert вышел(а) из комнаты
[05:15:40] iNode вышел(а) из комнаты
[07:43:52] iNode вошёл(а) в комнату
[08:08:37] iNode вышел(а) из комнаты
[09:01:35] gds вошёл(а) в комнату
[09:31:57] serp256 вошёл(а) в комнату
[09:37:26] ermine вошёл(а) в комнату
[09:45:39] iNode вошёл(а) в комнату
[11:02:53] Kakadu вошёл(а) в комнату
[11:11:16] gds вышел(а) из комнаты
[11:11:21] gds вошёл(а) в комнату
[11:30:38] ftrvxmtrx вышел(а) из комнаты
[11:33:28] <f[x]> forge проапгрейдили, меня выкинуло из всех проектов :)
[11:40:55] <gds> посмотрел, тоже 0 members.
[11:41:08] <gds> пофиксят ли -- вот вопрос.
[11:43:25] <f[x]> вот оно, звериный оскал опенсорца
[11:44:46] <gds> у нас отобрали всё, что мы имели!111
[12:20:51] komar вошёл(а) в комнату
[12:20:52] komar вышел(а) из комнаты
[12:22:14] iNode вышел(а) из комнаты
[12:39:35] <f[x]> вернул обратно
[12:49:15] ftrvxmtrx вошёл(а) в комнату
[12:53:39] iNode вошёл(а) в комнату
[14:01:38] komar вошёл(а) в комнату
[15:09:05] ermine вышел(а) из комнаты
[15:15:24] f[x] вышел(а) из комнаты
[15:21:27] ermine вошёл(а) в комнату
[15:22:07] f[x] вошёл(а) в комнату
[15:22:21] vshender вошёл(а) в комнату
[15:31:49] Kakadu вышел(а) из комнаты
[15:50:30] zert вошёл(а) в комнату
[16:12:20] <gds> > method fetchrow_array () = Array.of_list (self#fetchrow_list ());
> method fetchrow_list () = Array.to_list (self#fetchrow_array ());
"WTF?", -- скажете вы.  "OOP!", -- отвечу я.
И действительно, данные два метода одного класса таки имеют смысл и даже полезны/удобны.  Надеюсь, всем всё понятно? :]
[16:16:12] <f[x]> а если забыть перегрузить?
[16:19:44] <gds> тут согласен.  Есть идеи, как бы не забыть, да чтобы удобств не терять?
[16:28:00] <f[x]> не получается имхо
[16:29:24] <gds> если допустимо обращение к instance variable + method call на каждый непереопределённый виртуальный вызов, то тупо рантайм-проверка: http://pastebin.com/42tayfDn
[16:33:32] <f[x]> то ещё извращение
[16:33:47] <f[x]> может лучше просто параметризовать по типу "контейнера"
[16:34:06] <gds> дык на выходе надо и то, и другое.
[16:34:21] <f[x]> ну пользователь пусть "инстанциирует" то что ему надо
[16:34:54] <f[x]> а ещё лучше возвращай enum!
[16:35:39] <gds> про "то что ему надо" -- недопонял.  Нужен список колонок -- один тип, массив колонок -- другой тип?
[16:36:33] <f[x]> типа того
[16:36:47] <gds> страшно.  Про enum подумаю, но не уверен.
[17:19:13] <gds> мда, и объект конструируется как-то очень внезапно, даже методы из базового класса видят сразу уже переопределённые в наследующем классе методы, и невозможно проверить, переопределили ли метод.  (а я было пошёл через external get_public_method : (< .. > as 'a) -> CamlinternalOO.tag -> Obj.t =   "caml_get_public_method";)
[17:30:07] <gds> в общем, резолюция.  Если код виснет -- проверяем, правильно ли переопределили методы.  Кстати, в х-е подобная же проблема, но с типа-классами, тоже мучаются, биндяжки.
[17:32:27] gds вышел(а) из комнаты
[17:32:53] rren вошёл(а) в комнату
[17:34:23] <ermine> сегодня галл написал в мейллист оазиса одно слово "test"
[17:35:48] ermine подергала даркс оазиса - по прежнему нет изменений...
[17:38:42] Kakadu вошёл(а) в комнату
[17:38:55] <ermine> говорят, на лоре опубликовали: коктейль "рекурсивный": 20% этилового спирта, 30% воды и 50% коктейля "рекурсивный"
[17:39:19] <komar> Боян.
[17:39:32] <ermine> а тут было?
[17:39:48] <komar> А тут всего башорга не было.
[17:48:41] Kakadu вышел(а) из комнаты
[18:11:32] iNode вышел(а) из комнаты
[18:17:21] Typhon вошёл(а) в комнату
[18:24:22] iNode вошёл(а) в комнату
[18:27:29] serp256 вышел(а) из комнаты
[18:47:27] f[x] наколбасил минимальные биндинги к sctp, стоит ли их пихать в extunix или лучше отдельно?
[19:00:46] ermine вышел(а) из комнаты
[19:05:35] Typhon вышел(а) из комнаты
[19:29:06] gds вошёл(а) в комнату
[19:32:25] ftrvxmtrx вышел(а) из комнаты
[19:33:25] ermine вошёл(а) в комнату
[19:51:05] <gds> f[x]: sctp -- было бы хорошо в extunix.
[19:52:08] <f[x]> небольшой трабл в том что это лишняя либа для линковки - -lsctp
[20:00:36] <zert> и работает оно ещё не особо хорошо
[20:00:54] <zert> в разных осях со стримами по-разному работается
[20:01:15] <zert> разве что без стримов совсем юзать
[20:10:51] <f[x]> в насколько разных?
[20:11:00] <f[x]> в чём разница?
[20:11:14] <f[x]> без стримов как-то совсем неинтересно
[20:13:48] <zert> да стримы есть, и если особо не заморачиваться, то всё работает
[20:13:52] <zert> но есть нюансы
[20:14:07] <zert> я уже забыл, два года назад на фре и линупце выявлял что-то такое
[20:14:26] <f[x]> ну наверняка  во фре просто баг
[20:14:32] <f[x]> (:
[20:16:18] <zert> там по-моему где-то терялся номер стрима
[20:16:41] <zert> при приёме приходило всё с нулевым
[20:17:40] <f[x]> проверим
[20:20:10] <zert> может уже исправили
[20:49:41] vshender вышел(а) из комнаты
[20:51:17] vshender вошёл(а) в комнату
[21:12:39] <ermine> f[x]: я тоже порадуюсь наличию sctp в extunix
[21:13:51] ftrvxmtrx вошёл(а) в комнату
[21:24:08] Typhon вошёл(а) в комнату
[21:30:35] ygrek вошёл(а) в комнату
[21:32:08] <ygrek> gds, ermine: есть какие-то конкретные планы насчёт sctp?
[21:38:40] arhibot вошёл(а) в комнату
[21:38:48] <ermine> ygrek: мы лениво и долго обсуждаем у себя планы подключения sctp к джабберу
[21:39:28] <ermine> на этом собсно всё
[21:45:02] <ygrek> ой, а зачем sctp в джаббере? данные же не кусочками передаются, вот в p2p может быть интересно
[21:52:47] <gds> ygrek: конкретных -- нет.  даже его апи не смотрел толком, только общие принципы посмотрел.  зачем хочется -- потоки иметь хорошо, так как порой приходится реализовывать это вручную.  (конечно, по-детски -- оборачиваю в (stream_id * 'a) и в безжалостную топку output_value, но пока хватало.  но нехорошо, всё же.)
[22:06:01] komar вышел(а) из комнаты
[22:18:35] ygrek вышел(а) из комнаты
[22:18:38] ygrek вошёл(а) в комнату
[22:36:38] <ygrek> ermine: танцуй, efuns на forge собираются допиливать
[22:52:40] ermine вышел(а) из комнаты
[22:53:11] komar вошёл(а) в комнату
[22:53:33] ermine вошёл(а) в комнату
[22:54:16] <ermine> ygrek: задолбали проблемы с ask и synами
[22:54:27] <ermine> а efuns - здорово, да
[22:55:43] ermine читает про грамматику PEG
[22:59:15] <gds> ermine: про недостатки сразу читай.
[23:00:02] <ermine> gds: пока не дочитала, я читаю форда
[23:00:37] <ermine> gds: про S -> x S x | x в курсе
[23:00:45] <ermine> про другие пока не в курсе
[23:01:33] <ermine> сначала у того же аффтара почитала про packrat parser, сначала облизывалась, а как дочитала - так расстроилась
[23:01:37] <gds> ermine: ну да, про это и хотел упомянуть, ну и http://en.wikipedia.org/wiki/Parsing_expression_grammar#Disadvantages
[23:03:39] <ermine> gds: там про пакрат уже не интересно :)
[23:03:51] <ermine> про память тоже не интересно
[23:04:07] <ermine> гораздо хуже то, что со стримами оно бесполезное
[23:04:27] <ermine> или я не нашла что почитать как это решается
[23:06:52] <ermine> про A -> A a | a тоже не интересно, надо юзать плюсики и звездочки
[23:07:21] <ermine> gds: ничего особенного там в недостатках, по сути
[23:07:26] <gds> пакрат -- разве не этанол пег-грамматик?
[23:08:04] <ermine> пакратом удобно парсить пег-грамматику, если в ней много альтернатив
[23:08:42] <ermine> из-за альтернатив придется ездить по инпуту туда-сюда, а пакрат ездит по инпуту за константное время
[23:10:10] <ermine> а вот смущает то, что бумага форда про пакрат написана в 2002 году, и ничего существенного более свежего я не нашла
[23:10:14] <gds> константное время?  интересно, надо будет почитать.  явно не учитывают затраты на память, на мусорщика.
[23:12:05] <ermine> gds: читай http://pdos.csail.mit.edu/~baford/packrat/icfp02/
[23:14:26] <ermine> gds: кстати, с помощью этого мужика я выписала себе индульгенцию на то, что я люблю смешивать лексер вместе с парсингом в одном коде, а то я ранее думала, что это уж совсем пионерично
[23:15:05] <ermine> все приличные и уважающие себя генераторы парсеров требуют отдельного лексера
[23:31:56] <ygrek> ermine> задолбали проблемы с ask и synами
ы? в sctp те же самые ack'и и syn'ы (и даже больше :)
[23:32:42] ygrek вышел(а) из комнаты
[23:32:44] ygrek вошёл(а) в комнату
[23:44:13] <ermine> ygrek: та я деталей не помню
[23:44:39] <ermine> и не вникала особо