Objective Caml - Понедельник, 18 февраля 2013

Objective Caml

ocaml@conference.jabber.ru

Понедельник, 18 февраля 2013< ^ >

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

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

GMT+4
[00:15:03] Zbroyar вошёл(а) в комнату
[00:16:23] <Zbroyar> gds: память нынче дешева :-)
[00:17:21] <Zbroyar> gds: это если задача в 64G оперативы не влазит, тогда нужно что-то думать, а до этого можно просто планки доставлять.
[00:17:28] <Zbroyar> gds: выгоднее
[00:31:23] Sun][ вышел(а) из комнаты
[00:45:47] <gds> Zbroyar: 1. переход от List к Stream в случаях, когда это возможно, весьма туп, думать не надо. Разве что хороших комбинаторов к Stream добавить, ибо stdlib'овский убог, ну или взять extlib/batteries. 2. наверное, это какой-то тренд? Потому что софт, который должен работать быстро, как-то тормозит. (сравниваю, например, софт для решения типичных задач, который использовал на pentium1 200mhz, и софт, который использую сейчас -- разницы в производительности нет, зачастую тормозит больше). Нафиг нужен такой прогресс?
[00:50:50] komar вышел(а) из комнаты: Logged out
[00:53:26] komar вошёл(а) в комнату
[00:56:04] <Zbroyar> gds: по-моему, пока прогрес идет екстенсивным путем: в большинстве случаев увеличилось количество решаемых задач, а не скорость уже решенных.
[00:58:44] <Zbroyar> gds: но это касается только большинства случаев: там, где более быстрое решение задачи экономически оправдано, люди занимаются производительностью вплоть до выноса логики в кремний.
[00:59:07] <Zbroyar> gds: см. например майнинг биткоинов :-)
[01:15:43] komar вышел(а) из комнаты: Logged out
[01:18:42] komar вошёл(а) в комнату
[01:22:51] komar вышел(а) из комнаты: Logged out
[01:27:47] komar вошёл(а) в комнату
[01:39:10] komar вышел(а) из комнаты: Replaced by new connection
[01:39:14] komar вошёл(а) в комнату
[06:09:45] zinid вошёл(а) в комнату
[06:15:57] <zinid> нене, программа должна работать очень быстро и жрать меньше ;)
[06:18:31] <zinid> у меня конкретно проблема щас в другом: для моей задачи лучшие алгоритмы работают за O(n^2) или O(n * lg n) :(
[06:18:44] <zinid> и ещё там везде очень жырные O(1)
[06:21:31] <zinid> и чтобы оптимизировать эти O(1), надо очень хорошо специфику языка знать, а я камло плохо ещё знаю ;)
[06:45:39] tilarids вошёл(а) в комнату
[09:58:44] tilarids вышел(а) из комнаты
[10:00:21] tilarids вошёл(а) в комнату
[10:06:26] tilarids вышел(а) из комнаты
[10:06:40] tilarids вошёл(а) в комнату
[10:08:48] komar вышел(а) из комнаты: Logged out
[10:09:46] Sun][ вошёл(а) в комнату
[10:11:03] ermine вошёл(а) в комнату
[10:20:43] komar вошёл(а) в комнату
[10:23:14] komar вышел(а) из комнаты: Logged out
[10:34:31] tilarids вышел(а) из комнаты
[10:34:43] tilarids вошёл(а) в комнату
[11:10:26] dzhon вошёл(а) в комнату
[11:45:36] komar вошёл(а) в комнату
[11:52:45] dzhon вышел(а) из комнаты: Replaced by new connection
[11:52:47] dzhon вошёл(а) в комнату
[12:03:52] Kakadu вошёл(а) в комнату
[12:21:22] ftrvxmtrx вышел(а) из комнаты
[12:44:48] akovbovich вошёл(а) в комнату
[12:47:21] <Zbroyar> zinid: это в твоем конкретном случае програма должна работать очень быстро и жрать меньше.
[12:47:35] <Zbroyar> zinid: В большинстве-же случаев - програма просто должна работать :-)
[13:06:04] <Zbroyar> zinid: а что касается "непонятно почему увеличение стека не помогает", то при использовании tail-recursive функций компилятор разворачивает рекурсию в цикл и стек используется один раз только при входе в рекурсию.
[13:11:01] <Zbroyar> zinid: в случае-же non-tail recursive функций размер используемого стека линейно зависит от размера входных данных, поскольку в него ложатся промежуточные результаты вычислений.
[13:18:37] <Zbroyar> zinid: очевидно, у тебя достаточно большой размер входных данных, чтобы промежуточные результаты в стек не помещались.
[13:19:18] <zinid> да не, не очень большой
[13:19:26] <zinid> просто там blow up на 2^n
[13:49:18] Typhon вошёл(а) в комнату
[13:58:16] <Zbroyar> zinid: это как?
[13:58:49] <zinid> это минимзация конечного автомата так работает, powerset construction
[13:58:55] <zinid> в худшем случае - 2^n
[13:59:09] <zinid> тьфу, то есть перевод из nfa в dfa
[14:43:29] dzhon вышел(а) из комнаты: Replaced by new connection
[14:43:30] dzhon вошёл(а) в комнату
[14:47:16] <Zbroyar> :-)))
[14:47:32] <Zbroyar> Тогда тебе не стоило спрашивать, с чего вдруг стек заканчивается :-)
[14:47:52] <zinid> дык я знал почему, я просто думал что поможет опция
[14:49:55] <Zbroyar> Кроме опций есть еще ограничения OS на размер стека для процесса.
[14:51:06] <Zbroyar> ulimit -s
[14:57:54] f[x] вошёл(а) в комнату
[15:52:38] ftrvxmtrx вошёл(а) в комнату
[16:33:51] Zbroyar вышел(а) из комнаты
[17:03:41] Sun][ вышел(а) из комнаты
[17:44:22] tilarids вышел(а) из комнаты
[17:52:50] tilarids вошёл(а) в комнату
[18:04:09] zinid вышел(а) из комнаты
[18:20:23] dzhon вышел(а) из комнаты: Replaced by new connection
[18:20:25] dzhon вошёл(а) в комнату
[19:26:11] komar вышел(а) из комнаты: Logged out
[19:32:38] dzhon вышел(а) из комнаты
[19:35:27] ftrvxmtrx вышел(а) из комнаты
[20:13:08] f[x] вошёл(а) в комнату
[20:25:44] Kakadu вышел(а) из комнаты
[20:49:48] Typhon вышел(а) из комнаты
[21:08:03] tilarids вошёл(а) в комнату
[21:09:47] Sun][ вошёл(а) в комнату
[21:16:40] komar вошёл(а) в комнату
[21:22:37] tilarids вышел(а) из комнаты
[21:54:50] f[x] вышел(а) из комнаты
[22:28:58] ftrvxmtrx вошёл(а) в комнату
[22:36:43] komar вышел(а) из комнаты: Logged out
[22:43:14] komar вошёл(а) в комнату
[22:47:17] Sun][ вышел(а) из комнаты
[23:26:26] komar вышел(а) из комнаты: Replaced by new connection
[23:26:26] komar вошёл(а) в комнату
[23:53:32] Sun][ вошёл(а) в комнату
[23:57:32] ermine вышел(а) из комнаты