Objective Caml - Понедельник, 5 октября 2009

Objective Caml

ocaml@conference.jabber.ru

Понедельник, 5 октября 2009< ^ >

f[x] установил(а) тему: Камль -- http://caml.inria.fr | Логи -- http://chatlogs.jabber.ru/ocaml@conference.jabber.ru/ | Верблюды грязи не боятся! | release crap

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

GMT+4
[06:08:47] john вышел(а) из комнаты
[06:40:35] john вошёл(а) в комнату
[08:29:10] gds вышел(а) из комнаты
[09:00:48] gds вошёл(а) в комнату
[09:03:17] <gds> ermine: навряд ли ещё актуально, но http://caml.inria.fr/pub/docs/manual-camlp4/manual007.html
тот туториал, который я писал, особо не нужен.
и сейчас в revised инфиксные операторы и последовательность действий обозначаются так же, как в оригинальном, а не \+ и do { .. }.
[09:12:23] <ermine> gds: там ж устарело, вроде больше неактуально писать type 'a = 'b для абстрактных типов
[09:13:20] <ermine> на вики галиума есть про ревизед, вот там читаю щас
[09:14:17] <gds> ну да, и абстрактные типы тоже йок.
[09:14:23] <ermine> непонятно, чем ревизед лучше оригинала в некоторых местах :) особенно в том же type t 'a
[09:14:42] <gds> type ('k, 'v) Hashtbl.t -- это ужасно.
[09:15:14] <ermine> ну тут сомнений хоть нет в "биндинге к небиндиченной переменной"
[09:15:50] <ermine> про небиндиченную переменную вообще непонятно
[09:16:20] <gds> чото нипанятна.
[09:16:47] <ermine> type t 'a = 'a - ну нафига такое?
[09:17:04] <ermine> и что оно вообще означает?
[09:17:45] <gds> конкретно это означает, что для любого типа 'a есть тип t 'a, равный 'a. такое в оригинальном тоже делается.
[09:18:59] <ermine> ты еще скажи, что это то же самое, что и type t 'a = 'b
[09:19:18] <gds> конечно нет.
[09:19:29] <ermine> насколько я поняла из описания, это разные вещи, хотя может нифига не поняла
[09:20:16] <gds> вещи разные. type t 'a = 'b -- было раньше, теперь забудь: type t 'a; и всё.
[09:22:40] <ermine> это тоже недостаток ревизеда: его колбасит, в отличие от синтаксиса оригинала
[09:22:42] <ermine> :)
[09:24:07] <gds> это не "колбасит", это свобода изменений.
[09:24:27] ermine с удивлением обнаружила, что на caml.ru - небольшая свалка ссылок, и только
[09:25:13] <ermine> а домен ocaml.org.ru и вовсе свободен
[09:29:57] <gds> ermine: зомышляешь?
[09:31:49] <ermine> gds: боюсь, что времени на все удовольствия не хватит
[09:32:32] <ermine> я не просто так тут сказала, что домен свободен
[09:32:56] <ermine> мож ктонить окажется с более горящим взглядом
[09:33:06] Typhon вошёл(а) в комнату
[09:43:22] ygrek вошёл(а) в комнату
[09:43:37] ygrek вышел(а) из комнаты
[10:18:44] f[x] вошёл(а) в комнату
[10:26:01] f[x] с горящим взглядом склеил вместе ocamlnet+simple_markup+xhtml -- с претензией на обобщённость, но получился даже не crap, а унылое г..
[10:26:40] <f[x]> с другой стороны в ocsigen уже есть бОльшая часть того что нужно
[10:29:17] <ermine> wtf simple_markup?
[10:30:47] <gds> а почему уныло вышло?
если есть возможность подсовывать шаблоны и выдавать html, то уже нормально.
[10:32:08] <ermine> gds: надо полагать, что там нет сессий, кук и прочей распарски хттпа, только голый протокол :)
[10:32:48] <ermine> это действительно уныло по сравнению с ocsigen выгядит, хотя все зависит от степени яркости горящего взгляда
[10:41:50] <f[x]> и шаблонов тоже нет
[10:43:24] <ermine> та шаблонов и в ocsigen тоже нет
[10:43:45] <f[x]> неважно, это левой ногой делается
[10:43:53] <f[x]> главное - концепция
[10:45:36] <ermine> концепция имхо - вики простое, туда можно насовать всё что вздумается - копилка ссилок и разжевание контента на русском
[10:46:11] <ermine> подозреваю что при заполнении контента на русском можно самим понять гораздо больше, чем просто читая по-английски
[10:46:17] <gds> кажется, вы о концепциях разных вещей :)
[10:46:40] <ermine> я бы вот чуток понабросала по ocsigen, camlp4, revised, tuareg
[10:49:26] animist вошёл(а) в комнату
[10:49:33] <ermine> как вики галиума, только там непонятно что происходит - обновление только приступами и давно
[10:53:09] <f[x]> это да, но я имел ввиду концепцию "фреймворка"
[11:22:55] <gds> в качестве временного решения можно поставить какое-нибудь готовое вики, написанное на другом, не настолько крутом языке. или же cocanwiki. потом при желании всегда можно будет перетащить данные.
[11:49:04] sceptic вышел(а) из комнаты
[11:55:34] sceptic вошёл(а) в комнату
[12:06:19] aloner2k вошёл(а) в комнату
[12:20:53] f[x] вышел(а) из комнаты
[12:31:52] aloner2k вышел(а) из комнаты
[12:54:34] f[x] вошёл(а) в комнату
[13:13:35] john вышел(а) из комнаты
[13:22:53] <f[x]> let _ = let ch = open_in "1.txt" in close_in ch; input_char ch
[13:23:06] <f[x]> ocaml/msvc валится
[13:23:15] <f[x]> _read из fd=-1
[13:23:51] <gds> как именно валится?
[13:24:34] <f[x]> в дебуггер
[13:25:10] <f[x]> по invalid parameter handler
[13:33:14] <f[x]> откровенно говоря я в шоке
[13:33:24] <gds> (оффтопик. касаемо человека, держащего камл.ру -- см. его камент: http://smerd-andreyka.livejournal.com/270165.html?thread=1759317#t1759317 )
[13:33:33] f[x] уполз жаловаться в мантис
[13:33:45] <f[x]> у кого-нибудь репродьюсится btw?
[13:33:59] <gds> в топлевеле пробовать будет нормально?
[13:35:11] <gds> моя сборка с хаком дескрипторов:
# let _ = let ch = open_in "1.txt" in close_in ch; input_char ch;;
Exception: Sys_error "Bad file descriptor".
[13:35:20] <gds> без хака проверить сильно сложнее.
[13:37:30] <gds> а хотя отбой: хак не связан с этим, я курочил только Unix.
[13:37:53] <f[x]> mingw?
[13:38:08] <gds> да.
[13:38:26] <f[x]> там рантайм другой
[13:38:30] <f[x]> в топлевеле тоже падает
[14:03:43] <f[x]> похоже ms ввели эти поведение в vs80, по крайней мере судя по msdn
[14:04:26] <gds> по идее, должно падать с EBADF или аналогом.
[14:10:19] <f[x]> PR#4887
[14:10:37] <f[x]> раньше давало EBADF
[14:12:11] <gds> ровно, чотко.
[14:31:21] Typhon вышел(а) из комнаты
[14:39:45] ermine вышел(а) из комнаты
[14:43:26] ermine вошёл(а) в комнату
[14:47:52] aloner2k вошёл(а) в комнату
[15:22:30] sceptic вышел(а) из комнаты
[15:23:52] Mon вышел(а) из комнаты
[15:24:42] Mon вошёл(а) в комнату
[15:24:51] Mon вышел(а) из комнаты
[15:25:07] Mon вошёл(а) в комнату
[15:26:14] sceptic вошёл(а) в комнату
[15:27:02] sceptic вышел(а) из комнаты: Replaced by new connection
[15:27:06] sceptic вошёл(а) в комнату
[15:30:45] gds вышел(а) из комнаты
[15:31:03] gds вошёл(а) в комнату
[15:45:39] sceptic вышел(а) из комнаты
[15:47:21] Mon вышел(а) из комнаты: Replaced by new connection
[15:47:33] Mon вошёл(а) в комнату
[15:49:54] sceptic вошёл(а) в комнату
[16:04:06] Mon вышел(а) из комнаты
[16:11:25] Mon вошёл(а) в комнату
[16:21:39] sevenov вышел(а) из комнаты: Replaced by new connection
[16:21:41] sevenov вошёл(а) в комнату
[16:22:42] sevenov вышел(а) из комнаты: Replaced by new connection
[16:22:43] sevenov вошёл(а) в комнату
[16:25:27] aloner2k вышел(а) из комнаты
[17:11:47] Kakadu вошёл(а) в комнату
[17:30:14] gds вышел(а) из комнаты
[18:14:20] gds вошёл(а) в комнату
[18:32:48] john вошёл(а) в комнату
[19:20:45] john вышел(а) из комнаты
[19:30:39] Typhon вошёл(а) в комнату
[19:34:01] f[x] вышел(а) из комнаты
[20:40:39] Kakadu вышел(а) из комнаты
[20:41:05] sceptic вышел(а) из комнаты
[20:49:54] animist вышел(а) из комнаты: Replaced by new connection
[20:59:22] Typhon вышел(а) из комнаты
[21:23:08] Typhon вошёл(а) в комнату
[21:29:08] sceptic вошёл(а) в комнату
[21:30:00] sceptic вышел(а) из комнаты
[21:30:04] sceptic вошёл(а) в комнату
[21:37:00] Mon вышел(а) из комнаты
[21:37:17] Mon вошёл(а) в комнату
[22:12:52] sevenov вышел(а) из комнаты: Replaced by new connection
[22:12:53] sevenov вошёл(а) в комнату
[22:31:02] Typhon вышел(а) из комнаты: Replaced by new connection