OCaml (aka Objective Caml), а также прочие ML'и, F#, Coq, etc

ocaml@conference.jabber.ru

Вторник, 12 ноября 2013< ^ >

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

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

GMT+4
[00:10:16] tilarids вышел(а) из комнаты: Machine going to sleep
[00:34:20] АК вошёл(а) в комнату
[00:34:32] АК вышел(а) из комнаты
[00:54:49] Typhon вошёл(а) в комнату
[00:57:09] komar вошёл(а) в комнату
[01:05:30] komar вышел(а) из комнаты: Replaced by new connection
[01:05:30] komar вошёл(а) в комнату
[01:29:00] tilarids вошёл(а) в комнату
[02:21:32] Typhon вышел(а) из комнаты
[02:39:56] strobegen вышел(а) из комнаты
[02:55:22] strobegen вошёл(а) в комнату
[04:53:55] tilarids вышел(а) из комнаты: Machine going to sleep
[05:18:54] f[x] вошёл(а) в комнату
[05:57:11] f[x] вышел(а) из комнаты
[06:00:21] tilarids вошёл(а) в комнату
[06:36:29] f[x] вошёл(а) в комнату
[07:27:36] tilarids вышел(а) из комнаты: Machine going to sleep
[07:45:47] <f[x]> opam не перестаёт радовать : stat("https://opam.ocaml.org/packages/async_find.109.15.00", 0x7fff428bac30)
[07:48:34] <f[x]> при любрм install делает миллион раз stat всех файлов в .opam и по миллиону раз одни и те же файлы
[07:48:36] <f[x]> nice
[08:18:08] tilarids вошёл(а) в комнату
[08:40:38] dlebedev вошёл(а) в комнату
[09:49:14] gds вышел(а) из комнаты
[09:49:40] gds вошёл(а) в комнату
[09:59:42] f[x] вышел(а) из комнаты
[10:35:19] ermine вошёл(а) в комнату
[10:54:27] f[x] вошёл(а) в комнату
[12:06:09] dlebedev вышел(а) из комнаты
[12:12:34] Typhon вошёл(а) в комнату
[12:21:39] dlebedev вошёл(а) в комнату
[12:21:46] <ADEpt> f[x]: это, кстати, может быть ocamlfind, а не opam
[12:23:46] <f[x]> нет
[12:23:57] <f[x]> stat в packages compilers archives
[12:24:11] <aleksey> ADEpt: где резуьтаты icfpc? :)
[12:24:28] <f[x]> $ fgrep -c 'stat("https://opam.ocaml.org/archives"' strace.log
36825
[12:25:57] <f[x]> $ fgrep -c 'stat("/home/ygrek/.opam/repo/default/archives"' strace.log
73552
[12:26:07] <f[x]> вот в таком духе :(
[12:26:40] <ADEpt> могуче. С другой стороны, а что strace -c говорит? stat же вроде бы "пучек за пятачок" идет, он же быстрый
[12:27:16] <ADEpt> aleksey: а фиг его знает. Я думаю, два с половиной человека студентов сделают какую-то презентацию, и потом будет объявление
[12:27:34] <aleksey> презентация ж была уже на icfp
[12:28:09] <aleksey> вот пчу никто не озаботился её показать всем
[12:28:14] <f[x]> а 500000 пучков? ;)
[12:28:25] <f[x]> вообщем оно непонятно когда репродьюсится
[12:28:30] <ADEpt> aleksey: а там не было полных результатов
[12:28:49] <ADEpt> f[x]: за 500000 пятачков :)
[12:28:51] <aleksey> ну для начала б сошли и неполные :)
[12:29:01] <ADEpt> stat -c должен сказать, сколько он в сумме заняло
[12:29:12] <f[x]> пауза перед install невооруженным глазом видна, я-то по наивности думал там могучий солвер неонку крутил
[12:30:15] <f[x]> вот в том strace.log что у меня сохранился простыня strace'ов занимает несколько секунд, но сейчас не репродьюсится то же самое
[12:30:30] <f[x]> но stat по всей иерархии он по-моему всё равно делает
[12:30:50] <f[x]> вообщем в другой раз покопаюсь
[12:36:19] Typhon вышел(а) из комнаты
[13:24:26] Typhon вошёл(а) в комнату
[13:39:42] Kakadu вошёл(а) в комнату
[14:27:29] <klapaucius> Отличные (полу)релевантные новости! AliceML (опять) гальванизировали. На этот раз - на гитхабе.
[14:29:43] f[x] вышел(а) из комнаты
[15:02:14] dlebedev вышел(а) из комнаты
[15:19:11] f[x] вошёл(а) в комнату
[15:27:48] <f[x]> академикам новая папира нужна?
[15:58:37] <klapaucius> Эх, если бы академикам. Нынешний гальванизатор (судя по тому, что контрибьютил в self, WaspVM и что-то околобиткоинное) просто сумашедший. У него, наверное, и справка есть.
[15:59:33] <komar> Отлично!
[16:35:51] ftrvxmtrx вошёл(а) в комнату
[17:12:17] f[x] вышел(а) из комнаты
[17:18:47] Kakadu вышел(а) из комнаты
[17:26:34] Kakadu вошёл(а) в комнату
[18:37:17] <gds> в рассылке увидел http://exenum.forge.ocamlcore.org/exenum-api/ExEnum.html , красиво зделоно. Правда вот, применений для себя сходу не вижу.
[18:42:25] f[x] вошёл(а) в комнату
[18:49:44] Typhon вышел(а) из комнаты
[18:50:04] Typhon вошёл(а) в комнату
[18:54:10] ftrvxmtrx вышел(а) из комнаты
[18:55:22] <f[x]> gds: это наверное мостят для quickcheck
[18:55:44] <gds> так есть же подобная хрень уже.
[19:13:07] ftrvxmtrx вошёл(а) в комнату
[20:04:47] Kakadu вышел(а) из комнаты
[20:07:33] Kakadu вошёл(а) в комнату
[20:37:08] tilarids вышел(а) из комнаты: Machine going to sleep
[20:41:02] f[x] вышел(а) из комнаты
[20:44:19] Typhon вышел(а) из комнаты
[20:46:32] Typhon вошёл(а) в комнату
[20:58:21] f[x] вошёл(а) в комнату
[20:58:38] <f[x]> а вот кто сможет сочинить Array.exists более быстрый чем List.exists?
[20:58:58] f[x] вышел(а) из комнаты
[21:02:17] <gds> f[x]: а что не так с обычным Array.exists? Перебираем по порядку, выход по исключению, цикл через for, взятие через Array.unsafe_get. Быстрее будет хотя бы из-за гарантированной локальности данных.
[21:05:20] Kakadu вышел(а) из комнаты
[21:45:27] tilarids вошёл(а) в комнату
[21:46:44] ftrvxmtrx вышел(а) из комнаты
[21:52:35] Kakadu вошёл(а) в комнату
[22:15:31] ftrvxmtrx вошёл(а) в комнату
[22:16:35] Typhon вышел(а) из комнаты
[22:37:50] ermine вышел(а) из комнаты
[23:20:06] Typhon вошёл(а) в комнату
[23:47:32] gfv вошёл(а) в комнату