Objective Caml - Понедельник, 30 апреля 2012

Objective Caml

ocaml@conference.jabber.ru

Понедельник, 30 апреля 2012< ^ >

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

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

GMT+4
[00:09:12] ftrvxmtrx вышел(а) из комнаты
[00:12:17] ftrvxmtrx вошёл(а) в комнату
[00:41:25] komar вышел(а) из комнаты
[00:41:29] komar вошёл(а) в комнату
[00:46:09] Typhon вошёл(а) в комнату
[00:48:26] Typhon вышел(а) из комнаты
[00:50:45] Typhon вошёл(а) в комнату
[00:51:41] Typhon вышел(а) из комнаты
[00:52:25] Typhon вошёл(а) в комнату
[00:55:05] Typhon вышел(а) из комнаты
[00:55:34] Typhon вошёл(а) в комнату
[00:59:45] Typhon вышел(а) из комнаты
[01:00:11] Typhon вошёл(а) в комнату
[01:02:53] Typhon вышел(а) из комнаты
[01:03:19] Typhon вошёл(а) в комнату
[01:14:47] Typhon вышел(а) из комнаты: Replaced by new connection
[01:15:07] Typhon вошёл(а) в комнату
[01:18:27] bobry вышел(а) из комнаты
[01:25:29] Typhon вышел(а) из комнаты
[01:56:11] tilarids вышел(а) из комнаты
[02:03:39] Kakadu вышел(а) из комнаты
[02:30:28] tilarids вошёл(а) в комнату
[03:09:27] tilarids вышел(а) из комнаты
[03:31:04] letrec вошёл(а) в комнату
[03:31:16] letrec вышел(а) из комнаты
[03:31:30] letrec вошёл(а) в комнату
[04:53:34] letrec вышел(а) из комнаты
[06:04:21] shaggie вышел(а) из комнаты
[08:25:52] ftrvxmtrx вышел(а) из комнаты
[08:26:14] ftrvxmtrx вошёл(а) в комнату
[09:01:20] Kakadu вошёл(а) в комнату
[09:22:29] tilarids вошёл(а) в комнату
[09:23:10] tilarids вышел(а) из комнаты
[09:23:23] tilarids вошёл(а) в комнату
[09:37:44] tilarids вышел(а) из комнаты
[09:47:09] <Kakadu> bobry: насчет do-нотации. Что ты думаешь а фадиезном синтаксисе?
[10:14:05] ftrvxmtrx вышел(а) из комнаты
[10:57:33] ftrvxmtrx вошёл(а) в комнату
[11:20:47] ermine вошёл(а) в комнату
[11:51:32] bobry вошёл(а) в комнату
[11:55:47] <bobry> Kakadu: я его не видел, как там это делается?
[12:04:47] <Kakadu> bobry: computational expressions называется
[12:16:10] <bobry> так вроде в ml что то такое и предлагали
[12:54:30] <gds> тут вроде есть х-ефаги?  я тут мучаю #coq на тему "как эмулировать расширяемый тип exn в coq", и интересно стало, как в х-е это делается.  Явно же как-то умеют расширять тип ошибок, передаваемых в соответствующую error-функцию.
[12:54:55] <bobry> gds: я сам недавно такое спрашивал в х-л@cjr
[12:55:02] <bobry> вроде как только через тайп классы такое делается
[12:55:34] <bobry> в случае ошибок есть напр. экзистенциальный тип Error a => SomeError a
[13:02:42] <gds> bobry: ок, тайпклассы в coq есть, тоже думал, но сомневался чото.  Есть чо почитать на эту тему?  (а если найду?)
[13:04:59] <bobry> ну я по крайней мере не видел -- если найдешь засылай, сам с удовольствием почитаю :)
[13:06:19] <gds> да проще накодить, чем искать.
[13:09:45] tilarids вошёл(а) в комнату
[14:06:33] <gds> "Exceptions are one place where Haskell’s choice of algebraic data types and polymorphism, as opposed to classes and subtyping, does not yield a natural way to express the interface we desire."
кот бы сомневался.
[14:08:17] <bobry> :)
[15:11:00] tilarids вышел(а) из комнаты: Replaced by new connection
[15:11:05] tilarids вошёл(а) в комнату
[15:18:50] Sun][ вошёл(а) в комнату
[15:35:25] letrec вошёл(а) в комнату
[15:35:31] letrec вышел(а) из комнаты
[15:35:45] letrec вошёл(а) в комнату
[15:42:06] Sun][ вышел(а) из комнаты
[15:45:57] Sun][ вошёл(а) в комнату
[16:23:30] Sun][ вышел(а) из комнаты
[16:49:49] <gds> http://ru-caml.livejournal.com/16470.html
[16:55:01] <Kakadu> и что?
[16:55:35] <Kakadu> ты вроде на всё ответил
[17:13:06] <bobry> я даже не знал что у нас такое камьюнити есть
[17:28:30] <komar> Оно не нужно просто.
[17:30:59] <gds> разные люди предпочитают разный формат общения.  Нехай будет.
[17:31:17] komar вышел(а) из комнаты
[17:31:22] komar вошёл(а) в комнату
[19:16:21] shaggie вошёл(а) в комнату
[19:17:05] shaggie вышел(а) из комнаты
[19:36:18] letrec вышел(а) из комнаты
[20:35:46] Typhon вошёл(а) в комнату
[20:39:59] Typhon вышел(а) из комнаты
[20:42:47] Typhon вошёл(а) в комнату
[20:44:52] <gds> как выяснилось, coq невообразимо отсасывает в плане обработки ошибок.  у окамла тут есть гениальный тип exn (без шуток), у х-я есть typeable-интерфейс (конечно, реализованный не чисто-функционально, но в х-е всё так, какие-то костыли торчат постоянно).  а вот в coq что делать -- только извращения различной степени тяжести.  говно, чо.
как хорошо, что я пойду погулять сейчас.
[20:45:26] Typhon вышел(а) из комнаты
[20:46:07] Typhon вошёл(а) в комнату
[20:48:39] Typhon вышел(а) из комнаты
[20:49:24] Typhon вошёл(а) в комнату
[20:52:05] Typhon вышел(а) из комнаты
[20:52:33] Typhon вошёл(а) в комнату
[20:55:14] Typhon вышел(а) из комнаты
[20:56:36] Typhon вошёл(а) в комнату
[21:02:17] Typhon вышел(а) из комнаты
[21:02:45] Typhon вошёл(а) в комнату
[21:05:27] Typhon вышел(а) из комнаты
[21:06:10] Typhon вошёл(а) в комнату
[21:08:50] Typhon вышел(а) из комнаты
[21:09:23] Typhon вошёл(а) в комнату
[21:11:17] tilarids вышел(а) из комнаты: Machine going to sleep
[21:11:58] Typhon вышел(а) из комнаты
[21:12:27] Typhon вошёл(а) в комнату
[21:13:23] Typhon вышел(а) из комнаты
[21:16:46] Typhon вошёл(а) в комнату
[21:38:21] Typhon вышел(а) из комнаты
[22:33:13] Sun][ вошёл(а) в комнату