Objective Caml - Суббота, 20 февраля 2010

Objective Caml

ocaml@conference.jabber.ru

Суббота, 20 февраля 2010< ^ >

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

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

GMT+3
[00:22:53] ermine вышел(а) из комнаты
[02:14:55] Typhon вышел(а) из комнаты
[11:30:20] gds вошёл(а) в комнату
[11:34:02] Sergey Plaksin вошёл(а) в комнату
[11:45:47] Sergey Plaksin вышел(а) из комнаты
[12:54:19] ermine вошёл(а) в комнату
[13:01:36] ygrek вошёл(а) в комнату
[14:44:04] <ygrek> http://dmzlj.livejournal.com/102767.html
[14:45:11] <ygrek> я этого не понимаю (списка фич камля которые "не нужны")
[15:12:06] <gds> ну не нужно было человеку тех фич, вот и не понимает / не использует их.
[15:21:35] <gds> с другой стороны, я про MLton тоже слышал и мне их подход (а именно, whole program optimization и aggressive unboxing) скорее по нраву. Подобные оптимизации можно было бы реализовать и в окамле. Производительность будет лучше, но более непредсказуемая.
[15:29:20] <ygrek> ну кто бы отказался от (опциональной) wpo
[16:57:00] <ermine> ой, вышна ловая версия ocamlnet?
[18:32:20] ygrek вышел(а) из комнаты
[18:35:21] Typhon вошёл(а) в комнату
[19:13:12] Typhon вышел(а) из комнаты
[19:13:28] Typhon вошёл(а) в комнату
[19:20:31] ygrek вошёл(а) в комнату
[20:03:41] Typhon вышел(а) из комнаты
[20:03:55] Typhon вошёл(а) в комнату
[20:34:05] Typhon вышел(а) из комнаты
[20:34:20] Typhon вошёл(а) в комнату
[20:39:53] sceptic вышел(а) из комнаты
[20:44:45] sceptic вошёл(а) в комнату
[21:51:21] Typhon вышел(а) из комнаты
[22:34:06] gds вышел(а) из комнаты: Replaced by new connection
[22:34:07] gds вошёл(а) в комнату
[22:51:47] olegfink вошёл(а) в комнату
[22:51:55] olegfink вышел(а) из комнаты
[22:51:55] olegfink вошёл(а) в комнату
[23:04:33] ygrek вышел(а) из комнаты
[23:09:51] ygrek вошёл(а) в комнату
[23:54:17] <ygrek> gds: есть какой-то шорткат для reflexivity в coqide?