Objective Caml - Четверг, 11 ноября 2010

Objective Caml

ocaml@conference.jabber.ru

Четверг, 11 ноября 2010< ^ >

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

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

GMT+3
[00:28:10] ermine вышел(а) из комнаты
[01:02:54] arhibot вышел(а) из комнаты
[01:03:17] ygrek наживо впилил dht в mldonkey
[01:11:29] ygrek вышел(а) из комнаты
[01:29:18] Kakadu вышел(а) из комнаты
[02:14:11] zert вышел(а) из комнаты
[05:48:58] Typhon вышел(а) из комнаты
[09:04:00] gds вошёл(а) в комнату
[09:19:31] ermine вошёл(а) в комнату
[09:31:33] gds вышел(а) из комнаты
[10:33:08] ygrek вошёл(а) в комнату
[11:08:15] komar вышел(а) из комнаты
[12:23:52] Typhon вошёл(а) в комнату
[12:27:13] komar вошёл(а) в комнату
[12:31:50] Kakadu вошёл(а) в комнату
[12:32:11] gds вошёл(а) в комнату
[12:36:47] Kakadu вышел(а) из комнаты: I'm happy Miranda IM user. Get it at http://miranda-im.org/.
[12:37:05] Kakadu вошёл(а) в комнату
[12:58:39] SerP вошёл(а) в комнату
[13:27:07] zert вошёл(а) в комнату
[13:29:38] ygrek вышел(а) из комнаты
[13:56:45] ʇsʎɯ вошёл(а) в комнату
[14:04:28] f[x] вышел(а) из комнаты
[15:00:46] ygrek вошёл(а) в комнату
[15:01:01] ygrek вышел(а) из комнаты
[15:01:26] ygrek вошёл(а) в комнату
[15:08:53] f[x] вошёл(а) в комнату
[16:16:07] ygrek вышел(а) из комнаты
[17:30:20] iNode вышел(а) из комнаты
[17:31:46] <gds> caml-list: "I also use a patched Bigarray that allows me to set the "max" parameter it uses in its invocations of caml_alloc_custom, [...]. It's quite critical when allocating large bigarrays, though!"
надо учесть, что этот момент тоже можно тюнить.
[17:57:24] iNode вошёл(а) в комнату
[19:56:08] SerP вышел(а) из комнаты
[20:00:50] Kakadu вышел(а) из комнаты
[20:33:45] <Typhon> а здесь уже обсуждали, что в #haskell на freenode сидит (псевдо)gds? ^_^
[20:34:37] <komar> Это повод для сбора совета?
[20:35:38] <Typhon> партсобрания
[20:56:04] ʇsʎɯ повесил бэйджик "Ответственный секретарь"
[20:56:25] Kakadu вошёл(а) в комнату
[20:56:34] <ʇsʎɯ> господа, нам нужно выбрать председателя
[20:56:52] <Kakadu> комикадзе есть?
[21:31:20] <gds> ололо, этот чел ещё в жыжыцэ есть.  Представляю, как он стродал, видя уже зарегистрированный юзернейм.
[21:32:41] <komar> Да ладно, не отмазывайся.
[21:33:01] <gds> но это всё фигня.  Я смотрю на "парсеры" и удивляюсь.  Почему не сделали одну штуку как "парсер языков программирования" (который был бы LL(k) для малых k, порядка 1..3), а другую штуку как "парсер всякой хни, которую только не придёт в голову парсить тем, кто знает, что такое парсер, но..".
[21:33:35] <komar> lex/yacc и parsec, что ли?
[21:34:03] <gds> yacc сильно мощнее, чем LL(k), вот в чём дело.
[21:34:23] <komar> Всем всё равно.
[21:34:24] <gds> parsec -- комбинаторы.  Это иногда хорошо, чаще плохо.  Чем -- труЪшностью.
[21:34:40] <komar> parsec'ом как раз удобно парсить всякую хню.
[21:34:45] <komar> Это его призвание.
[21:35:32] <gds> и при этом обеспечивать неотключаемый backtracking в гигабайты распарсиваемой хни.  Видел жалобы, пожалел молча, прошёл мимо.
[21:35:52] <gds> не везде так, но видел случаи.
[21:46:39] Typhon вышел(а) из комнаты: Replaced by new connection
[21:46:46] Typhon вошёл(а) в комнату
[22:33:12] komar вышел(а) из комнаты
[22:47:04] ygrek вошёл(а) в комнату
[22:52:29] <ygrek> а как парсить всякую хню не занимая гигабайты в общем случае?
[22:56:10] <ʇsʎɯ> смотря какую
[22:56:20] <ʇsʎɯ> lisp парсится довольно экономно, например
[23:04:22] ygrek вышел(а) из комнаты
[23:04:26] ygrek вошёл(а) в комнату
[23:13:39] <gds> ygrek: бывает такая структура хни, что иначе и не распарсишь.  Бывают действительно сложные грамматики.  Но backtracking провоцирует появление останков в памяти -- забыл голову структуры (списка, например; например, в результате backtracking'а), и имеешь в памяти всё счастье, вываленное, живое.  Собственно, почему я использую Stream вместо ленивых списков -- из-за той самой предсказуемости по памяти.
[23:18:53] arhibot вошёл(а) в комнату
[23:53:22] gds вышел(а) из комнаты