Objective Caml - Среда, 28 апреля 2010

Objective Caml

ocaml@conference.jabber.ru

Среда, 28 апреля 2010< ^ >

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

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

GMT+4
[00:33:33] ermine вышел(а) из комнаты
[00:58:50] digital_curse вышел(а) из комнаты
[00:59:19] gds вышел(а) из комнаты
[01:01:08] iNode вышел(а) из комнаты
[01:13:37] Kakadu вышел(а) из комнаты
[04:20:44] Typhon вышел(а) из комнаты
[08:56:42] gds вошёл(а) в комнату
[09:26:48] iNode вошёл(а) в комнату
[10:13:43] ermine вошёл(а) в комнату
[10:14:45] serp256 вошёл(а) в комнату
[10:19:11] ygrek вошёл(а) в комнату
[11:06:20] <f[x]> меняешь матлогику на теоркат?
[11:07:42] Typhon вошёл(а) в комнату
[11:20:11] ʇsʎɯ вошёл(а) в комнату
[12:13:38] valexey_ вошёл(а) в комнату
[13:00:22] <gds> что в окамле есть для нормальной работы с датами?  Цель -- упорядочивание дат, представленных строками вида "2010-04-26T23:35:44+03:00" (с учётом timezone тоже).  Понятно, что какие-то либы типа calendar есть, но может кто-нибудь поделится впечатлениями?
[13:01:15] <gds> (если бы timezone была фиксированной, я бы упорядочивал строки, ясное дело)
[13:02:50] <olegfink> есть вот такое: http://ocaml.janestreet.com/?q=node/73
[13:02:58] <olegfink> но, скорее всего, его бессмысленно выдирать из core
[13:18:57] <gds> интересно, прочитал всё, в том числе каменты.  Теперь встал вопрос: а кто-нибудь пользовался core плотно?
[13:19:27] <ʇsʎɯ> а нельзя ли разбить на (time * tz) и отсортировать сначала по одному, а потом по другому?
[13:20:10] <ʇsʎɯ> сначала по tz, а потом stable_sort по time
[13:23:47] <gds> может быть так: 0:00+0300, 1:00+0400, 1:00+0300, что переводится в GMT как 3:00, 5:00 и 4:00 соответственно, и никакая сортировка, отделяющая tz сначала, не поможет.  В GMT переводить всё руками -- лень, ибо надо будет уметь хотя бы работать с месяцами и високосными годами, что лень писать, так как есть готовое.  (ой, могу ошибиться насчёт сложения (т.е. 0:00+0300 = 3:00+0000), но принцип именно такой: времена близкие, tz разные)
[13:25:27] <olegfink> насколько я понял, core не лучше и не хуже stdlib, просто отвечает другим эстетическим запросам
[13:33:18] <ʇsʎɯ> 00:00+0300; 01:00+0400; 01:00+0300 => сортируем по TZ => 00:00+0300; 01:00+0300; 01:00+0400 => сортируем по времени => 00:00+0300; 01:00+0300; 01:00+0400
[13:33:22] <ʇsʎɯ> где ошибка?
[13:34:39] <ʇsʎɯ> или порядок сортировки обратный для TZ... что-то я сам запутался
[13:34:55] <ʇsʎɯ> но ничего никуда переводить не надо, обычная поразраядная сортировка
[13:43:17] <gds> тоже запутался.  Но точно знаю, что если нужно отсортировать туплы (a, b) по критерию a+b (или a-b), то можно придумать контрпример, показывающий ошибочность сортировки сначала по одному компоненту, потом по другому.
Попробуем упорядочить (1, 4), (4, 1), (3, 3) по сумме.  По какому компоненту ни сортируй, будем иметь суммы 5, 6, 5 в списке.
[14:04:50] <olegfink> а никто случаем не знает, в чем делают презентации?
[14:05:12] <olegfink> хочется чего-нибудь простого, желательно, чтобы я писал текстом, а красивую pdf'ку оно генерило как-нибудь само
[14:07:21] <Typhon> openoffice,  Impress
[14:07:35] <Typhon> точнее,  Impress из openoffice.
[14:08:51] <olegfink> слишком сложное
[14:09:03] <komar> latex-beamer?
[14:11:40] <olegfink> уже лучше, но все равно слишком сложное
[14:12:21] <komar> Кстати, надо запилить утилиту, которую ты хочешь.
[14:17:45] <gds> проблема с презентациями в том, что неплохо бы по умолчанию иметь возможность рисовать внутри них разные хитри штуки наподобие формул, таблиц.  Поэтому, несмотря на моё прохладное отношение к latex, видимо есть смысл генерить именно его, затем преобразовывать в pdf.
[14:20:23] <olegfink> нет, мне нужна ну совсем тупая презентация, почти для гуманитариев (курсовая по c++)
[14:20:44] <olegfink> мне почему-то кажется, что "крутые" latex-презентации и то, что нужно мне -- разные классы
[14:22:35] <olegfink> что плохо в beamer -- я не вижу, сколько материала на слайде
[14:22:42] <olegfink> даже если этот beamer в lyx
[14:22:48] <Typhon> я вот считаю, что презентации без картинок (без картинок женщин, как правило) -- не имеют успеха, поэтому предпочитаю impress -- текстом написал тезисы, накидал фотографий натали портман, сохранил в пдф -- profit
[14:23:05] <ʇsʎɯ> поддерживаю
[14:23:10] <Typhon> особенно если аудитория типа гуманитариев
[14:23:56] <gds> в отдельных случаях допустимы картинки с верблюдами.
[14:24:13] <Typhon> да, верблюды -- ок :)
[14:25:52] <gds> если же презентация про C++, то вместо фотки Страуструпа можно брать фотку Туполева, который всяко лучше Страуструпа, но смотрит на вас как-то так: http://infoavia.ru/images/tupolev.jpg
[14:26:20] <olegfink> такие верблюды: http://i31.tinypic.com/11t4oeg.jpg ?
[14:26:49] <gds> верблюды -- ок!
[14:26:56] <Typhon> olegfink: you've got a point! )
[14:28:28] <olegfink> туполев хорош
[14:32:21] <komar> Верблюд дюже худосочный, не пойдёт.
[15:10:17] <f[x]> rwmjones недавно пиарил свою тулзу для презентаций
[15:11:14] <olegfink> линк?
[15:11:20] <olegfink> я, правда, уже почти все написал в lyx+beamer
[15:12:02] <f[x]> http://annexia.org/tech_talk_pse
[15:14:12] <olegfink> ага, скриншоты и в пдфку ;-)
[15:46:10] ygrek вышел(а) из комнаты
[15:56:01] Kakadu вошёл(а) в комнату
[16:07:26] Kakadu вышел(а) из комнаты
[16:53:22] <gds> ну что ж, с либой calendar жить можно.  Подтверждено.
# #require "calendar";
d:/overbld3s/ocaml/lib\unix.cma: loaded
d:/overbld3s/ocaml/lib\str.cma: loaded
d:\overbld3s\ocaml\lib\site-lib\calendar: added to search path
d:/overbld3s/ocaml/lib/site-lib\calendar\calendarLib.cma: loaded
# open CalendarLib;
# value p = Printer.Time.from_fstring "%Y-%m-%dT%H:%M:%S%:z";
value p : string -> CalendarLib.Printer.Time.t = <fun>
# value d = p "2010-04-26T23:35:44+03:00";
value d : CalendarLib.Printer.Time.t = <abstr>
# value d2 = p "2010-04-26T22:35:44+02:00";
value d2 : CalendarLib.Printer.Time.t = <abstr>
# Time.compare d d2;
- : int = 0
# value d3 = p "2010-04-26T22:39:44+02:00";
value d3 : CalendarLib.Printer.Time.t = <abstr>
# Time.compare d d3;
- : int = -1
[16:54:39] <ʇsʎɯ> gds: pastebin.com
[16:59:34] iNode вышел(а) из комнаты
[17:31:08] gds вышел(а) из комнаты
[17:34:49] Kakadu вошёл(а) в комнату
[17:43:40] serp256 вышел(а) из комнаты
[17:43:42] serp256 вошёл(а) в комнату
[17:45:02] Kakadu вышел(а) из комнаты
[17:45:37] serp256 вышел(а) из комнаты
[17:50:32] serp256 вошёл(а) в комнату
[18:26:40] gds вошёл(а) в комнату
[18:41:43] iNode вошёл(а) в комнату
[19:07:17] ʇsʎɯ вышел(а) из комнаты
[19:17:57] sceptic вышел(а) из комнаты
[19:26:18] Typhon вышел(а) из комнаты: Replaced by new connection
[19:26:18] Typhon вошёл(а) в комнату
[20:19:16] Typhon вышел(а) из комнаты
[20:43:40] serp256 вышел(а) из комнаты
[20:55:33] valexey_ вышел(а) из комнаты
[21:07:18] Kakadu вошёл(а) в комнату
[21:21:11] Typhon вошёл(а) в комнату
[21:24:01] digital_curse вошёл(а) в комнату
[21:47:17] ygrek вошёл(а) в комнату
[23:33:04] Kakadu вышел(а) из комнаты
[23:37:35] ermine вышел(а) из комнаты
[23:55:25] iNode вышел(а) из комнаты