Objective Caml - Четверг, 25 августа 2011

Objective Caml

ocaml@conference.jabber.ru

Четверг, 25 августа 2011< ^ >

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

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

GMT+4
[01:16:03] ygrek вышел(а) из комнаты
[01:18:19] Kakadu вышел(а) из комнаты
[02:16:47] Typhon вошёл(а) в комнату
[02:46:53] Typhon вышел(а) из комнаты
[03:02:01] Typhon вошёл(а) в комнату
[03:38:18] letrec вошёл(а) в комнату
[03:38:26] letrec вышел(а) из комнаты
[03:38:42] letrec вошёл(а) в комнату
[03:41:58] Typhon вышел(а) из комнаты: Replaced by new connection
[03:42:00] Typhon вошёл(а) в комнату
[03:48:08] Typhon вышел(а) из комнаты
[04:18:07] ftrvxmtrx вышел(а) из комнаты
[04:20:04] ftrvxmtrx вошёл(а) в комнату
[04:48:49] letrec вышел(а) из комнаты
[06:25:48] zinid вошёл(а) в комнату
[06:51:49] iNode вышел(а) из комнаты
[06:52:10] iNode вошёл(а) в комнату
[08:05:51] ftrvxmtrx вышел(а) из комнаты
[08:06:31] ftrvxmtrx вошёл(а) в комнату
[10:51:09] Kakadu вошёл(а) в комнату
[10:52:04] ermine вошёл(а) в комнату
[11:06:22] bobry- вошёл(а) в комнату
[11:09:03] delete_ вошёл(а) в комнату
[11:09:21] delete_ вышел(а) из комнаты
[11:20:34] Typhon вошёл(а) в комнату
[12:05:44] ftrvxmtrx вышел(а) из комнаты
[12:06:00] ftrvxmtrx вошёл(а) в комнату
[12:23:48] shaggie вошёл(а) в комнату
[12:38:13] komar вышел(а) из комнаты: Replaced by new connection
[12:38:13] komar вошёл(а) в комнату
[12:51:14] komar вышел(а) из комнаты: Replaced by new connection
[12:51:15] komar вошёл(а) в комнату
[12:52:23] <f[x]> охщи, iTerm
[12:53:14] <f[x]> реквестирую iCaml
[12:55:00] <Typhon> iCaml вроде как есть, под ипхоне вроде бы так называется та штука
[12:55:22] f[x] facedesk
[12:55:23] <Typhon> iterm, бтв, в этом вашем макосе странное какое-то и бесит местами, но лучше, чем стандартный терминал тоже
[13:01:31] komar вышел(а) из комнаты: Replaced by new connection
[13:01:32] komar вошёл(а) в комнату
[13:07:51] zinid вышел(а) из комнаты
[13:11:16] komar вышел(а) из комнаты: Replaced by new connection
[13:11:16] komar вошёл(а) в комнату
[13:24:09] delete_ вошёл(а) в комнату
[13:24:46] delete_ вышел(а) из комнаты
[14:16:28] komar вышел(а) из комнаты: Replaced by new connection
[14:16:28] komar вошёл(а) в комнату
[15:04:48] letrec вошёл(а) в комнату
[15:04:54] letrec вышел(а) из комнаты
[15:05:10] letrec вошёл(а) в комнату
[15:30:29] ftrvxmtrx вышел(а) из комнаты
[15:32:06] ftrvxmtrx вошёл(а) в комнату
[16:07:16] <bobry-> Typhon: а чем ты такие кошерные боксы рисуешь https://gist.github.com/1170388
[16:07:47] <Typhon> это не моё, это из utop
[16:07:55] <Typhon> я просто на веб выложил, чтобы ельгетом ставить
[16:07:58] <bobry-> я просто такие же в lwt видел
[16:08:12] <bobry-> полюбому какой нить режим емаксовский
[16:10:04] <Typhon> был вебсервис
[16:12:40] <Typhon> bobry: http://webapps.stackexchange.com/questions/6700/is-there-a-webapp-to-create-ascii-art-tables
[16:13:36] <bobry-> ну вообще таблички то в org-mode есть
[16:17:09] akov12 вошёл(а) в комнату
[16:21:04] akov12 вышел(а) из комнаты
[16:22:10] akov12 вошёл(а) в комнату
[16:31:13] <f[x]> они ещё и баги пишут! --> PR#5348
[16:33:04] <Typhon> они — хренцузы? или мако-ы?
[16:34:20] <f[x]> акцентосимволописатели же
[16:40:49] <gds> если кому интересно, https://github.com/liamoc/learn-you-an-agda/
[16:47:29] <f[x]> пора захватывать домен learnyousomecategorytheory.com
[16:47:56] <f[x]> learnyousomecategorytheoryforthelulz.com
[16:52:10] <gds> да!
[16:54:49] <bobry-> lul
[19:06:01] <bobry-> фигасе товарищи требуются ocsigen пилить
[19:06:04] <bobry-> Engineer or PhD degree (master may be sufficient under conditions)
[19:14:08] <Kakadu> Вика говорит, что это типа "окончивший Университет"
[19:14:22] bobry- вышел(а) из комнаты
[19:55:21] bobry вышел(а) из комнаты
[19:56:00] bobry вошёл(а) в комнату
[19:59:27] Typhon вышел(а) из комнаты
[20:39:29] <letrec> а кто-нибудь revised syntax использует?
[20:42:25] <Kakadu> letrec: к gds`y
[20:45:15] <gds> да.
[20:46:22] <letrec> а в чём поинт?
[20:53:40] <gds> более простой (меньше думать о ненужном), логичный, ошибозащищённый (лишён многих разновидностей ошибок, доступных в original).
[20:53:50] <gds> минусы тоже есть, как везде.
[20:56:32] <letrec> я как-то натыкался на объяснение Леруа почему конструкторы не 1st class, но не могу найти, кто-нить знает ссылку или объяснить может?
[20:56:51] <letrec> там вроде ссылались на исторические причины
[20:56:58] <letrec> а не технические
[20:59:37] <gds> конструкторы всегда first-class.  Речь, наверное, про то, что "не функции"?
[21:01:27] <gds> http://caml.inria.fr/pub/ml-archives/caml-list/2001/08/47db53a4b42529708647c9e81183598b.en.html
[21:02:07] <gds> одна техническая, одна семантическая, одна эстетическая.  исторических не вижу.
[21:04:09] <letrec> да, оно
[21:04:16] <letrec> в фак добавишь?
[21:23:17] letrec вышел(а) из комнаты
[21:43:48] shaggie вышел(а) из комнаты
[21:52:27] <gds> во, Kakadu уже добавил.  чотко.
[22:06:07] komar вышел(а) из комнаты
[23:01:27] shaggie вошёл(а) в комнату
[23:48:58] ftrvxmtrx вышел(а) из комнаты