Objective Caml - Суббота, 18 сентября 2010

Objective Caml

ocaml@conference.jabber.ru

Суббота, 18 сентября 2010< ^ >

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

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

GMT+4
[00:07:45] ermine вышел(а) из комнаты
[00:18:52] komar вошёл(а) в комнату
[01:07:13] arhibot вышел(а) из комнаты
[01:12:11] Kakadu вышел(а) из комнаты
[05:40:10] Typhon вышел(а) из комнаты
[10:20:26] arhibot вошёл(а) в комнату
[11:03:03] Kakadu вошёл(а) в комнату
[11:43:27] arhibot вышел(а) из комнаты
[11:43:33] arhibot вошёл(а) в комнату
[11:46:12] ermine вошёл(а) в комнату
[11:58:48] iNode вышел(а) из комнаты
[12:14:06] arhibot вышел(а) из комнаты
[12:14:44] arhibot вошёл(а) в комнату
[12:48:09] Mon вышел(а) из комнаты
[12:56:45] arhibot вышел(а) из комнаты
[13:13:00] iNode вошёл(а) в комнату
[14:08:24] Typhon вошёл(а) в комнату
[14:20:21] <Kakadu> Я поговорил с двумя мужиками из универа. Вы правы, байндинги к qt никому не нужны.
[14:30:16] <Typhon> в смысле в универе говорят, что не нужны? народу то, вроде, нужно. а что сказали на это?
[14:31:20] <Typhon> btw, насколько я знаю, ты генеришь код для байндингов? можно попробовать для диплома это протащить как кодогенератор и на примере qt это сделать.
[14:31:34] <Kakadu> Д.Булычев: " Байндинг к Qt (с моей точки зрения) это не очень перспективно с точки зрения диплома (и не очень интересно с точки зрения OCaml, хотя, возможно, и полезно)."
[14:39:48] <Typhon> Kakadu, а со своей стороны что-нибудь советовали?
[14:49:46] <Kakadu> Д.Булычев пока нет. Он меня отправил к своему дипломнику, который будет заниматься "реализацией подхода scrap your boilerplate с помощью first-class modules, которые появились в последней версии окамля."
[14:52:32] <Kakadu> Другой, М.Симуни предлагал заниматься "- program sketching. Есть такая идея - присть программы не полностью, оставляя пустые места. И как-то задавать спецификации программы. Система sketchinga должне запонить эти пустые места испольую спецификации. См. http://sketch.cs.berkeley.edu/wiki/index.php/Main_Page Это конечно сложная тема и вполне может быть и дипломом. Но если будет интерес можно в ней выделить простой кусок для курсовой."
[14:55:11] komar вышел(а) из комнаты
[16:08:11] komar вошёл(а) в комнату
[17:36:53] Typhon вышел(а) из комнаты: Replaced by new connection
[17:36:56] Typhon вошёл(а) в комнату
[17:39:43] Typhon вышел(а) из комнаты: Replaced by new connection
[17:39:46] Typhon вошёл(а) в комнату
[17:43:14] Typhon вышел(а) из комнаты
[17:43:28] Typhon вошёл(а) в комнату
[17:46:59] Typhon вышел(а) из комнаты: Replaced by new connection
[17:47:02] Typhon вошёл(а) в комнату
[17:49:55] Typhon вышел(а) из комнаты: Replaced by new connection
[17:49:58] Typhon вошёл(а) в комнату
[17:50:11] Typhon вышел(а) из комнаты
[17:50:25] Typhon вошёл(а) в комнату
[17:50:27] Typhon вышел(а) из комнаты
[17:50:45] Typhon вошёл(а) в комнату
[18:54:31] Typhon вышел(а) из комнаты: Replaced by new connection
[18:54:34] Typhon вошёл(а) в комнату
[18:58:02] Typhon вышел(а) из комнаты: Replaced by new connection
[18:58:05] Typhon вошёл(а) в комнату
[19:01:10] Typhon вышел(а) из комнаты: Replaced by new connection
[19:01:13] Typhon вошёл(а) в комнату
[19:04:04] Typhon вышел(а) из комнаты: Replaced by new connection
[19:04:07] Typhon вошёл(а) в комнату
[19:04:18] Typhon вышел(а) из комнаты
[19:04:38] Typhon вошёл(а) в комнату
[19:26:43] Typhon вышел(а) из комнаты
[20:44:24] komar вышел(а) из комнаты
[21:28:31] Kakadu вышел(а) из комнаты
[21:48:01] arhibot вошёл(а) в комнату
[22:06:31] komar вошёл(а) в комнату
[22:30:20] komar вышел(а) из комнаты: Replaced by new connection
[22:30:21] komar вошёл(а) в комнату
[22:38:02] Kakadu вошёл(а) в комнату
[23:14:27] Kakadu вышел(а) из комнаты: Replaced by new connection
[23:14:31] Kakadu вошёл(а) в комнату
[23:55:06] Kakadu вышел(а) из комнаты
[23:55:13] ermine вышел(а) из комнаты