Objective Caml - Суббота, 10 сентября 2011

Objective Caml

ocaml@conference.jabber.ru

Суббота, 10 сентября 2011< ^ >

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

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

GMT+4
[00:01:54] ermine вышел(а) из комнаты
[00:43:18] Typhon вошёл(а) в комнату
[01:26:41] Kakadu вышел(а) из комнаты
[01:52:59] ygrek вышел(а) из комнаты
[01:53:55] gds вышел(а) из комнаты
[02:11:21] Typhon вышел(а) из комнаты
[04:17:35] letrec вошёл(а) в комнату
[04:17:40] letrec вышел(а) из комнаты
[04:17:56] letrec вошёл(а) в комнату
[04:53:56] letrec вышел(а) из комнаты
[07:01:27] zert вышел(а) из комнаты
[09:50:20] letrec вошёл(а) в комнату
[10:01:18] iNode вошёл(а) в комнату
[10:02:02] gds вошёл(а) в комнату
[10:06:23] Kakadu вошёл(а) в комнату
[10:24:04] <gds> http://paste.in.ua/3015/ -- бага?
[10:36:05] Typhon вошёл(а) в комнату
[10:47:17] <letrec> # class a = object method mod = () end;;
Error: Parse error: "virtual" or [opt_private] expected after [method_opt_override] (in [class_str_item])
[10:47:58] <Kakadu> gds: mod - ключевое слово вроде
[10:48:03] <Kakadu> остаток от деления
[10:48:27] <Kakadu> по крайней мере аргумент функции так обозвать нельзя
[10:48:44] <letrec> похоже именно в этом дело
[10:49:14] <letrec> но сообщение об ошибко могло бы быть и менне бредовым
[10:49:55] ygrek вошёл(а) в комнату
[10:50:10] <gds> ага, почитал доку, "The identifiers below are reserved as keywords, and cannot be employed otherwise".  Ну, всё понятно.
[10:51:15] <letrec> # let mod = ();;
Error: Parse error: "module" or "open" or [opt_rec] expected after "let" (in [str_item])
[11:15:29] <gds> опять map.  в качестве самого крайнего случая думал -- ну, хоть map=fold+cons помогут.  ан нет, http://paste.in.ua/3016/ (понятно, что, там должен быть fold_right, но пока непринципиально).
[11:32:05] Typhon вышел(а) из комнаты
[11:32:36] Typhon вошёл(а) в комнату
[11:36:30] ermine вошёл(а) в комнату
[12:43:49] <gds> в общем, говно.  на этом мне стоит закончить.
[12:45:04] <ygrek> что, всё, х-ь?
[12:46:21] komar гоняется за ygrek с топором.
[12:47:56] <gds> для некоторых задач -- придётся пересиливать себя и агда.
[13:02:53] ygrek пощупал gadt'ы -> http://stackoverflow.com/questions/7369615/defining-a-type-for-lambda-expressions-in-ocaml/7370526#7370526
[13:03:05] <ygrek> таки валидное использование получается?
[13:19:11] letrec вышел(а) из комнаты
[13:26:24] Typhon вышел(а) из комнаты
[13:27:11] Typhon вошёл(а) в комнату
[14:07:38] Typhon вышел(а) из комнаты: Replaced by new connection
[14:07:41] Typhon вошёл(а) в комнату
[14:20:41] Typhon вышел(а) из комнаты: Replaced by new connection
[14:20:44] Typhon вошёл(а) в комнату
[15:05:48] <gds> вопрос.  Есть точка в программе -- допустим, имя файла * строка * столбец.  Как узнать, какие модули "видны" из этой точки?
[15:06:10] <gds> желательно внешними средствами, если возможно -- annot-файлы, например (но через них вроде не?).
[15:21:14] <ygrek> автокомплит хочешь?
[15:21:23] <ygrek> надо посмотреть как всякие ide делают
[15:23:55] <gds> автоподстановку имени модуля хочу.  конечно, только если вариант ровно один.  то есть, для n модулей и m мест подстановки будет порядка m^n компиляций.  то есть, посчитав это, я, наверное, уже не хочу.  хотя хз.
[15:54:01] ftrvxmtrx вышел(а) из комнаты
[16:06:51] Typhon вышел(а) из комнаты
[18:18:34] Typhon вошёл(а) в комнату
[18:33:47] letrec вошёл(а) в комнату
[18:33:55] letrec вышел(а) из комнаты
[18:34:10] letrec вошёл(а) в комнату
[18:41:09] <Kakadu> http://paste.org.ru/?qlcleu
[18:41:18] <Kakadu> как лучше всего такое переписывать на камло?
[18:41:27] <letrec> ygrek: а что, GADT'ы таки добавят в язык?
[18:41:44] <letrec> или это экспериментальная ветка?
[18:55:39] <ygrek> в 3.13
[18:59:19] <ygrek> Kakadu: и в чём проблема? let flags = type || (match f.access with .. -> ..)
[19:00:19] <Kakadu> ygrek: угу
[19:00:25] <Kakadu> хорошо что не начал писать в лоб
[19:00:27] <Kakadu> спасибо
[19:14:26] ftrvxmtrx вошёл(а) в комнату
[19:53:20] bobry вышел(а) из комнаты
[19:55:02] bobry вошёл(а) в комнату
[20:04:45] letrec вышел(а) из комнаты
[20:07:50] Typhon вышел(а) из комнаты: Replaced by new connection
[20:07:53] Typhon вошёл(а) в комнату
[20:37:55] Typhon вышел(а) из комнаты
[20:57:17] komar вышел(а) из комнаты: Replaced by new connection
[20:57:17] komar вошёл(а) в комнату
[21:05:50] komar вышел(а) из комнаты: Replaced by new connection
[21:05:54] komar вошёл(а) в комнату
[21:27:34] komar вышел(а) из комнаты: Replaced by new connection
[21:27:37] komar вошёл(а) в комнату
[21:42:17] <Kakadu> эх, что-то руки не хотят пилить эти байндинги. ТТ
[21:44:09] ftrvxmtrx вышел(а) из комнаты
[21:51:34] komar вышел(а) из комнаты: Replaced by new connection
[21:51:35] komar вошёл(а) в комнату
[22:03:02] komar вышел(а) из комнаты: Replaced by new connection
[22:03:03] komar вошёл(а) в комнату
[22:09:00] komar вышел(а) из комнаты: Replaced by new connection
[22:09:16] komar вошёл(а) в комнату
[22:17:28] komar вышел(а) из комнаты: Replaced by new connection
[22:17:30] komar вошёл(а) в комнату
[22:21:17] komar вышел(а) из комнаты: Replaced by new connection
[22:21:19] komar вошёл(а) в комнату
[22:22:47] komar вышел(а) из комнаты: Replaced by new connection
[22:22:49] komar вошёл(а) в комнату
[22:24:24] ermine вышел(а) из комнаты
[22:38:33] komar вышел(а) из комнаты: Replaced by new connection
[22:38:34] komar вошёл(а) в комнату
[22:51:49] komar вышел(а) из комнаты: Replaced by new connection
[22:51:56] komar вошёл(а) в комнату
[23:15:25] komar вышел(а) из комнаты
[23:17:06] ftrvxmtrx вошёл(а) в комнату