Objective Caml - Пятница, 19 ноября 2010

Objective Caml

ocaml@conference.jabber.ru

Пятница, 19 ноября 2010< ^ >

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

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

GMT+3
[00:00:03] serp256 вошёл(а) в комнату
[00:08:52] komar вышел(а) из комнаты
[00:08:58] komar вошёл(а) в комнату
[00:18:14] Kakadu вышел(а) из комнаты
[00:45:58] Serge Ziryukin вошёл(а) в комнату
[00:53:10] ermine вышел(а) из комнаты
[00:58:23] gds вышел(а) из комнаты
[00:59:31] Serge Ziryukin вышел(а) из комнаты: offline
[00:59:53] ftrvxmtrx вошёл(а) в комнату
[01:13:56] arhibot вышел(а) из комнаты
[01:13:57] arhibot вошёл(а) в комнату
[01:19:07] serp256 вышел(а) из комнаты
[01:19:13] serp256 вошёл(а) в комнату
[01:20:48] arhibot вышел(а) из комнаты
[01:21:10] zert вышел(а) из комнаты
[01:30:44] serp256 вышел(а) из комнаты
[01:31:19] komar вышел(а) из комнаты
[01:42:48] serp256 вошёл(а) в комнату
[02:05:40] serp256 вышел(а) из комнаты
[02:05:50] serp256 вошёл(а) в комнату
[02:16:04] serp256 вышел(а) из комнаты
[02:34:08] Typhon вышел(а) из комнаты
[02:47:36] ftrvxmtrx вышел(а) из комнаты
[07:51:51] iNode вошёл(а) в комнату
[08:31:57] serp256 вошёл(а) в комнату
[08:59:51] gds вошёл(а) в комнату
[09:09:05] serp256 вышел(а) из комнаты
[10:09:43] Kakadu вошёл(а) в комнату
[10:22:56] <gds> а вот засада с Recursive -- у меня-то два типа взаимно-рекурсивных, а не один.  Написал Аналу, попросил разъяснений.
[10:30:11] <Kakadu> Я тут всё думаю насчет таблицы символов в моей IDE. Наверное у неё ключем должно быть имя переменной(функции) а значениями - списки вхождений? Наверное это логичнее, чем если бы ключем была локация в файле
[10:38:50] serp256 вошёл(а) в комнату
[10:50:41] Typhon вошёл(а) в комнату
[10:55:02] <gds> Kakadu: а что делать в случаях, когда имя одинаковое?  let x = 123 in let x = 234 in .. -- ну или аналоги.  А в других функциях одинаково названные переменные?  Не, это не вариант.
[10:56:07] <Kakadu> я тут обнаружил, что Хакс где-то там переименовывает переменные
[10:56:41] <Kakadu> public function f() {
  var x  = 5;
  var g = function() { var x = 6; }
}
[10:56:55] <Kakadu> воторое определение в AST будет x1
[10:57:30] <gds> а если в разных функциях одинаковые?
[10:57:46] <Kakadu> наверное нет
[11:14:31] <Kakadu> точно нет
[11:14:48] <Kakadu> но тогда можно извратиться с таблицами символов отдельно для каждого метода
[11:19:44] <gds> можно, но насколько удобно будет -- это вопрос.  Я бы каждую переменную да хоть целыми числами проидентифицировал бы, а целое число -- вполне приличный ключ.
[11:28:13] komar вошёл(а) в комнату
[11:35:02] zert вошёл(а) в комнату
[11:48:58] komar вышел(а) из комнаты
[11:51:05] f[x] вышел(а) из комнаты
[12:00:19] f[x] вошёл(а) в комнату
[12:00:38] f[x] вышел(а) из комнаты
[12:02:26] f[x] вошёл(а) в комнату
[12:29:37] ermine вошёл(а) в комнату
[12:43:40] komar вошёл(а) в комнату
[14:42:34] <Kakadu> меня проблило на хаха http://chatlogs.jabber.ru/programming@conference.jabber.ru/2010/11/19.html#14:05:28.329944
[14:45:13] <komar> Х-та.
[15:05:13] <zert> кокоду
[15:17:07] gds вышел(а) из комнаты
[15:17:24] gds вошёл(а) в комнату
[15:20:16] <Kakadu> zert: :-)
[16:06:38] <f[x]> http://svn.quare.fr/viewvc/projets/trunk/ -- какие-то секретные лаборатории
[16:13:19] <komar> Сэвэнэ.
[16:52:41] ftrvxmtrx вошёл(а) в комнату
[17:32:28] gds вышел(а) из комнаты
[18:03:15] gds вошёл(а) в комнату
[18:21:38] iNode вышел(а) из комнаты
[18:22:56] komar вышел(а) из комнаты
[18:23:36] komar вошёл(а) в комнату
[18:26:41] <gds> в общем, с Recursive -- история печальная.  Два взаимно-рекурсивных типа в теории заставили бы ломать Recursive или выдумывать оборачивание двух типов в один, с последующим "разливанием" -- не самое красивое мероприятие, хотя я его уже вполне продумал, чисто по приколу.  Настоящий фейл меня поджидал, когда я понял, что Recursive берёт функтор от одной типовой переменной, 'a t, тогда как мне надо, чтобы либо вдобавок, либо внутри себя t содержал ещё одну переменную, и чтобы всё было полиморфно по этой переменной.  Как мне _настолько_ ломать Recursive -- не представляю.  Как и не представляю, выйдет ли из этого толк вообще.  Когда Анал ответит, может станет ясно это, и спрошу его про типовые переменные, но всё-таки буду развязывать рекурсию, тем более, что это допустимо в задаче.  (просто хотел как красивее...)  Ссылки-идентификаторы будут только внутри небольшого алгоритма и не будут доступны снаружи, всё будет хорошо.
[18:27:13] serp256 вышел(а) из комнаты
[18:29:06] <f[x]> а типовые переменные внутри функтора должны решаться через (type t) из 3.12 - не?
[18:30:39] <gds> идея хорошая.  Если окажется, что проблема только в этом -- буду пробовать.
Кстати, они там починили батарейки и deriving?  А то не слежу за теми багами :)
[18:31:46] <f[x]> "они" не починили deriving
[18:32:17] <gds> недоработка!
[18:36:13] <f[x]> у них на этой неделё ёкнулись оба домашних винчестера и по сему поводу случилась небольшая истерика
[18:42:12] <gds> у батареечных, или у тебя, ломающего deriving?
[18:42:34] <f[x]> /me
[18:46:19] <gds> ох беда.  Ну, с кодом-то понятно, он весь по идее в репках должен быть (надеюсь, не на соседнем винте), а остальное -- жаль.
[18:49:38] SerP вошёл(а) в комнату
[18:49:48] <f[x]> ну с одного винта дамп удалось снять (получилось только если после включения сразу делать дамп, не делать лишних сиков)
[18:50:05] <f[x]> трабла в том что домашний раздел в lvm'е с кусками на другом винте %)
[18:50:15] <f[x]> так что ещё хз что получится выковырять
[18:51:21] <f[x]> но я в принципе спокоен, бэкап есть полугодовой давности, актуальный код в репах либо на работе либо в инете, и вообще omnia mea mecum porto :)
[18:51:48] <f[x]> купил теперь зато внешний винт для бэкапов :)
[18:58:51] <gds> ох затрахаешься с lvm, как мне подсказывают голоса из розетки.  Разве что только если что-то важное.  Возможно по кусочкам. (я как-то трое суток сидел и ковырял фат32 (очень уж хотелось), так фатка ещё простая как три копейки, а тут -- непойми что.)
Носить с собой -- это правильно, только личное шифровать надо, а для этого обычно требуется совершать действия над машиной, где хочется использовать шифрованное, что геморно слегка.
А у меня проблема другая -- лень настраивать бэкапы, даже если бы и был внешний винт.  Я -- как тот сисадмин, который _ещё_ не делает бэкапы.
[19:04:48] <f[x]> ну я из ext3 выковыривал файлик с паролями :)
[19:05:27] <f[x]> и по одноразовому опыту ext3 над lvm'ом переживает вылет диска (в смысле что из оставшихся кусков собирается рабочая фс)
[19:07:11] SerP вышел(а) из комнаты
[19:07:49] <f[x]> gds: ага, только изречение больше про то что шифровать ничего и не надо :)
[19:08:26] <f[x]> а бэкапы надо, только на dvd конечно задалбывает..
[19:08:40] <f[x]> вот я их раз в год и делал :)
[19:11:20] <gds> один конкретный файлик из ext3 -- ещё нормально.
изречение-то да, но если хочется на практике носить с собой из того, что в мозг не помещается, но важно, то приходится шифровать.
dvd -- да, гемор.  Если умно сделать, чтобы чисто изменения писать, то ещё катит, может быть.  Вообще не помню, сколько лет назад с этими оптическими дисками имел дело.
[19:18:20] ftrvxmtrx вышел(а) из комнаты: offline
[19:28:06] Typhon вышел(а) из комнаты
[20:22:29] Typhon вошёл(а) в комнату
[20:58:01] <Kakadu> есть живая либа для xmpp?
[20:58:19] <Kakadu> ой я чувстввуюю зря я начал пиарить камло в #programming
[20:59:25] <komar> Прекрати немедленно!
[20:59:37] <komar> Пиарь х-ль.
[20:59:42] <komar> Хай туда идут.
[20:59:43] <Kakadu> не, пиарить х-ь никогда
[20:59:51] <komar> Надо.
[21:00:08] <Kakadu> мне вот на objC предстоит по-видимому на работе прогать
[21:00:11] <komar> Понапишут туда батареек, прикрутят duck-typing повсюду.
[21:01:03] <komar> Будет второй питончик.
[21:11:23] Kakadu вышел(а) из комнаты
[21:27:30] Kakadu вошёл(а) в комнату
[21:32:14] <komar> > Packages which are recommended by other packages:
> ledit
[21:32:21] <komar> Угадайте, что я ставил?
[21:32:37] <Kakadu> ocaml
[21:32:54] <Kakadu> или слишком просто
[21:32:55] <Kakadu> ?
[21:34:24] <komar> Окамл.
[21:40:52] Typhon вышел(а) из комнаты
[21:52:47] <ermine> к проекту подцеплены три библиотеки, имеющие модуль Base64. Вопрос: кого заюзают?
[21:53:27] <ermine> выиграл extlib
[21:54:24] ermine не знает, кому послать луч ненависти
[21:56:25] <komar> Libname.Base64
[21:56:30] <komar> Так по-хорошему делают.
[21:57:26] <komar> А я тем временем подключил Lwt, и код стал похож на ну вы понели.
[21:58:04] <ermine> последний даркс?
[21:58:34] <ermine> komar: заменяй >>= на try_bind
[22:00:33] <komar> Не, лучше уж монады.
[22:00:49] <komar> Lwt из debian testing, новее не надо.
[22:01:01] <komar> Пришлось обновлять своего ленни.
[22:01:05] komar вышел(а) из комнаты
[22:28:58] arhibot вошёл(а) в комнату
[22:41:45] komar вошёл(а) в комнату
[22:55:46] <komar> ermine: кстати, а зачем ви таки пользуетесь lwt с даркса? Какие-то специфические задачи или просто чтобы интереснее было?
[23:22:17] arhibot вышел(а) из комнаты
[23:32:35] arhibot вошёл(а) в комнату
[23:42:44] <ermine> komar: щас не пользуюсь, ибо ocsigen из даркса с ним не совместим