Objective Caml - Пятница, 13 ноября 2009

Objective Caml

ocaml@conference.jabber.ru

Пятница, 13 ноября 2009< ^ >

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

GMT+3
[01:05:08] ygrek вышел(а) из комнаты
[01:30:22] aloner2k вышел(а) из комнаты
[02:57:22] daapp вошёл(а) в комнату
[05:13:09] animist вышел(а) из комнаты
[05:13:27] animist вошёл(а) в комнату
[07:28:23] iNode вышел(а) из комнаты
[07:50:34] geovit вошёл(а) в комнату
[08:12:15] iNode вошёл(а) в комнату
[09:07:35] gds вошёл(а) в комнату
[09:10:45] Typhon вошёл(а) в комнату
[09:13:07] aloner2k вошёл(а) в комнату
[09:56:53] ygrek вошёл(а) в комнату
[10:48:31] f[x] вошёл(а) в комнату
[11:44:30] ygrek вышел(а) из комнаты
[11:45:19] sceptic вышел(а) из комнаты
[12:03:58] michael.holub вошёл(а) в комнату
[12:09:37] sceptic вошёл(а) в комнату
[12:22:07] Mon вышел(а) из комнаты
[12:22:19] Mon вошёл(а) в комнату
[12:49:09] Mon вышел(а) из комнаты
[12:49:52] Mon вошёл(а) в комнату
[12:52:15] Typhon вышел(а) из комнаты
[12:55:20] Typhon вошёл(а) в комнату
[13:43:06] daapp вышел(а) из комнаты
[14:11:39] michael.holub вышел(а) из комнаты
[17:06:49] ExplicitCall вышел(а) из комнаты
[17:11:52] michael.holub вошёл(а) в комнату
[17:25:28] iNode вышел(а) из комнаты
[17:30:19] gds вышел(а) из комнаты
[17:32:18] michael.holub вышел(а) из комнаты
[17:34:40] michael.holub вошёл(а) в комнату
[17:35:53] michael.holub вышел(а) из комнаты
[18:09:03] gds вошёл(а) в комнату
[18:47:30] <f[x]> $ ocaml -noassert
Objective Caml version 3.11.1
# assert false;;
Exception: Assert_failure ("", 1, 0).
[18:47:30] animist вышел(а) из комнаты
[18:47:30] geovit вышел(а) из комнаты
[18:47:48] <f[x]> и какой собственно тип будет у assert при -noassert?
[18:49:20] <gds> 'a таки. то, что assert false является специальным случаем, видимо не влияет на типизацию.
[18:53:02] <f[x]> и что должен делать assert false при noassert? ;)
[18:53:18] <f[x]> если "ничего не делать" то тип 'a доставляет
[18:54:18] <Mon> As a special case, assert false is reduced to raise (Assert_failure ...), which is polymorphic (and is not turned off by the -noassert option).
[18:54:27] <Mon> читайте мануалы, они рулез.
[18:54:32] <f[x]> аргх
[18:54:35] <gds> assert false падает, да :)
[18:56:16] <f[x]> понятненько
[19:16:17] ExplicitCall вошёл(а) в комнату
[19:28:42] iNode вошёл(а) в комнату
[19:43:52] <f[x]> ermine: вообщем марков теперь звенит цепями в три раза быстрее чем мой предыдущий патч (с кэшем), который был помнится в несколько раз быстрее чем оригинал
[19:44:15] <f[x]> база занимает меньше чем в sqlite2 но чуть больше чем в sqlite3
[19:45:02] <gds> f[x]: интересны детали реализации, ясное дело :)
[19:45:05] <f[x]> (а я даже бинарный поиск обломался делать)
[19:45:36] <f[x]> сериализация в dbm с первым словом из пары в качестве ключа
[19:45:57] <f[x]> и на каждый чих marshal :)
[19:46:04] <f[x]> я думал будет медленно
[19:49:22] f[x] параллельно вручную ковыряет стек в дампе :
(gdb) bt
#0 0x000000000051dab0 in camlBuffer__add_string_104 ()
#1 0x0000000000000000 in ?? ()
(gdb)
[19:55:28] Typhon вышел(а) из комнаты
[19:56:09] <ermine> мож память кончилась?
[19:56:25] <ermine> ну юзерспейс лимит или limit
[19:56:33] <ermine> ulimit
[19:57:11] ermine в ожидании крутых цепей дядющки маркова
[19:57:28] <f[x]> память unlimited
[19:57:55] <f[x]> это какие-ты непойманные глюки ocurl'а не иначе
[19:57:59] <ermine> а по дефолту - вряд ли
[19:59:02] <ermine> там ж обычный Buffer.add_string
[19:59:30] <ermine> он проверяет только max_string_length
[20:00:19] <f[x]> тут трабла не в add_string, а в самом стеке
[20:00:54] <f[x]> это значит что всё очень плохо, кто-то покорраптил
[20:02:24] <f[x]> btw марков
# String.length (Dbm.find db "");;
- : int = 3965968
4мб туда-сюда маршалит на первое слово каждой фразы и ничего
[20:04:22] <ermine> "ужоснах"
[20:04:45] <ermine> а как апдейтить каунтеры?
[20:05:14] <f[x]> считал, рамаршаллил, проапгрейдил, замаршалил, записал :)
[20:06:04] <gds> а какой тип значения, которое маршаллится?
[20:06:31] f[x] убежал
[20:06:33] <f[x]> array
[20:06:40] <f[x]> (int * string) array
[20:06:41] <ermine> f[x]: ты это протестировал на скармливании коду большого текста?
[20:07:07] <f[x]> нет, чукча писатель ;)
[20:07:47] <ermine> ых
[20:08:25] f[x] вышел(а) из комнаты: Logged out
[20:09:57] <ermine> gds: думаешь, оно юзабельное будет?
[20:11:59] <gds> смотреть надо на используемые ресурсы. То, что будет рабочее, это точно. А дальше, если что, можно и заоптимизировать легко.
[20:13:50] <ermine> оно судя по всему, оптимизировано для составления строки
[20:14:12] <ermine> но боту придется гораздо чаще жевать строки
[20:15:30] <gds> можно откладывать жевание. вплоть до того, что сделать две dbm-базы для постоянного и временного хранилища, пробегать по обоим, и периодически сливать временное в постоянное.
[20:15:44] <gds> точнее, откладывать не жевание, а апдейт.
[21:28:45] michael.holub вошёл(а) в комнату
[21:29:09] michael.holub вышел(а) из комнаты
[22:07:04] michael.holub вошёл(а) в комнату
[22:23:51] <ermine> эти хаскелисты - явно не кальщики
[22:24:37] ygrek вошёл(а) в комнату
[22:24:50] ygrek вышел(а) из комнаты
[22:25:04] <ermine> сбежал
[22:25:28] ygrek вошёл(а) в комнату
[22:25:42] ygrek вышел(а) из комнаты
[22:26:07] ygrek вошёл(а) в комнату
[22:26:22] ygrek вышел(а) из комнаты
[22:26:37] ygrek вошёл(а) в комнату
[22:28:15] <ermine> ygrek: скорми своему чуду текст!
[22:28:16] michael.holub вышел(а) из комнаты
[22:29:00] ygrek перепутал флаги curl'а и тянет базу опять с нуля
[22:29:10] <ygrek> я лучше тебе код дам и ты его мучай :)
[22:29:46] <ermine> ну можно и так
[22:29:55] <ermine> все равно стрелки на тебя переводить
[22:30:08] <ermine> или на gds
[22:34:29] animist вошёл(а) в комнату
[22:58:14] <ygrek> as is
ygrek.org.ua/files/markov.7z
[23:07:41] <ermine> скачала
[23:09:13] <ermine> распаковать ессно не удалось
[23:09:41] <ygrek> bsd
[23:09:50] <sceptic> rip
[23:09:54] <ygrek> yep
[23:10:31] <ermine> tar zxf/unzip/gunzip не распаковывают
[23:10:48] <ermine> а что еще пробовать?
[23:10:53] <ygrek> 7z?
[23:11:17] <ermine> а штойта это и нахрена надо ставить еще один архиватор?
[23:11:46] <ygrek> ок, special for bsd, base64-версия
[23:11:48] <ermine> напридумают себе всяких архиваторов, лишь бы менее популярное было
[23:11:57] <sceptic> lzma
[23:12:37] <ermine> ты еще rar предложи :) или ha
[23:12:59] <sceptic> lzma как бэ bsd
[23:13:04] <sceptic> или ты живёшь в 70х?
[23:13:25] ermine просто не понимает, зачем чем-то еще пользоваться кроме gunzi/bzip2
[23:13:42] <sceptic> lzma сжимает в _разы_ лучше
[23:14:02] <ygrek> у 7z синтаксис ком строки логичней!
[23:14:21] <ermine> о, а lzma же стоит
[23:15:24] <ygrek> ygrek.org.ua/files/markov.tar.gz
[23:17:46] <ermine> а с помощью lzma как распаковать?
[23:19:49] <ermine> unlzma
[23:20:59] <ermine> только вот lzma/unlzma гадят не в текущем каталоге
[23:22:05] <ermine> меня обманули - unlzma не распаковывает 7z
[23:22:23] <ermine> блин, новая клава странно работает
[23:25:48] <ermine> в отличие от tar, markov.7z не создает каталог при распаковке
[23:25:56] <ermine> все с вами понятно
[23:31:06] <ygrek> ermine: tar тоже "не создаёт каталог" :)
[23:31:15] <ygrek> как запакуешь так и будет
[23:33:10] <ermine> ygrek: тар - это таки тар каталога
[23:34:01] <ermine> хотя может и правда зависит как набрать команду
[23:34:02] <ygrek> да ну?
[23:34:37] <ygrek> см. tar -c /etc/passwd /etc/group
[23:34:39] <ermine> но это не unix-way паковать несколько файлов без каталога
[23:35:39] <ygrek> ок, раскаиваюсь
[23:36:27] <ygrek> тру unix-way был бы netcat'ом файлы передать?
[23:37:38] <ermine> а что за неткат? может nc?
[23:38:39] ermine смотрит в ман nc и не видит юниксовых корней
[23:42:53] Typhon вошёл(а) в комнату