Objective Caml - Пятница, 1 июня 2012

Objective Caml

ocaml@conference.jabber.ru

Пятница, 1 июня 2012< ^ >

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

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

GMT+4
[00:07:41] komar вышел(а) из комнаты: Replaced by new connection
[00:07:41] komar вошёл(а) в комнату
[00:18:19] Typhon вошёл(а) в комнату
[00:26:21] ermine вышел(а) из комнаты
[00:27:55] komar вышел(а) из комнаты: Replaced by new connection
[00:27:55] komar вошёл(а) в комнату
[00:38:12] ftrvxmtrx вышел(а) из комнаты
[00:41:53] Typhon вышел(а) из комнаты
[00:42:16] ftrvxmtrx вошёл(а) в комнату
[00:46:08] Vinzent вышел(а) из комнаты
[00:49:30] komar вышел(а) из комнаты
[00:54:40] Kakadu вышел(а) из комнаты
[01:02:07] f[x] вышел(а) из комнаты
[01:03:58] f[x] вошёл(а) в комнату
[01:05:47] komar вошёл(а) в комнату
[01:27:19] tilarids вышел(а) из комнаты: Computer went to sleep
[01:51:47] f[x] вышел(а) из комнаты
[01:57:58] Sun][ вышел(а) из комнаты
[02:01:02] ftrvxmtrx вышел(а) из комнаты
[02:15:16] bobry вышел(а) из комнаты
[02:18:51] ftrvxmtrx вошёл(а) в комнату
[02:56:58] komar вышел(а) из комнаты
[02:57:21] komar вошёл(а) в комнату
[03:23:19] ftrvxmtrx вышел(а) из комнаты
[03:36:24] ftrvxmtrx вошёл(а) в комнату
[03:39:32] ftrvxmtrx вышел(а) из комнаты
[03:43:21] letrec вошёл(а) в комнату
[04:40:52] letrec вышел(а) из комнаты
[05:43:16] komar вышел(а) из комнаты
[05:43:55] komar вошёл(а) в комнату
[09:23:24] tilarids вошёл(а) в комнату
[10:03:07] Kakadu вошёл(а) в комнату
[10:57:45] ermine вошёл(а) в комнату
[11:04:59] klapaucius вышел(а) из комнаты: I'm happy Miranda IM user. Get it at http://miranda-im.org/.
[11:08:56] klapaucius вошёл(а) в комнату
[11:36:12] ftrvxmtrx вошёл(а) в комнату
[12:23:20] akovbovich вошёл(а) в комнату
[12:36:28] komar вышел(а) из комнаты
[12:39:09] komar вошёл(а) в комнату
[12:47:17] tilarids вышел(а) из комнаты: Computer went to sleep
[12:53:12] Vinzent вошёл(а) в комнату
[13:12:22] dzhon вошёл(а) в комнату
[13:12:32] tilarids вошёл(а) в комнату
[13:22:31] dzhon вышел(а) из комнаты: Replaced by new connection
[13:22:35] dzhon вошёл(а) в комнату
[14:07:29] Vinzent вышел(а) из комнаты
[14:08:08] Vinzent вошёл(а) в комнату
[14:08:50] Vinzent вышел(а) из комнаты
[14:09:03] Vinzent вошёл(а) в комнату
[14:11:38] Vinzent вышел(а) из комнаты
[14:23:10] Sun][ вошёл(а) в комнату
[14:23:16] Sun][ вышел(а) из комнаты
[14:23:59] Sun][ вошёл(а) в комнату
[14:27:09] <gds> противно камло..у использовать х-ь.  ещё противнее -- реализовывать его в coq.  вот, говнолеплю state monad transformer.  а шо делать...
[14:29:05] Vinzent вошёл(а) в комнату
[14:35:12] Sun][ вышел(а) из комнаты
[14:38:06] Sun][ вошёл(а) в комнату
[14:45:36] Typhon вошёл(а) в комнату
[14:53:35] akovbovich вышел(а) из комнаты
[14:57:34] dzhon вышел(а) из комнаты: Replaced by new connection
[14:57:35] dzhon вошёл(а) в комнату
[15:01:47] Typhon вышел(а) из комнаты
[15:02:19] Typhon вошёл(а) в комнату
[15:18:09] <f[x]> окстись, окаянный!
[15:36:49] <gds> f[x]: да, блин, забыл вымыть руки перед чатом.  постараюсь не забывать.
с другой стороны, а как ещё это реализовать, чтобы в излишне-чисто-функциональном работать и с состоянием, и с ошибками.
[15:45:46] Typhon вышел(а) из комнаты
[15:46:55] Typhon вошёл(а) в комнату
[16:18:46] Typhon вышел(а) из комнаты
[16:20:01] Typhon вошёл(а) в комнату
[16:29:45] Typhon вышел(а) из комнаты
[16:31:08] Typhon вошёл(а) в комнату
[16:32:20] dzhon вышел(а) из комнаты: Replaced by new connection
[16:32:20] dzhon вошёл(а) в комнату
[16:51:47] Typhon вышел(а) из комнаты
[16:52:21] Typhon вошёл(а) в комнату
[17:24:31] akovbovich вошёл(а) в комнату
[17:24:53] Typhon вышел(а) из комнаты
[17:25:57] Typhon вошёл(а) в комнату
[17:52:12] dzhon вышел(а) из комнаты
[18:08:46] Typhon вышел(а) из комнаты
[18:09:33] Typhon вошёл(а) в комнату
[18:11:19] komar вышел(а) из комнаты
[18:11:36] komar вошёл(а) в комнату
[18:19:46] Typhon вышел(а) из комнаты
[18:20:40] Typhon вошёл(а) в комнату
[18:30:46] Typhon вышел(а) из комнаты
[18:31:46] Typhon вошёл(а) в комнату
[19:10:16] gds вышел(а) из комнаты: Replaced by new connection
[19:10:17] gds вошёл(а) в комнату
[19:12:38] Sun][ вышел(а) из комнаты
[19:20:53] ftrvxmtrx вышел(а) из комнаты
[19:25:50] Typhon вышел(а) из комнаты
[19:26:53] Typhon вошёл(а) в комнату
[19:29:42] gds вышел(а) из комнаты
[19:30:07] gds вошёл(а) в комнату
[19:34:33] letrec вошёл(а) в комнату
[19:34:44] letrec вышел(а) из комнаты
[19:35:00] letrec вошёл(а) в комнату
[19:56:08] Typhon вышел(а) из комнаты
[20:09:49] tilarids вышел(а) из комнаты: Computer went to sleep
[20:12:44] <ermine> а гит на ocamlcore по-прежнему так и недоступен
[20:19:24] bobry вошёл(а) в комнату
[20:20:12] <ermine> bobry: забили на барбар?
[20:21:14] <bobry> ermine: защита в понедельник :)
[20:23:36] <ermine> bobry: а потом - всё?
[20:23:51] <bobry> а потом экзамены еще три недели :(
[20:24:19] <ermine> да, учеба - занятие геморройное
[20:24:34] <bobry> но полезное
[20:25:11] <ermine> а ты из изученного что-то применяешь?
[20:25:26] <bobry> очень надеюсь что буду на summer internship
[20:33:20] akovbovich вышел(а) из комнаты
[21:20:15] komar вышел(а) из комнаты: Replaced by new connection
[21:20:16] komar вошёл(а) в комнату
[21:36:40] letrec вышел(а) из комнаты
[22:34:23] <ermine> полечилось вписыванием git.ocamlcore.org в /etc/hosts
[22:34:28] <ermine> чота гит не любит CNAME
[22:35:13] <gds> гит не любит вас, гит отвернулся от вас.
[22:38:17] <ermine> gds: как у тебя coq поживает?
[22:46:40] Typhon вошёл(а) в комнату
[22:51:54] komar вышел(а) из комнаты: Replaced by new connection
[22:51:55] komar вошёл(а) в комнату
[22:56:02] <gds> ermine: растёт и колосится, только не туда.
[22:57:02] <ermine> gds: а что не так?
[22:57:26] <gds> всё так, только всё как-то недобро.  /me away, через пару часов буду
[22:58:17] <ermine> без шансов
[23:07:45] Typhon вышел(а) из комнаты: Replaced by new connection
[23:08:09] Typhon вошёл(а) в комнату
[23:44:06] Typhon вышел(а) из комнаты
[23:51:24] ermine вышел(а) из комнаты