Home
Objective Caml
ocaml@conference.jabber.ru
Воскресенье, 1 апреля 2012< ^ >
f[x] установил(а) тему: OCaml / ОКамл / Камль -- http://caml.inria.fr | http://camlunity.ru/ (теперь с git доступом!) | Верблюды грязи не боятся! | release crap, enjoy NIH | репортьте баги официальным дилерам | ocaml мёртв и тормозит, move on | stdlib only? - ССЗБ | Fight FUD with fire
Конфигурация комнаты
Участники комнаты

GMT+4
[00:03:49] komar вышел(а) из комнаты: Replaced by new connection
[00:03:50] komar вошёл(а) в комнату
[00:13:09] ermine вышел(а) из комнаты
[00:44:21] bobry вышел(а) из комнаты
[00:44:33] komar вышел(а) из комнаты: Replaced by new connection
[00:44:33] komar вошёл(а) в комнату
[00:46:49] bobry вошёл(а) в комнату
[01:04:54] Kakadu вышел(а) из комнаты
[01:05:44] shaggie вышел(а) из комнаты
[01:22:27] gds вышел(а) из комнаты: Replaced by new connection
[01:22:28] gds вошёл(а) в комнату
[01:30:12] tilarids вышел(а) из комнаты
[01:35:40] komar вышел(а) из комнаты: Replaced by new connection
[01:35:40] komar вошёл(а) в комнату
[02:15:02] bobry вышел(а) из комнаты
[02:18:04] tilarids вошёл(а) в комнату
[02:27:23] gds вышел(а) из комнаты: Replaced by new connection
[02:27:24] gds вошёл(а) в комнату
[02:56:46] komar вышел(а) из комнаты: Replaced by new connection
[02:56:46] komar вошёл(а) в комнату
[04:06:44] В ближайшее время возможны перебои в работе сервиса. Приносим свои извинения.
[09:42:11] Комната запущена
[09:42:11] ftrvxmtrx вошёл(а) в комнату
[09:44:52] klapaucius вошёл(а) в комнату
[09:53:52] komar вошёл(а) в комнату
[10:12:54] letrec вошёл(а) в комнату
[10:23:08] Kakadu вошёл(а) в комнату
[10:36:18] komar вышел(а) из комнаты
[10:42:30] tilarids вошёл(а) в комнату
[10:45:22] komar вошёл(а) в комнату
[11:08:25] Комната остановлена
[11:13:13] Комната запущена
[11:13:13] tilarids вошёл(а) в комнату
[11:15:27] klapaucius вошёл(а) в комнату
[11:17:58] ftrvxmtrx вошёл(а) в комнату
[11:20:16] komar вошёл(а) в комнату
[11:21:23] ermine вошёл(а) в комнату
[11:23:12] gds вошёл(а) в комнату
[11:23:27] letrec вошёл(а) в комнату
[11:27:03] Typhon вошёл(а) в комнату
[11:51:38] bobry вошёл(а) в комнату
[12:02:40] komar вышел(а) из комнаты
[12:04:09] <Typhon> http://www.yesodweb.com/blog/2012/04/replacing-cabal
[12:07:58] komar вошёл(а) в комнату
[12:24:17] <gds> Typhon: экие шутники!
[12:25:57] <Typhon> а ещё такое первоапрельский фид принёс http://jscategory.wordpress.com./
[12:36:15] <gds> тоже понравилось.
[12:44:18] komar вышел(а) из комнаты: Replaced by new connection
[12:44:19] komar вошёл(а) в комнату
[13:53:50] letrec вышел(а) из комнаты: Replaced by new connection
[13:53:51] letrec вошёл(а) в комнату
[14:05:58] Kakadu вошёл(а) в комнату
[14:13:16] tilarids вышел(а) из комнаты
[14:53:06] <bobry> бог ты мой, похоже мне придется потрогать скалу :(
[14:54:16] <ermine> scala rocks
[16:09:31] <ermine> ы
[16:09:48] ermine захотела поиметь в маркдауне зависимые типы
[16:10:04] <ermine> читать книжку по coq явно к добру не приведет
[16:10:38] <gds> навiщо тобi addicted guys?
[16:12:13] <ermine> чо за вьетнамский язык?
[16:13:09] <ermine> а, это наверное молдавский
[16:14:38] <gds> аша есте.
[16:16:20] <ermine> gds: новый президент велел учить родной язык? :)
[16:16:41] <gds> эй да конечьно!
[16:52:58] <ermine> хачу зависимые типы в камле
[16:55:06] komar вышел(а) из комнаты
[16:55:19] komar вошёл(а) в комнату
[17:02:48] <gds> ermine: зачем они тебе, просто генери из coq.
[17:04:54] <ermine> gds: у меня во лбу всего одна пядь, остальные шесть еще не нарастила
[17:05:21] <gds> думаешь, если внести зависимые типы в камло, оно станет сильно легче того же coq'а?
[17:07:44] <ermine> gds: у меня тут что-то типа
type inline =
| A of inline list
type block =
| A of block list
в парсилке руками развела-продублировала токены, чтобы типы списков были разные
[17:16:13] <ermine> собственно A  - это html, который имеет одинаковый вид в обеих случаях, но может принимать или только блоки, или только инлайны
[17:16:26] <ermine> и сам соответствующего типа
[17:16:56] <ermine> щас разводила по типам и парсер слегка сломался
[17:16:59] <ermine> ых
[17:22:14] <bobry> проект на sourceforge, сырцы в svn на гуглокоде, fuckye! пора уже камлу заиметь свой sf-проект
[17:22:58] komar вышел(а) из комнаты
[17:25:11] tilarids вошёл(а) в комнату
[17:25:42] komar вошёл(а) в комнату
[17:44:55] komar вышел(а) из комнаты
[17:46:49] komar вошёл(а) в комнату
[17:59:21] <gds> ermine: а чо бы не сделать параметрические типы, а то и полиморфные варианты использовать?
[18:03:22] Typhon вышел(а) из комнаты
[18:46:04] komar вышел(а) из комнаты
[18:46:14] komar вошёл(а) в комнату
[18:53:09] tilarids вышел(а) из комнаты
[19:07:49] komar вышел(а) из комнаты
[19:39:25] komar вошёл(а) в комнату
[21:15:16] komar вышел(а) из комнаты: Replaced by new connection
[21:15:17] komar вошёл(а) в комнату
[21:26:59] letrec вышел(а) из комнаты
[22:19:26] komar вышел(а) из комнаты: Replaced by new connection
[22:19:27] komar вошёл(а) в комнату
[22:57:50] komar вышел(а) из комнаты
[22:58:06] komar вошёл(а) в комнату
[23:28:13] ermine вышел(а) из комнаты
[23:32:32] komar вышел(а) из комнаты
[23:32:46] komar вошёл(а) в комнату
[23:54:34] shaggie вошёл(а) в комнату