Objective Caml - Пятница, 24 августа 2012

Objective Caml

ocaml@conference.jabber.ru

Пятница, 24 августа 2012< ^ >

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

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

GMT+4
[01:00:28] gds вышел(а) из комнаты
[01:24:25] Typhon вошёл(а) в комнату
[01:50:00] Sun][ вышел(а) из комнаты
[02:52:48] tilarids вышел(а) из комнаты: Machine going to sleep
[03:42:48] letrec вошёл(а) в комнату
[03:42:59] letrec вышел(а) из комнаты
[03:43:13] letrec вошёл(а) в комнату
[04:27:48] letrec вышел(а) из комнаты
[05:32:30] Typhon вышел(а) из комнаты
[10:20:59] klapaucius вошёл(а) в комнату
[10:29:32] ftrvxmtrx вышел(а) из комнаты
[10:30:11] ftrvxmtrx вошёл(а) в комнату
[10:31:10] ftrvxmtrx вышел(а) из комнаты
[10:50:51] Sun][ вошёл(а) в комнату
[10:52:24] ermine вошёл(а) в комнату
[11:23:21] dzhon вошёл(а) в комнату
[11:32:29] ftrvxmtrx вошёл(а) в комнату
[12:15:25] Kakadu вошёл(а) в комнату
[12:51:30] dzhon вышел(а) из комнаты: Replaced by new connection
[12:51:36] dzhon вошёл(а) в комнату
[14:05:17] gds вошёл(а) в комнату
[14:10:27] Typhon вошёл(а) в комнату
[15:03:01] dzhon вышел(а) из комнаты: Replaced by new connection
[15:03:02] dzhon вошёл(а) в комнату
[16:12:47] ftrvxmtrx вышел(а) из комнаты
[16:32:24] tilarids вошёл(а) в комнату
[16:35:20] dzhon вышел(а) из комнаты: Replaced by new connection
[16:35:21] dzhon вошёл(а) в комнату
[16:41:05] tilarids вышел(а) из комнаты
[16:41:58] Typhon вышел(а) из комнаты
[16:42:36] Typhon вошёл(а) в комнату
[16:49:08] tilarids вошёл(а) в комнату
[16:50:53] tilarids вышел(а) из комнаты: Machine going to sleep
[16:55:35] tilarids вошёл(а) в комнату
[17:00:53] tilarids вышел(а) из комнаты: Replaced by new connection
[17:01:00] tilarids вошёл(а) в комнату
[17:05:19] Sun][ вышел(а) из комнаты
[17:22:42] ftrvxmtrx вошёл(а) в комнату
[17:31:12] tilarids вышел(а) из комнаты
[17:33:55] dzhon вышел(а) из комнаты
[17:36:44] tilarids вошёл(а) в комнату
[17:39:12] tilarids вышел(а) из комнаты: Machine going to sleep
[17:39:49] tilarids вошёл(а) в комнату
[17:49:22] klapaucius вышел(а) из комнаты
[17:51:58] letrec вошёл(а) в комнату
[17:54:01] tilarids вышел(а) из комнаты
[17:59:25] <ermine> насколько int32 тормознее чем int?
[17:59:39] ermine потрогала gds
[18:02:32] tilarids вошёл(а) в комнату
[18:03:42] <ermine> gds: вопрос можно переформулировать так - какой инт лучше для типа unicode, и какой длины нонче обычный инт на современных машинах и какого размера int32 там же?
[18:07:15] tilarids вышел(а) из комнаты
[18:16:26] tilarids вошёл(а) в комнату
[18:47:00] Typhon вышел(а) из комнаты
[18:54:09] Kakadu вышел(а) из комнаты
[19:07:36] ftrvxmtrx вышел(а) из комнаты
[19:28:45] <gds> ermine: вроде всё влезает и в int.  Не помню, строго ли, или за исключением каких-то неиспользуемых/нераспределённых code points.  Про производительность -- ничего не расскажу.  Но даже на 64битных хостах оно boxed, а именно, с тегом custom_tag, для протаскивания пользовательских операций сравнения/хеширования/сериализации.
[19:32:10] <ermine> gds: влазит-влазит, 0x10FFFF - максимальное число в уникоде
[19:32:57] <gds> а, ну так вариантов нет, только int.
[19:34:10] <ermine> gds: ты уже хмль парсишь итератами?
[19:35:10] <gds> не, html парсить нужды нет.
а вот сраный mime multipart заставил серьёзно изменить кое-что в итератах, очень близко к "ядру", до сих пор ссыкотно за корректность изменения.
[19:36:26] <ermine> xml
[19:37:11] <gds> тьфуты.  не, его тоже нет нужды парсить.  готовых вариантов пока хватит -- чо там, xmlm..
[19:37:17] <ermine> щас родила еще один парсер xml, юзающий lwt_stream, а если посмотреть с другого боку и приделать модулинг, то уже и с итератами работает
[19:38:25] <ermine> с комбайном такого не родишь, увы
[19:43:43] <gds> ну, если есть парсер, кушающий из чего-то наподобие Stream.t, то всяко можно заставить его работать с итератами.  Только нужно ли?  Учитывая Всю Суть итератов, состоящую в блочной обработке.
[19:43:44] Kakadu вошёл(а) в комнату
[19:45:02] Kakadu вошёл(а) в комнату
[19:45:19] Kakadu вышел(а) из комнаты
[19:50:39] tilarids вышел(а) из комнаты
[20:00:03] letrec вышел(а) из комнаты
[20:01:37] tilarids вошёл(а) в комнату
[20:02:43] <ermine> gds: ну если надо чтобы было совместимо с lwt, то придецца
[20:37:10] tilarids вышел(а) из комнаты
[20:41:10] tilarids вошёл(а) в комнату
[20:41:13] <gds> ermine: у меня итераты совместимы с lwt, и не приходится.  блочное чтение там есть.
[20:47:25] ftrvxmtrx вошёл(а) в комнату
[20:56:27] dzhon вошёл(а) в комнату
[21:25:06] tilarids вышел(а) из комнаты: Machine going to sleep
[21:36:56] dzhon вышел(а) из комнаты
[22:26:13] Kakadu вышел(а) из комнаты
[23:22:52] Typhon вошёл(а) в комнату
[23:25:04] Typhon вышел(а) из комнаты
[23:26:48] dzhon вошёл(а) в комнату