Objective Caml - Среда, 15 декабря 2010

Objective Caml

ocaml@conference.jabber.ru

Среда, 15 декабря 2010< ^ >

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

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

GMT+3
[00:00:17] arhibot вышел(а) из комнаты
[00:32:23] zert вышел(а) из комнаты
[00:49:11] ygrek вышел(а) из комнаты
[00:54:29] ftrvxmtrx вышел(а) из комнаты
[00:54:34] ftrvxmtrx вошёл(а) в комнату
[01:00:10] gds вышел(а) из комнаты
[01:25:15] ftrvxmtrx вышел(а) из комнаты
[01:26:46] ftrvxmtrx вошёл(а) в комнату
[01:39:50] Kakadu вышел(а) из комнаты
[01:50:13] ftrvxmtrx вышел(а) из комнаты
[01:58:11] ftrvxmtrx вошёл(а) в комнату
[03:04:18] Typhon вышел(а) из комнаты
[07:59:02] iNode вышел(а) из комнаты
[08:50:37] iNode вошёл(а) в комнату
[09:03:46] gds вошёл(а) в комнату
[09:08:42] serp256 вошёл(а) в комнату
[09:24:37] serp256 вышел(а) из комнаты
[09:55:15] <gds> пробую postgresql-ocaml падвенду.  Радости -- море.  В нативкоде при линковке:
Error: Files d:/OVerbld/ocaml/lib\threads\threads.cmxa
       and d:/OVerbld/ocaml/lib/threads\threads.cmxa
       both define a module named Thread
хоть, блин, каньпелятор патчь, чтобы он слеши перерисовывал при проверке уникальности пути модуля.  Или какие-нибудь другие идеи есть?
Про байткод только хотел пожаловаться, но потом разобрался, в чём было дело (а именно, системно-стоящая старая openssl; конечно, в нормальных ОС такого не бывает).
[09:57:28] <gds> кстати вот, а если окамлу дать линковать a/b/c.cmxa и a/b/../b/c.cmxa, он их тоже разными посчитает?  Если где-то есть та "нормализация", то может её и пропатчить, чтобы она слеши доводила до вида d:/a/b/c.cmxa?
[10:14:07] <gds> и вот ещё засада с классами-объедктами: http://pastebin.com/4jAADz97 -- какая-то логика в этом есть, но до конца не понимаю, почему в объектах-подтипах невозможно заменить тип метода на его подтип.  (несмотря на попытки приписать тип, видные в листинге, и попытки выполнить coercion, не видные, но тоже безуспешные.)
[10:24:06] serp256 вошёл(а) в комнату
[11:28:48] <f[x]> lol
[11:37:33] komar вышел(а) из комнаты
[11:43:54] ftrvxmtrx вышел(а) из комнаты
[11:55:23] ermine вошёл(а) в комнату
[12:47:10] komar вошёл(а) в комнату
[13:37:47] ftrvxmtrx вошёл(а) в комнату
[13:48:14] zert вошёл(а) в комнату
[14:11:42] <f[x]> ftrvxmtrx: вижу пакет ocaml-extunix для arch, круто :)
[14:17:16] gds вышел(а) из комнаты
[14:37:15] gds вошёл(а) в комнату
[14:49:44] <ftrvxmtrx> :)
[15:40:16] ermine вышел(а) из комнаты
[15:43:16] <f[x]> > http://ocaml-iteratees.forge.ocamlcore.org/
OCaml port of Iteratees (...) to OCaml.
[15:43:21] <f[x]> gds: ^^
[15:44:52] <gds> f[x]: а чего это https://forge.ocamlcore.org/ не работает?
[15:45:13] <f[x]> а, сегодня же апгрейд
[15:45:39] Kakadu вошёл(а) в комнату
[16:00:16] f[x] установил(а) тему: Камль -- http://caml.inria.fr | Логи -- http://chatlogs.jabber.ru/ocaml@conference.jabber.ru/ | Вики -- http://gdsfh.dyndns.org/kamlo/ | Верблюды грязи не боятся! | release crap | репортьте баги официальным дилерам | ocaml мёртв, move on
[16:20:03] komar вышел(а) из комнаты: Replaced by new connection
[16:20:04] komar вошёл(а) в комнату
[16:44:52] iNode вышел(а) из комнаты
[16:53:17] ftrvxmtrx вышел(а) из комнаты
[17:00:14] ftrvxmtrx вошёл(а) в комнату
[17:22:55] ermine вошёл(а) в комнату
[17:27:12] <gds> не помог патчик с перерисовыванием слешей:
Error: Files D:/OVerbld/ocaml/lib/threads/threads.cmxa
       and D:/OVerbld/ocaml/lib/threads/threads.cmxa
       both define a module named Thread
на самом деле, что ли, дважды линкуют...
[17:29:45] <f[x]> помнится мне я такое сообщение встречал когда-то..
[17:31:17] <f[x]> наверное он там два раза в строке указан?
[17:31:56] <f[x]> ага, точно -> http://gdsfh.dyndns.org/kamlo/JoCaml
[17:32:42] <gds> мда, надо будет -verbose добавлять, или как там у ocamlfind оно.
[17:32:47] gds вышел(а) из комнаты
[18:07:21] gds вошёл(а) в комнату
[18:44:08] ftrvxmtrx вышел(а) из комнаты
[19:01:56] Kakadu вышел(а) из комнаты
[19:34:35] iNode вошёл(а) в комнату
[19:37:39] ftrvxmtrx вошёл(а) в комнату
[19:53:32] Kakadu вошёл(а) в комнату
[19:59:24] Typhon вошёл(а) в комнату
[20:02:24] Typhon вышел(а) из комнаты
[21:08:02] Typhon вошёл(а) в комнату
[21:34:06] serp256 вышел(а) из комнаты
[22:19:13] arhibot вошёл(а) в комнату
[22:32:31] <gds> представьте себе, читаю мануал.  "Object in Caml".  Объяснено многое про объекты/классы/coercions из "неявного".  К сожалению, эта глава имхо относится к тем текстам, которые проще прочитать по диаговнали, набить шышки самому, вернуться и почитать с удовольствием, нежели грызть аки гранит.  А может просто давно читал и не было нужно.
Из понравившегося-свежего:
#function x -> (x :> ’a);;
- : ’a -> ’a = <fun>
if (obj :> < >) = (obj’ :> < >) then ...
и про {< >} (копирование с изменением некоторых методов) я забыл.
[22:45:24] <ermine> лучше уж бежать куданить - в хаскиль или схему
[22:46:58] <komar> gds: о да, мануал — атомная вещь.
[22:55:20] serp256 вошёл(а) в комнату
[22:57:33] <gds> RUN ERMINE RUN!11111
[23:04:40] komar вышел(а) из комнаты
[23:06:24] <zert> давайте все в х-ь набежим
[23:10:22] serp256 вышел(а) из комнаты
[23:41:23] Sergey Plaksin вошёл(а) в комнату