Objective Caml - Суббота, 8 октября 2011

Objective Caml

ocaml@conference.jabber.ru

Суббота, 8 октября 2011< ^ >

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

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

GMT+4
[02:30:42] ygrek вышел(а) из комнаты
[02:40:34] shaggie вышел(а) из комнаты
[08:15:05] klapaucius вышел(а) из комнаты
[08:49:01] ygrek вошёл(а) в комнату
[10:32:03] Kakadu вошёл(а) в комнату
[10:47:27] ermine вошёл(а) в комнату
[10:49:45] komar вышел(а) из комнаты: Replaced by new connection
[10:49:45] komar вошёл(а) в комнату
[11:35:19] gds вошёл(а) в комнату
[11:44:15] ygrek вышел(а) из комнаты
[11:44:18] ygrek вошёл(а) в комнату
[13:28:52] Typhon вошёл(а) в комнату
[13:44:13] Kakadu вышел(а) из комнаты
[14:11:38] Typhon вышел(а) из комнаты
[14:15:29] Typhon вошёл(а) в комнату
[14:33:47] Typhon вышел(а) из комнаты
[15:40:22] Typhon вошёл(а) в комнату
[15:40:40] Typhon вышел(а) из комнаты
[15:40:44] Typhon вошёл(а) в комнату
[15:45:39] ygrek вышел(а) из комнаты: Replaced by new connection
[15:45:40] ygrek вошёл(а) в комнату
[16:01:02] shaggie вошёл(а) в комнату
[17:07:16] <gds> в общем-то, вполне удобно оказалось явным образом передавать информацию о типе.  Коммиты пока ссыкотно показывать, ибо ещё многое не работает, но кончик виден!  Чо я молчу -- всё получается потому что.
из "конвенций": разделил методы "показать в виде строки" на show (явный, указываемый пользователем) и dump (неявный, например, "{ k1 => v1, k2 => v2 }" для map'ки).
думаю вот, что лучше для отображения "коллекций" -- coll -> list string -> String.concat, или какие-то извращения с Buffer + add_string.  Есть идеи?  (фишка в том, что в первом случае заранее известен размер итоговой строки, а во втором случае можно переиспользовать буфер, выродив метод типа show_to_substring ~base ~ofs ~len).
[17:14:24] <gds> например, мержилку хитрожопых мапок отлаживал так: добавил ей опциональные аргументы ?tkey и ?tval, обеспечил их передачу в нужном мне случае (и их хранение в нужных мне объектах), и далее, в зависимости от того, передают ли их, я получаю либо "{ <abstract> => [ <abstract> ; <abstract> ], <abstract> => [ <abstract> ] }", либо "{ 1 => [ "11" ; "111" ] ; 2 => [ "2222" ] }" (и два промежуточных варианта).
[17:19:00] <gds> далее, методы разделил на опциональные и требуемые.  все опциональные в t#topt#имяметода, все явные в t#имяметода.  кроме того, есть первоклассный модуль t#tmod, который использую там, где нужен модуль (то есть, для функтора).  наличие опционального метода можно проверить, например, через t#topt#eq == No.eq.  кроме того, возможны даункасты, как с явным указанием (например, ~eq -> ~cmp -> t 'a -> tcmpeq 'a), так и с неявным, которое можно сделать как с проверкой определённости методов, так и без неё.
[17:31:19] <gds> наверное, надо бы подобное задокументировать, если я хочу, чтобы это кем-то использовалось и дополнялось?
[17:31:46] <gds> но это не ocamldoc-формат, это надо какой-то отдельный текстовый документ лепить, видимо.
[18:16:20] shaggie вышел(а) из комнаты
[20:01:39] shaggie вошёл(а) в комнату
[20:35:19] Kakadu вошёл(а) в комнату
[20:55:08] <Typhon> """show_to_substring""" -- какая-то ненужная функа, кмк.
[20:55:37] <Typhon> (за исключением претти-принтеров, show_first_n, например)
[20:57:04] <Typhon> для того, чтобы использовалось и дополнялось, нужно иметь примеры, где это может быть полезно и доки, да. ну и баги, а то без багов дополнять никто не будет %)
[21:50:08] Typhon вышел(а) из комнаты
[22:23:03] ermine вышел(а) из комнаты
[23:17:24] ygrek вышел(а) из комнаты
[23:32:38] <gds> Typhon: про баги -- это ты про недавнюю статью?
[23:39:15] <bobry> кто нибудь собирал ocaml-experimental?
[23:39:20] bobry готовит PKGBUILD :)
[23:40:16] arhibot вошёл(а) в комнату
[23:55:45] komar вышел(а) из комнаты
[23:55:53] komar вошёл(а) в комнату
[23:59:35] arhibot вышел(а) из комнаты