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

ocaml@conference.jabber.ru

Среда, 23 октября 2013< ^ >

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

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

GMT+4
[01:02:51] ForNeVeR вышел(а) из комнаты: Replaced by new connection
[01:02:57] ForNeVeR вошёл(а) в комнату
[01:12:33] komar вышел(а) из комнаты
[02:39:58] strobegen вышел(а) из комнаты
[02:51:01] komar вошёл(а) в комнату
[03:01:24] Kakadu вошёл(а) в комнату
[03:09:13] Kakadu вышел(а) из комнаты
[03:30:30] tilarids вышел(а) из комнаты: Replaced by new connection
[03:30:34] tilarids вошёл(а) в комнату
[03:31:08] tilarids вышел(а) из комнаты
[03:31:27] tilarids вошёл(а) в комнату
[04:40:38] strobegen вошёл(а) в комнату
[05:21:14] tilarids вышел(а) из комнаты: Machine going to sleep
[05:26:03] komar вышел(а) из комнаты: Replaced by new connection
[05:26:03] komar вошёл(а) в комнату
[05:36:23] komar вышел(а) из комнаты: Replaced by new connection
[05:36:23] komar вошёл(а) в комнату
[05:42:55] komar вышел(а) из комнаты: Replaced by new connection
[05:42:56] komar вошёл(а) в комнату
[07:13:30] ForNeVeR вышел(а) из комнаты
[07:13:46] ForNeVeR вошёл(а) в комнату
[07:32:16] ForNeVeR вышел(а) из комнаты: Replaced by new connection
[07:32:23] ForNeVeR вошёл(а) в комнату
[08:00:51] tilarids вошёл(а) в комнату
[08:19:28] avkarpich вошёл(а) в комнату
[08:19:37] strobegen вышел(а) из комнаты
[09:08:49] tilarids вышел(а) из комнаты: Machine going to sleep
[10:06:37] strobegen вошёл(а) в комнату
[11:06:33] Typhon вышел(а) из комнаты
[11:06:46] Typhon вошёл(а) в комнату
[11:07:47] ermine вошёл(а) в комнату
[11:08:36] Typhon вышел(а) из комнаты
[11:38:53] Typhon вошёл(а) в комнату
[12:00:16] Typhon вышел(а) из комнаты
[12:08:44] Kakadu вошёл(а) в комнату
[12:45:05] strobegen вышел(а) из комнаты
[12:46:43] strobegen вошёл(а) в комнату
[12:49:12] Typhon вошёл(а) в комнату
[12:51:55] Typhon вышел(а) из комнаты
[12:53:05] Typhon вошёл(а) в комнату
[13:02:44] strobegen вышел(а) из комнаты
[13:13:58] Typhon вышел(а) из комнаты
[13:16:51] Kakadu вышел(а) из комнаты
[13:16:57] Kakadu вошёл(а) в комнату
[13:17:26] strobegen вошёл(а) в комнату
[13:30:29] strobegen вышел(а) из комнаты
[13:42:52] ADEpt вышел(а) из комнаты
[13:52:53] Typhon вошёл(а) в комнату
[14:07:52] strobegen вошёл(а) в комнату
[14:10:00] <strobegen> Добрый день.
Никто случайно не знает откуда ведется инициализация окружения top-level в tuareg-mode на osx?
у меня по чемуто он ругается Error: Unbound module Topfind если запускать емакс как app - ему не хватает eval `opam config env`.
Я уже вроде бы куда только можно рассовал его (.bash_profile, .profile, .bashrc, .bash_login, /etc/profile),
прописал в конфиге емакса как на wiki opam советуют
;; for opam usage - this will read your .profile or .bash_profile file
(cond
((eq window-system 'ns) ; macosx
     ;; Invoke login shells, so that .profile or .bash_profile is read
              (setq shell-command-switch "-lc")))
но на ситуацию это не влияет.
Причем если запустить M-x shell и там запустить ocaml он пускается с правильным окружением,
ну и конечно если emacs запущен из терминала то все нормально.
[14:12:49] ADEpt вошёл(а) в комнату
[14:29:10] avkarpich вышел(а) из комнаты
[14:29:46] Kakadu вышел(а) из комнаты
[14:30:28] Kakadu вошёл(а) в комнату
[15:22:19] komar вышел(а) из комнаты: Replaced by new connection
[15:22:19] komar вошёл(а) в комнату
[15:40:19] Kakadu вышел(а) из комнаты
[15:48:33] Typhon вышел(а) из комнаты: Replaced by new connection
[15:48:51] Typhon вошёл(а) в комнату
[15:54:55] Kakadu вошёл(а) в комнату
[15:55:19] Kakadu вышел(а) из комнаты
[15:58:05] Kakadu вошёл(а) в комнату
[15:59:31] komar вышел(а) из комнаты: Replaced by new connection
[15:59:32] komar вошёл(а) в комнату
[16:02:50] Typhon вышел(а) из комнаты
[16:09:37] Typhon вошёл(а) в комнату
[16:29:14] Typhon вышел(а) из комнаты
[16:31:16] Typhon вошёл(а) в комнату
[16:35:47] Typhon вышел(а) из комнаты: Replaced by new connection
[16:36:04] Typhon вошёл(а) в комнату
[16:46:00] Kakadu вышел(а) из комнаты
[16:47:56] Kakadu вошёл(а) в комнату
[17:20:47] Kakadu вышел(а) из комнаты
[17:21:18] Kakadu вошёл(а) в комнату
[17:22:22] Kakadu вышел(а) из комнаты
[17:45:26] olibjerd вошёл(а) в комнату
[17:46:12] Kakadu вошёл(а) в комнату
[18:21:00] olibjerd вышел(а) из комнаты
[18:27:09] Kakadu вышел(а) из комнаты
[18:38:59] komar вышел(а) из комнаты: Replaced by new connection
[18:39:00] komar вошёл(а) в комнату
[18:39:43] <gds> насчёт проверялки многопоточного -- да.. тормоза есть на больших задачах.  Думаю вот.  Сейчас алгоритм представлен как список инструкций, иногда с ветвлениями (типа If cond then_code else_code или While cond body).  Этот список разбираю через match.  А если это дело скомпилировать в массив, и каждый тред представлять не как список инструкций, который остаётся выполнить, а как индекс в этом массиве, типа instruction pointer?  Будет ли сильно лучше, согласно вашей интуиции?
[18:40:36] <gds> aleksey: почему в coq это уже не получится впихнуть -- мне оказалось важным проверять пост-условия (когда все треды закончили работу, должны быть выполнены определённые условия, касающиеся переменных и семафоров).  Просто так отсечь ветки будет весьма сложно, если есть эти пост-условия.
[18:56:00] komar вышел(а) из комнаты: Replaced by new connection
[18:56:00] komar вошёл(а) в комнату
[19:03:32] tilarids вошёл(а) в комнату
[19:08:22] ForNeVeR вошёл(а) в комнату
[19:09:15] tilarids вышел(а) из комнаты: Machine going to sleep
[19:09:57] komar вышел(а) из комнаты: Replaced by new connection
[19:09:57] komar вошёл(а) в комнату
[19:11:24] ForNeVeR вышел(а) из комнаты: Replaced by new connection
[19:11:31] ForNeVeR вошёл(а) в комнату
[19:21:59] ForNeVeR вышел(а) из комнаты
[19:32:04] komar вышел(а) из комнаты: Replaced by new connection
[19:32:04] komar вошёл(а) в комнату
[20:02:02] gene9 вошёл(а) в комнату
[20:08:55] gene9 вышел(а) из комнаты
[20:19:17] tilarids вошёл(а) в комнату
[21:32:43] Kakadu вошёл(а) в комнату
[21:32:58] Kakadu вышел(а) из комнаты
[21:33:03] komar вышел(а) из комнаты: Replaced by new connection
[21:33:03] komar вошёл(а) в комнату
[21:42:16] Typhon вышел(а) из комнаты
[22:28:43] tilarids вышел(а) из комнаты: Machine going to sleep
[22:28:47] ermine вышел(а) из комнаты
[22:34:38] Kakadu вошёл(а) в комнату
[22:44:27] Kakadu вышел(а) из комнаты
[23:30:32] komar вышел(а) из комнаты: Replaced by new connection
[23:30:32] komar вошёл(а) в комнату