Objective Caml - Среда, 5 декабря 2012

Objective Caml

ocaml@conference.jabber.ru

Среда, 5 декабря 2012< ^ >

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

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

GMT+4
[00:10:16] <gds> http://ru-programming.livejournal.com/1324791.html
[00:11:22] <gds> ну вот, закончились несколько часов реаллайфа.  Уложился.  Костьми.
[00:44:28] <ftrvxmtrx> какой-то хайповый этот llvm
[00:44:58] <ftrvxmtrx> все дружно кинулись писать llvm backends. прямо как ставить plan9 на raspberry pi
[00:45:08] Typhon вышел(а) из комнаты
[01:22:44] <gds> ftrvxmtrx: таки да.  Вдобавок, что интересно, говорят, что там 50 программистов на полной занятости пилят это (ну или не 50, не помню точное, но много).  Учитывая, что пилят на плюсах, данный аргумент показывает откровенное неистовое говноедство и параллель "я же старался, кончал на потолок, побелил его весь, значит, мои усилия должны быть оплачены/оценены1111".
[01:23:41] <gds> (аргумент -- "без LLVM вы все говно и не умеете в машинные коды, а мы -- ооо! -- мы крутые и умеем")
[01:38:53] Kakadu вышел(а) из комнаты
[01:57:50] Typhon вошёл(а) в комнату
[02:03:02] Typhon вышел(а) из комнаты
[02:04:42] Typhon вошёл(а) в комнату
[03:53:49] Typhon вышел(а) из комнаты: Replaced by new connection
[03:54:11] Typhon вошёл(а) в комнату
[04:35:54] f[x] вышел(а) из комнаты
[06:26:17] avkarpich вошёл(а) в комнату
[06:52:58] komar вышел(а) из комнаты: Replaced by new connection
[06:52:58] komar вошёл(а) в комнату
[07:19:07] avkarpich вышел(а) из комнаты
[07:45:05] tilarids вошёл(а) в комнату
[07:49:54] avkarpich вошёл(а) в комнату
[07:52:56] tilarids вышел(а) из комнаты
[08:06:15] zinid вошёл(а) в комнату
[08:49:24] tilarids вошёл(а) в комнату
[09:04:58] komar вышел(а) из комнаты
[10:05:16] strobegen вошёл(а) в комнату
[10:17:28] komar вошёл(а) в комнату
[10:18:01] Sun][ вошёл(а) в комнату
[10:28:52] komar вышел(а) из комнаты: Replaced by new connection
[10:28:52] komar вошёл(а) в комнату
[10:51:46] tilarids вышел(а) из комнаты: Computer went to sleep
[10:55:42] ermine вошёл(а) в комнату
[11:00:58] klapaucius вошёл(а) в комнату
[11:39:01] afiskon вышел(а) из комнаты
[11:45:39] <gds> avkarpich: про "литература по окамлу с прицелом на coq" -- такого не встречал.  Единственным, по моему мнению, способом является: 1. для окамла -- просто прочитать книжку-другую и практиковаться в решении реальных задач (получится -- по работе, не получится -- что-то, что самому нужно), 2. для coq -- http://adam.chlipala.net/cpdt/ попрактичнее, http://www.cis.upenn.edu/~bcpierce/sf/ позадрочистее (я бы не брал), 3. для совместного использования ocaml + coq -- просто почитать мануал coq на тему "экстракции программ" и посмотреть, что во что экстрактится.
[11:47:10] <avkarpich> gds: ок, спасибо.
[12:05:25] ftrvxmtrx вышел(а) из комнаты
[12:26:40] komar вышел(а) из комнаты: Logged out
[12:31:58] komar вошёл(а) в комнату
[12:32:22] avkarpich вышел(а) из комнаты
[12:32:25] avkarpich вошёл(а) в комнату
[12:46:16] ftrvxmtrx вошёл(а) в комнату
[12:47:45] tilarids вошёл(а) в комнату
[12:48:32] Kakadu вошёл(а) в комнату
[12:51:23] komar вышел(а) из комнаты: Logged out
[12:53:34] Kakadu вошёл(а) в комнату
[12:57:28] Andrey Popp вошёл(а) в комнату
[13:05:09] strobegen вышел(а) из комнаты
[13:06:16] Andrey Popp вышел(а) из комнаты
[13:06:19] Andrey Popp вошёл(а) в комнату
[13:10:39] Andrey Popp вышел(а) из комнаты
[13:10:42] Andrey Popp вошёл(а) в комнату
[13:11:54] Andrey Popp вышел(а) из комнаты
[13:14:59] Kakadu вышел(а) из комнаты
[13:15:29] Kakadu вошёл(а) в комнату
[13:20:48] Kakadu вышел(а) из комнаты
[13:21:00] strobegen вошёл(а) в комнату
[13:25:31] Kakadu вошёл(а) в комнату
[13:29:37] strobegen вышел(а) из комнаты
[13:32:25] Kakadu вышел(а) из комнаты
[13:41:32] tilarids вышел(а) из комнаты
[13:50:20] tilarids вошёл(а) в комнату
[13:52:49] komar вошёл(а) в комнату
[14:00:42] Kakadu вошёл(а) в комнату
[14:26:09] Typhon вышел(а) из комнаты
[14:32:39] Kakadu вышел(а) из комнаты
[14:36:31] Kakadu вошёл(а) в комнату
[14:43:40] Andrey Popp вошёл(а) в комнату
[14:53:06] Andrey Popp вышел(а) из комнаты
[14:53:27] Andrey Popp вошёл(а) в комнату
[15:07:05] avkarpich вышел(а) из комнаты
[15:09:16] Kakadu вышел(а) из комнаты
[15:09:22] Kakadu вошёл(а) в комнату
[15:09:51] Kakadu вышел(а) из комнаты
[15:10:19] Kakadu вошёл(а) в комнату
[15:12:23] tilarids вышел(а) из комнаты: Computer went to sleep
[15:13:11] Andrey Popp вышел(а) из комнаты
[15:15:27] Andrey Popp вошёл(а) в комнату
[15:26:24] Andrey Popp вышел(а) из комнаты
[15:35:44] tilarids вошёл(а) в комнату
[15:36:08] Andrey Popp вошёл(а) в комнату
[16:07:15] komar вышел(а) из комнаты
[16:09:45] komar вошёл(а) в комнату
[16:10:28] Typhon вошёл(а) в комнату
[16:24:00] dzhon вошёл(а) в комнату
[16:26:25] dzhon вышел(а) из комнаты: Replaced by new connection
[16:26:31] dzhon вошёл(а) в комнату
[17:08:36] ermine вышел(а) из комнаты
[17:09:58] ermine вошёл(а) в комнату
[17:13:42] UncleVasya вошёл(а) в комнату
[17:16:10] dzhon вышел(а) из комнаты
[17:26:24] Sun][ вышел(а) из комнаты
[17:44:57] dzhon вошёл(а) в комнату
[17:48:18] tilarids вошёл(а) в комнату
[17:53:16] tilarids вышел(а) из комнаты
[18:12:11] komar вышел(а) из комнаты: Logged out
[18:15:27] dzhon вышел(а) из комнаты: Replaced by new connection
[18:15:28] dzhon вошёл(а) в комнату
[18:25:24] dzhon вышел(а) из комнаты
[18:39:26] zinid вышел(а) из комнаты
[18:46:51] vladimir.chujkov вошёл(а) в комнату
[18:55:17] vladimir.chujkov вышел(а) из комнаты
[18:58:47] vladimir.chujkov вошёл(а) в комнату
[19:19:16] strobegen вошёл(а) в комнату
[19:51:19] Kakadu вышел(а) из комнаты
[19:54:08] Kakadu вошёл(а) в комнату
[20:00:52] Kakadu вышел(а) из комнаты
[20:01:34] Kakadu вышел(а) из комнаты
[20:06:01] ftrvxmtrx вышел(а) из комнаты
[20:15:01] tilarids вышел(а) из комнаты
[20:58:30] strobegen вышел(а) из комнаты
[21:02:40] Kakadu вошёл(а) в комнату
[21:18:05] f[x] вошёл(а) в комнату
[21:20:10] tilarids вошёл(а) в комнату
[21:44:46] vladimir.chujkov вошёл(а) в комнату
[21:50:29] vladimir.chujkov вышел(а) из комнаты
[22:24:35] Typhon вышел(а) из комнаты
[22:34:22] vladimir.chujkov вошёл(а) в комнату
[22:35:30] vladimir.chujkov вышел(а) из комнаты
[22:45:23] komar вошёл(а) в комнату
[22:52:04] vladimir.chujkov вошёл(а) в комнату
[23:05:59] Andrey Popp вышел(а) из комнаты
[23:06:19] vladimir.chujkov вышел(а) из комнаты
[23:14:16] ftrvxmtrx вошёл(а) в комнату
[23:33:21] Typhon вошёл(а) в комнату
[23:44:11] ermine вышел(а) из комнаты
[23:52:07] tilarids вышел(а) из комнаты: Machine going to sleep
[23:58:18] tilarids вошёл(а) в комнату