Objective Caml - Суббота, 14 апреля 2012

Objective Caml

ocaml@conference.jabber.ru

Суббота, 14 апреля 2012< ^ >

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

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

GMT+4
[00:01:25] Typhon вошёл(а) в комнату
[00:49:45] <Typhon> bobry: это где, если не секрет, такое спрашивают? ну или на какую позицию
[00:50:08] bobry вышел(а) из комнаты
[01:47:33] Kakadu вышел(а) из комнаты
[02:18:01] Sun][ вышел(а) из комнаты
[04:12:44] tilarids вышел(а) из комнаты
[05:21:25] letrec вошёл(а) в комнату
[05:25:20] <Typhon> gds: а ты можешь что-нибудь рассказать про conduits? http://www.yesodweb.com/blog/2012/01/conduit-versus-enumerator
[05:25:41] <Typhon> встречаю периодически в местах типа "мы переехали с итератов на кондуиты" :)
[05:58:20] Typhon вышел(а) из комнаты
[10:11:08] Kakadu вошёл(а) в комнату
[10:11:28] komar вышел(а) из комнаты
[10:13:50] bobry вошёл(а) в комнату
[10:15:57] <bobry> Typhon, это я в магистратуру поступал
[10:17:53] <Kakadu> bobry: всё кончилось?
[10:18:14] <bobry> ага, правда не понятно как
[10:18:34] <bobry> я 100500 раз затупил на элементарных вопросах <_<
[10:18:43] <Kakadu> типа?
[10:19:09] <bobry> не смог сформулировать чем дерево от графа отличается
[10:19:41] <bobry> вопрос на идиота :)
[10:19:41] <Kakadu> про пути наверное надо говорить?
[10:19:47] <bobry> не, про ацикличность
[10:20:50] <bobry> вообще про графы меня как то очень обильно опросили
[10:20:58] <bobry> "как проверить планарность графа" напр.
[10:21:09] <bobry> тут я вообще не в курсе, мат. часть подвела
[10:21:30] <Kakadu> я ненавидел в своё время графы
[10:21:37] <Kakadu> даже больше чем теорвер
[10:21:39] <Kakadu> потом прошло
[10:21:48] <Kakadu> у них много практического применения
[10:23:57] <Kakadu> bobry: давай барбру попили)
[10:43:57] tilarids вошёл(а) в комнату
[10:44:33] tilarids вышел(а) из комнаты
[10:44:48] tilarids вошёл(а) в комнату
[11:02:22] ermine вошёл(а) в комнату
[11:07:33] komar вошёл(а) в комнату
[11:20:25] bobry вышел(а) из комнаты
[11:23:59] Typhon вошёл(а) в комнату
[11:50:54] <gds> Typhon: как-то давно читал, особой принципиальной разницы с итератами не увидел, ну и забил.
[12:33:18] tilarids вышел(а) из комнаты
[12:37:07] tilarids вошёл(а) в комнату
[12:49:15] bobry вошёл(а) в комнату
[13:07:47] shaggie вошёл(а) в комнату
[13:09:35] tilarids вышел(а) из комнаты
[13:11:52] Sun][ вошёл(а) в комнату
[13:13:51] shaggie вышел(а) из комнаты
[13:14:18] shaggie вошёл(а) в комнату
[13:14:49] shaggie вышел(а) из комнаты
[13:14:53] shaggie вошёл(а) в комнату
[13:39:21] tilarids вошёл(а) в комнату
[13:59:34] Typhon вышел(а) из комнаты
[14:30:26] ftrvxmtrx вошёл(а) в комнату
[14:35:19] bobry вышел(а) из комнаты
[15:23:30] shaggie вышел(а) из комнаты
[15:44:00] <gds> уже второй фичереквест собираюсь строчить в багтрекер coq.  И всё по той же причине -- "почему coq это не окамл?! -- ПОЧЕНИТЕ1111".
[15:53:05] tilarids вышел(а) из комнаты
[16:15:36] tilarids вошёл(а) в комнату
[16:16:05] bobry вошёл(а) в комнату
[16:16:05] Typhon вошёл(а) в комнату
[16:16:07] tilarids вышел(а) из комнаты
[16:16:21] tilarids вошёл(а) в комнату
[16:16:22] <bobry> gds: нука расскажи что ты за фичи хочешь?
[16:16:26] <bobry> или в coq@cjr?
[16:16:41] <gds> bobry: вроде f[x] тут разрешил пока что.
[16:17:06] <bobry> а ermine? должен же кворум быть
[16:17:09] <bobry> среди Больших :)
[16:17:30] <gds> 2 vs 1 -- ок.  тем более, она тут и сама тоже чуток обсуждала, стало быть, не против.
[16:21:37] <gds> 1. экстракцию нормальных строковых литералов, как "опасную" опцию (учитывая мутабельность камлострок, которая ставит под сомнения все доказательства).  Кроме того, у чувака с #coq есть патч, который это реализует (понятно, без собственно мутабельности).
2. хочу зафайлить: при попытке определить тип итератов поверх Ю-манатки сталкиваюсь с тем, что coq не может определить, является ли типовый параметр манатки "в положительной позиции", чтобы разрешить индуктивное определение типа итератов, включающее в себя "IO.m (iteratee ... * ...)".  Если вручную дать ему определение Ю-манатки (например, с носителем unit -> 'a), то прокатит.  А в качестве модуля-параметра для функтора -- не катит, не может он это вывести, и это никак не могу указать.  (а он это использует для доказательств кода, использующего данный тип.)  А алгоритм вывода "positive occurence" очень похож на вывод ковариантности типового параметра.  И вот, в окамле есть +'a, а в coq подобного нет.
[16:30:47] komar вышел(а) из комнаты: Replaced by new connection
[16:30:47] komar вошёл(а) в комнату
[16:36:06] tilarids вышел(а) из комнаты
[16:36:18] tilarids вошёл(а) в комнату
[17:04:07] bobry вышел(а) из комнаты
[17:05:54] tilarids вышел(а) из комнаты
[17:06:08] tilarids вошёл(а) в комнату
[17:12:06] Typhon вышел(а) из комнаты
[17:14:14] ftrvxmtrx вышел(а) из комнаты
[17:15:52] ftrvxmtrx вошёл(а) в комнату
[17:18:25] tilarids вышел(а) из комнаты
[17:18:42] tilarids вошёл(а) в комнату
[17:29:02] tilarids вышел(а) из комнаты
[17:29:15] tilarids вошёл(а) в комнату
[17:51:49] tilarids вышел(а) из комнаты
[17:59:21] tilarids вошёл(а) в комнату
[17:59:52] tilarids вышел(а) из комнаты
[18:00:05] tilarids вошёл(а) в комнату
[18:01:28] ftrvxmtrx вышел(а) из комнаты
[18:03:20] ftrvxmtrx вошёл(а) в комнату
[18:03:58] ftrvxmtrx вышел(а) из комнаты
[18:04:10] ftrvxmtrx вошёл(а) в комнату
[18:17:01] tilarids вышел(а) из комнаты
[18:33:15] tilarids вошёл(а) в комнату
[18:33:47] tilarids вышел(а) из комнаты
[18:34:01] tilarids вошёл(а) в комнату
[19:05:31] bobry вошёл(а) в комнату
[19:46:50] Typhon вошёл(а) в комнату
[19:48:49] tilarids вышел(а) из комнаты
[19:50:03] tilarids вошёл(а) в комнату
[20:09:18] Typhon вышел(а) из комнаты: Replaced by new connection
[20:09:37] Typhon вошёл(а) в комнату
[20:32:40] Typhon вышел(а) из комнаты
[21:32:34] letrec вышел(а) из комнаты
[21:50:19] Typhon вошёл(а) в комнату
[22:25:54] Typhon вышел(а) из комнаты
[22:40:47] tilarids вышел(а) из комнаты
[22:43:34] ftrvxmtrx вышел(а) из комнаты
[22:45:29] ftrvxmtrx вошёл(а) в комнату
[22:46:15] ftrvxmtrx вышел(а) из комнаты
[22:46:29] ftrvxmtrx вошёл(а) в комнату
[22:49:43] ermine вышел(а) из комнаты
[22:51:39] shaggie вошёл(а) в комнату
[22:55:01] Sun][ вышел(а) из комнаты
[23:16:23] tilarids вошёл(а) в комнату