Objective Caml - Вторник, 15 июня 2010

Objective Caml

ocaml@conference.jabber.ru

Вторник, 15 июня 2010< ^ >

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

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

GMT+4
[00:34:25] Typhon вошёл(а) в комнату
[01:01:56] ermine вышел(а) из комнаты
[01:49:20] digital_curse вышел(а) из комнаты
[03:44:47] Typhon вышел(а) из комнаты
[08:17:35] iNode вошёл(а) в комнату
[08:26:30] gds вышел(а) из комнаты
[08:52:53] iNode вышел(а) из комнаты
[08:57:49] gds вошёл(а) в комнату
[09:19:08] <gds> подскажите, где можно скачать компонент наподобие DBGrid для окамла, чтобы была табличка как в экселе, чтобы из базы брала данные по запросу, давала редактировать, чтобы чекбоксы и разноцветное всё было?
[10:26:07] serp256 вошёл(а) в комнату
[10:38:53] ʇsʎɯ вошёл(а) в комнату
[10:45:35] <ʇsʎɯ> http://lambda-the-ultimate.org/node/3916
[10:45:39] <ʇsʎɯ> вот это я понимаю!
[10:45:47] <ʇsʎɯ> Coq во все поля!
[10:46:27] serp256 вышел(а) из комнаты
[10:48:23] serp256 вошёл(а) в комнату
[10:52:14] <gds> там не Coq, а Isabelle/HOL.
[10:52:21] <gds> однако позитивненько.
[10:54:03] <ʇsʎɯ> да я знаю, что там не Coq
[10:54:15] <gds> отписал р.джонсу про ocamldbi, спросил "КАГДИЛА???". Типа, "хочу стандартный интерфейс к рсубд, но не могу брать ocamldbi без доработок, чо делать?". Вот и посмотрим.
[10:54:23] <ʇsʎɯ> но нам к лицу только Coq
[10:55:10] <gds> а как правильно -- Coq или Diq?
[10:55:59] <ʇsʎɯ> Diq - англицизм )
[10:56:15] <ʇsʎɯ> не франкофонно
[10:56:33] ermine вошёл(а) в комнату
[11:06:17] f[x] вышел(а) из комнаты
[11:20:40] iNode вошёл(а) в комнату
[11:42:12] f[x] вошёл(а) в комнату
[11:45:58] Typhon вошёл(а) в комнату
[13:49:15] Kakadu вошёл(а) в комнату
[17:20:08] iNode вышел(а) из комнаты
[17:31:45] gds вышел(а) из комнаты
[17:36:13] Kakadu вышел(а) из комнаты
[18:18:03] gds вошёл(а) в комнату
[18:47:05] f[x] занимается сборкой на macos по переписке
[18:51:02] iNode вошёл(а) в комнату
[19:06:23] serp256 вышел(а) из комнаты
[19:25:33] vshender вошёл(а) в комнату
[19:33:59] Typhon вышел(а) из комнаты
[20:02:42] ʇsʎɯ вышел(а) из комнаты
[20:04:00] gds вышел(а) из комнаты
[20:10:17] gds вошёл(а) в комнату
[20:27:14] Kakadu вошёл(а) в комнату
[20:45:07] Typhon вошёл(а) в комнату
[21:48:56] vshender вышел(а) из комнаты
[22:02:45] ygrek вошёл(а) в комнату
[23:01:16] vshender вошёл(а) в комнату
[23:14:53] f[x] вышел(а) из комнаты
[23:39:44] vshender вышел(а) из комнаты
[23:40:43] vshender вошёл(а) в комнату
[23:42:25] f[x] вошёл(а) в комнату
[23:50:13] ermine вышел(а) из комнаты