Objective Caml - Вторник, 23 марта 2010

Objective Caml

ocaml@conference.jabber.ru

Вторник, 23 марта 2010< ^ >

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

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

GMT+3
[00:00:30] <Kakadu> вроде нет
[00:01:15] <Kakadu> а -g у меня и так был
[00:03:06] <ermine> -O0 - компилять gcc без оптимизации
[00:03:26] <ygrek> имхо это не поможет
[00:03:39] <Kakadu> я воообще не понимаю зачем gcc
[00:03:46] <ygrek> видимо это следствие отсутствия generic printing в камле
[00:03:47] <Kakadu> я же не байндинги к си компилю
[00:04:22] <ygrek> т.е. значение имеет тип 'a - может быть любым - поэтому в compile-time не известно как его принтить
[00:05:05] <Kakadu> т.е мне надо написать ту же фанку, только неполиморфно а потом дебажить?
[00:05:47] <ygrek> ну можно руками попробовать посмотреть что там за значение - по структуре блоков
[00:06:08] <ygrek> или до-step-ать до того места в программе где значение станет неполиморфным
[00:07:29] <ygrek> я дебуггером не пользовался, может его можно как-то настроить ещё
[00:08:48] <Kakadu> достало. пора спать идти
[00:10:14] Kakadu вышел(а) из комнаты
[00:11:39] <gds> учитывая, что я тоже не пользовался ни разу отладчиком окамла, могу зачислить себя в риальни функциональщики.  Отладочная печать и всё такое.  Йо!
[00:13:15] <olegfink> gds, а как printf debugging связан с реальными функциональщиками?
[00:26:19] <gds> olegfink: ну луговский же!
[00:27:40] ygrek пытается пропихнуть использование bitstring в mldonkey
[00:28:13] <ygrek> а то там жуткий мрак - внешних зависимостей нет вообще - используется cdk (2001-го года выпуска видимо)
[00:28:24] <ygrek> пользователям конечно хорошо, а мне грустно
[00:28:55] <Typhon> да, кодец там местами препаршивенький был
[00:29:08] Typhon тыкал mldonkey когда практиковался в написании торрент клиента
[00:29:29] <ygrek> вот лучше бы mldonkey допинал, там баги смешные вообще есть
[00:29:45] Kakadu вошёл(а) в комнату
[00:30:03] ygrek правда все low-hanging fruits уже собрал - дальше посложней - dht
[00:30:17] Kakadu вышел(а) из комнаты
[00:42:35] <olegfink> кстати по ощущениям cdk был классной штукой
[00:42:47] <olegfink> в нем куча всего, чего больше нигде нету
[00:50:33] <ygrek> угу, например сишный парсер для camlp4
[00:51:07] <ygrek> это считай батарейки тогдашние
[00:52:17] ermine вышел(а) из комнаты
[00:54:05] <olegfink> по стилю мне cdk почему-то больше батареек нравится
[00:54:35] <gds> по живости мне точно батарейки больше нравятся.
[00:54:36] <olegfink> "The Caml Development Kit (CDK) is a package containing a set of useful tools and libraries for programming in Objective-Caml." vs "OCaml Batteries included (or simply "Batteries") is a community-driven effort to standardize on an consistent, documented, and comprehensive development platform for the OCaml programming language."
[00:54:41] <olegfink> видимо, вот поэтому
[00:54:50] <ygrek> не смотрел ещё ни то ни то толком
[00:56:33] <ygrek> живость это хорошо, но батарейкины баги текущие иногда просто убивают - например клонирование enum'а из channel'а приводит вообще к рандомным результатам - ужас
[00:56:55] <olegfink> кстати, а обычно всякие большие .cma линкуются статически или динамически?
[00:56:56] <ygrek> но им хотя бы помочь можно, а cdk уже никто не поможет видимо
[00:57:07] <olegfink> cdk идеален. ;-)
[00:57:14] <ygrek> гг
[00:57:29] <Typhon> мертвому языку -- мертвые батарейки? :)
[00:58:04] <ygrek> .cma - это статическая линковка
[00:58:08] <ygrek> Typhon: зачёт
[00:58:10] <olegfink> нет, ну а кому нужна _активно развивающаяся_ базовая библиотека?
[00:58:34] <olegfink> вернее даже "*активно развивающаяся* _базовая_"
[00:58:35] <ygrek> ну базовая у нас уже есть
[00:58:59] <olegfink> ну dynlink-то есть
[00:59:03] <ygrek> активно дополняющаяся, можно ведь развиваться не ломая backward compatibility
[00:59:24] <ygrek> olegfink: вот dynlink он по-моему всегда только явный, руками
[00:59:39] <olegfink> ну да, руками, я и спрашиваю, насколько он в моде
[01:00:06] <ygrek> вообще я деталей точно не знаю, самому интересно, можно ли скажем большую cma используемую в опциональном куске кода слинковать динамически, чтобы загружалась лениво..
[01:00:21] <Typhon> есть предположение, что если постоянно развиваться не ломая backward compability, то можно превратиться в Ц
[01:00:22] <olegfink> просто если не в моде, то я смысла в стандартной мега-олл-инклюдед куче кода а-ля батарейки не вижу
[01:00:23] <Typhon> ++
[01:00:28] <olegfink> пусть все с собой таскают, что хотят
[01:00:53] <olegfink> ну топлевел же тот же, скажем, unix.cma как-то грузит
[01:01:02] <ygrek> ну для плагинов - в моде
[01:01:05] <olegfink> хотя там другая история, с топлевелом-то
[01:01:17] <ygrek> топлевел вообще странный зверь - там и generic printing есть :)
[01:02:10] <olegfink> интересно, а оно очень сильно медленнее байткодного тырпретатора?
[01:02:24] <olegfink> (т.е. тормозной ли parsing+typing+codegen)
[01:02:36] <ygrek> ещё оверхед по памяти на хранение контекста
[01:02:47] <ygrek> с вами интересно, но и спать надо иногда
[01:02:48] <ygrek> бб
[01:03:12] <olegfink> просто я как-то никогда не видел #!/usr/bin/ocaml, хотя казалось бы это было бы удобно местами
[01:05:21] <ygrek> olegfink: я использую вместо баша :)
[01:05:56] <olegfink> ну, в смысле для относительно софта
[01:06:02] <olegfink> а не скриптов
[01:10:13] <olegfink> ygrek, ну на тупом тесте со списками и list.rev, топлевел ничуть по скорости от байткода не отличается
[01:12:47] <olegfink> что-то у меня ocamlnat не собирается
[01:12:52] <olegfink> стало быть, спать пора
[01:13:26] ygrek вышел(а) из комнаты
[01:34:45] gds вышел(а) из комнаты
[03:16:19] Typhon вышел(а) из комнаты
[03:24:08] daapp вошёл(а) в комнату
[04:10:08] iNode вышел(а) из комнаты
[06:47:48] iNode вошёл(а) в комнату
[07:22:46] digital_curse вошёл(а) в комнату
[07:33:34] iNode вышел(а) из комнаты
[08:03:34] iNode вошёл(а) в комнату
[08:31:19] ygrek вошёл(а) в комнату
[08:31:34] ygrek вышел(а) из комнаты
[08:40:00] ygrek вошёл(а) в комнату
[08:42:22] ygrek вышел(а) из комнаты
[08:42:28] ygrek вошёл(а) в комнату
[09:01:17] gds вошёл(а) в комнату
[09:29:01] Typhon вошёл(а) в комнату
[09:29:15] Typhon вышел(а) из комнаты
[09:29:20] Typhon вошёл(а) в комнату
[09:58:35] serp256 вошёл(а) в комнату
[10:16:29] ermine вошёл(а) в комнату
[11:26:26] valexey_ вошёл(а) в комнату
[12:15:19] <gds> прикидываю вот, в свете того, что Typhon слепил клёвый инсталлятор оверблда: выкладывать торрент-файлы на sourceforge -- это верх идиотизма, или можно что-нибудь ещё более весёлое придумать?
[12:15:54] ygrek вышел(а) из комнаты
[12:16:50] <Typhon> магнет ссылки
[12:19:36] <gds> страшно.  Надо подумать :)
[12:24:14] <f[x]> выкладывать сами файлы на sf.net и торренты - первые использовать для web-seeding
[12:24:30] <f[x]> хотя если проблема в upload канале..
[12:24:54] <f[x]> а можно сразу на sf.net хосте и собирать, правда там линукс :)
[12:48:34] <gds> на sf.net собирать -- сильно страшно.  А вот web-seeding это хорошо, если оно поддерживается клиентами.
Хотя пока не хочется заливать файлы на sf.net, ибо содержимое будет часто меняться, а загрузок пока не сильно много планируется (кому этот окамл вообще нужен, спрашивается).  Поэтому и думаю о заливке торрентов.
[13:20:20] gds вышел(а) из комнаты
[13:20:50] gds вошёл(а) в комнату
[13:26:00] sceptic вышел(а) из комнаты
[14:12:12] ygrek вошёл(а) в комнату
[14:12:27] ygrek вышел(а) из комнаты
[14:12:45] ygrek вошёл(а) в комнату
[14:34:36] daapp вышел(а) из комнаты
[14:38:54] iNode вышел(а) из комнаты
[14:44:01] iNode вошёл(а) в комнату
[14:54:13] Mon вышел(а) из комнаты
[14:54:59] Mon вошёл(а) в комнату
[14:59:30] Mon вышел(а) из комнаты: offline
[15:00:34] Typhon вышел(а) из комнаты
[15:04:17] Mon вошёл(а) в комнату
[15:04:44] Mon вышел(а) из комнаты
[15:06:00] Mon вошёл(а) в комнату
[15:06:15] Mon вышел(а) из комнаты
[16:26:22] valexey_ вышел(а) из комнаты
[16:33:38] valexey вошёл(а) в комнату
[16:40:21] <olegfink> gds, торрент-файлы надо упаковывать в самораспаковывающиеся экзешники и заливать на рапидшару. иначе некруто.
[16:40:21] serp256 вышел(а) из комнаты
[16:40:28] serp256 вошёл(а) в комнату
[16:47:06] <valexey> O_o
[16:47:16] <valexey> во вконтактик выложить же!
[16:47:24] <valexey> если там торренты можно выкладывать конечно :-)
[16:53:49] <olegfink> ну так туда ссылки на рапидшару
[16:54:21] <valexey> и заспамить сообщениями в личку и в приглажениях в френды.
[16:55:03] gds тщательно записывает
[17:03:17] <valexey> чорт. в плюсах начал иногда в конце писать по две точки с запятой вместо одной.
[17:14:05] Kakadu вошёл(а) в комнату
[17:26:48] iNode вышел(а) из комнаты
[17:29:09] gds вышел(а) из комнаты
[17:53:18] iNode вошёл(а) в комнату
[18:27:37] gds вошёл(а) в комнату
[18:33:47] Typhon вошёл(а) в комнату
[18:58:14] valexey_ вошёл(а) в комнату
[19:17:10] sceptic вошёл(а) в комнату
[19:22:07] valexey_ вышел(а) из комнаты
[19:26:31] serp256 вышел(а) из комнаты
[19:55:57] Kakadu вышел(а) из комнаты
[20:54:06] Typhon вышел(а) из комнаты: Replaced by new connection
[20:54:07] Typhon вошёл(а) в комнату
[21:18:05] Kakadu вошёл(а) в комнату
[21:40:29] Typhon вышел(а) из комнаты
[21:51:05] iNode вышел(а) из комнаты
[22:06:30] iNode вошёл(а) в комнату
[22:29:39] Kakadu вышел(а) из комнаты
[22:40:59] Typhon вошёл(а) в комнату
[23:10:21] <ermine> ygrek: а Wosize на списке вернет число элементов списка?
[23:14:38] <ygrek> нет по идее
[23:14:48] <ygrek> это будет размер блока
[23:14:54] <ygrek> а список это цепочка блоков
[23:15:32] <ermine> ыгы
[23:15:42] <ermine> придецца сначала покрутить, чтобы посчитать
[23:17:15] <ermine> хотя это тоже ломает с99: сначала вычислить длину массива, потом создать его через a[size]
[23:24:12] <olegfink> а обязательно именно на стеке память выделять?
[23:30:27] <ermine> ты лучше расскажи как это делать без маллока/фрее
[23:34:43] <olegfink> alloca?
[23:34:50] <olegfink> ты лучше расскажи, зачем
[23:36:15] <ermine> в камле формируется список абстрактного типа, который надо передать в сишнюю функцию тоже в виде списка с последним элементом NULL
[23:36:56] <ermine> решение в лоб - на стороне камля делать массив, а не список, тогда размер известен
[23:38:54] olegfink почти ничего про сишные биндинги окамля не знает
[23:39:03] <olegfink> а как обычно делают, когда надо список передать?
[23:40:38] <ermine> ну a[size+1]
[23:47:01] <olegfink> нет, именно список