Objective Caml - Воскресенье, 14 февраля 2010

Objective Caml

ocaml@conference.jabber.ru

Воскресенье, 14 февраля 2010< ^ >

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

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

GMT+3
[01:00:43] Typhon вышел(а) из комнаты
[01:02:58] ygrek вышел(а) из комнаты
[01:04:08] Typhon вошёл(а) в комнату
[01:29:19] ermine вышел(а) из комнаты
[01:51:35] Typhon вышел(а) из комнаты
[09:30:12] Kakadu вошёл(а) в комнату
[10:43:01] ygrek вошёл(а) в комнату
[10:43:14] ygrek вышел(а) из комнаты
[10:43:49] ygrek вошёл(а) в комнату
[10:58:00] gds вышел(а) из комнаты: Replaced by new connection
[10:58:01] gds вошёл(а) в комнату
[11:10:28] ermine вошёл(а) в комнату
[12:07:53] Kakadu вышел(а) из комнаты
[12:09:42] Kakadu вошёл(а) в комнату
[12:25:17] gds вышел(а) из комнаты: Replaced by new connection
[12:25:18] gds вошёл(а) в комнату
[13:21:59] sceptic вышел(а) из комнаты
[13:26:11] Kakadu вышел(а) из комнаты
[13:42:07] sceptic вошёл(а) в комнату
[17:55:06] Kakadu вошёл(а) в комнату
[18:27:22] Kakadu вышел(а) из комнаты
[18:43:06] ygrek доказал что плюс коммутативен :)
[18:44:28] <gds> coq/agda?
[18:45:30] <ygrek> coq
[18:46:17] <ygrek> понравился редактор в coqide
[18:46:22] <gds> ааа, ещё один туда же.  конфа потеряна.
[18:47:50] <gds> редактор ок.  но я его не ок, ибо только "следующее/предыдущее утверждение" использую, ну и "дойти до текущего места".
[18:50:01] <ygrek> ну точнее не редактор, а именно эта удобная интерактивность - по шагам.
[18:51:06] <ygrek> конкретно функции редактора хромают - complete неудобный. отступы сам не расставляет
[18:52:42] <gds> и кто-то после такого подтверждения мощи будет плеваться на отладчики?
а так -- да, пошаговость рулит, ибо там обычно такие вещи доказывают, что даже шаг -- уже много.  Особенно когда refine и прочее представление CoC как обычной лямбды.
[19:38:36] Typhon вошёл(а) в комнату
[20:26:04] digital_curse вошёл(а) в комнату
[20:33:41] Typhon вошёл(а) в комнату
[20:38:13] sceptic вошёл(а) в комнату
[21:11:27] gds вошёл(а) в комнату
[21:15:19] gds вышел(а) из комнаты: Replaced by new connection
[21:15:20] gds вошёл(а) в комнату
[21:18:03] gds вышел(а) из комнаты: Replaced by new connection
[21:18:04] gds вошёл(а) в комнату
[21:25:04] ygrek вошёл(а) в комнату
[22:56:17] iNode вошёл(а) в комнату
[23:37:12] gds вышел(а) из комнаты: Replaced by new connection
[23:37:13] gds вошёл(а) в комнату
[23:38:46] olegfink вошёл(а) в комнату