Objective Caml - Среда, 25 августа 2010

Objective Caml

ocaml@conference.jabber.ru

Среда, 25 августа 2010< ^ >

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

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

GMT+4
[00:00:01] serp256 вошёл(а) в комнату
[00:12:41] serp256 вышел(а) из комнаты
[00:33:28] digital_curse вышел(а) из комнаты
[00:53:34] ermine вышел(а) из комнаты
[00:54:24] ygrek вышел(а) из комнаты
[01:18:02] komar вышел(а) из комнаты
[01:28:38] komar вошёл(а) в комнату
[01:46:11] gds вышел(а) из комнаты
[02:00:52] Typhon вышел(а) из комнаты: Replaced by new connection
[02:00:55] Typhon вошёл(а) в комнату
[02:05:01] komar вышел(а) из комнаты
[02:18:02] Typhon вышел(а) из комнаты
[02:34:29] zert вышел(а) из комнаты
[08:25:15] iNode вышел(а) из комнаты
[08:38:39] gds вошёл(а) в комнату
[08:51:53] iNode вошёл(а) в комнату
[09:07:50] arhibot вышел(а) из комнаты
[09:11:44] arhibot вошёл(а) в комнату
[09:52:46] serp256 вошёл(а) в комнату
[10:07:12] arhibot вышел(а) из комнаты
[10:07:13] arhibot вошёл(а) в комнату
[10:15:14] Typhon вошёл(а) в комнату
[10:16:04] arhibot вышел(а) из комнаты: Replaced by new connection
[10:16:05] arhibot вошёл(а) в комнату
[10:17:31] Mon вышел(а) из комнаты
[10:18:28] Mon вошёл(а) в комнату
[10:21:51] Mon вышел(а) из комнаты
[10:22:45] Mon вошёл(а) в комнату
[10:26:27] arhibot вышел(а) из комнаты: Replaced by new connection
[10:26:28] arhibot вошёл(а) в комнату
[10:26:59] Mon вышел(а) из комнаты
[10:27:37] Mon вошёл(а) в комнату
[10:39:14] Mon вышел(а) из комнаты
[10:39:33] Mon вошёл(а) в комнату
[10:42:08] Mon вышел(а) из комнаты: offline
[10:48:19] <f[x]> http://okmij.org/ftp/Computation/differentiating-parsers.html
[10:49:02] f[x] такое руками делает для Lexing, надо эту науку освоить
[10:54:27] ʇsʎɯ вошёл(а) в комнату
[11:01:34] komar вошёл(а) в комнату
[11:35:29] Mon вошёл(а) в комнату
[11:38:12] serp256 вышел(а) из комнаты
[11:39:00] Kakadu вошёл(а) в комнату
[11:39:47] Kakadu вышел(а) из комнаты
[11:40:41] Kakadu вошёл(а) в комнату
[11:41:58] serp256 вошёл(а) в комнату
[11:45:46] komar вышел(а) из комнаты
[11:46:39] Kakadu вышел(а) из комнаты
[11:46:54] Kakadu вошёл(а) в комнату
[11:51:18] zert вошёл(а) в комнату
[11:58:22] ʇsʎɯ вышел(а) из комнаты
[12:09:18] <arhibot> м, а чем бы быстро документацию смотреть, нечто вроде ocamlbrowser, но консольный(а-ля erl -man <имя модуля>)?
[12:10:00] <arhibot> http://caml.inria.fr/ и только у меня лежит?
[12:10:38] ermine вошёл(а) в комнату
[12:11:49] <Typhon> http://downforeveryoneorjustme.com/caml.inria.fr/ нет, не только у тебя
[12:15:38] <arhibot> черт. можно просто man <Имя модуля>. кто-бы мог подумать
[12:16:45] <f[x]> man 3o чтобы точно
[12:17:36] <f[x]> ну и /usr/share/doc/libxxx-ocaml-dev/html/api/index.html
[12:22:47] <arhibot> тогда еще один вопрос, я правильно понимаю, что tuareg наиболее адекватен для разработки?
[12:23:08] f[x] пишет в виме
[12:23:24] <f[x]> и в far'е
[12:23:54] <arhibot> а всякие нашлепки на эклипс? что-то с виду доверия не внушают
[12:29:17] <f[x]> не знаю, по отзывам - работают
[12:59:32] arhibot вышел(а) из комнаты
[12:59:34] arhibot вошёл(а) в комнату
[13:09:39] <f[x]> caml.inria.fr is back
[13:18:48] komar вошёл(а) в комнату
[13:32:27] <Typhon> из гмыла: http://dl.dropbox.com/u/7365614/123.PNG
[13:37:24] <Kakadu> а в чем прикол?
[14:48:31] <arhibot> что-то не пойму.установил ocaml-batteries-included(1.2.2-1) но что-то не вижу toplevel. Запускаю ledit ocamlfind batteries/ocaml. Выдает что ocamlfind: Cannot find command: /usr/lib/ocaml/batteries/ocaml. В /usr/lib/ocaml/batteries/ куча bat*, а ocaml правда нет.
[14:52:01] <arhibot> что я делаю не так?
[14:56:30] <ermine> а камлофинд нормально относится к косой черте?
[14:58:11] <arhibot> ну в доках так пишут запускать. + "ocamlfind pkg/cmd arg"
[14:59:24] <ermine> новая фича
[15:00:06] <arhibot> 3.11.2-1
[15:00:23] <ermine> это версия камлофинда?
[15:00:39] <arhibot> а, что-то не пойму как посмсотреть -v --version не ест
[15:00:47] <ermine> камлофинд не входит в ocaml
[15:01:34] <arhibot> 1.2.5+debian-1+b1
[15:02:42] <ermine> ну наличие такой фичи обычно проверяют не по версии, а по хелпу
[15:02:57] <arhibot> я из хелпа и взял "ocamlfind pkg/cmd arg"
[15:03:24] <arhibot> симлинк чтоли тупо кинуть ему
[15:05:01] <arhibot> я видимо, чего-то не понимаю
[15:17:25] Typhon вышел(а) из комнаты
[15:23:58] <arhibot> как вообще эти батарейки использовать? загрузил ocaml пытаюсь: open BatString, говорит, что анбаунд.Batteries тоже. кто-нибудь может прояснить, что я делаю не так?
[15:27:03] Typhon вошёл(а) в комнату
[15:34:21] <arhibot> понял.
[17:27:07] Kakadu вышел(а) из комнаты
[17:27:51] iNode вышел(а) из комнаты
[17:35:34] komar вышел(а) из комнаты
[17:52:14] Typhon вышел(а) из комнаты
[18:34:18] arhibot вышел(а) из комнаты
[19:03:49] komar вошёл(а) в комнату
[19:04:33] komar вышел(а) из комнаты
[19:06:21] komar вошёл(а) в комнату
[19:06:34] komar вышел(а) из комнаты
[19:09:01] <f[x]> кто-нибудь может изобразить на delimcc пример номер 6 из http://palm-mute.livejournal.com/12291.html ?
[19:22:59] <f[x]> т.е.
# let l = let p = new_prompt () in push_prompt p (fun () -> let r = shift p (fun k -> k 2 @ k 3 @ k 4) in [1 + r]);;
val l : int list = [3; 4; 5]
[19:23:33] <f[x]> но
# let l = let p = new_prompt () in push_prompt p (fun () -> let r = shift p (fun k -> [k 2; k 3; k 4]) in 1 + r);;
Error: This expression has type 'a list
but an expression was expected of type 'a
[19:25:48] <f[x]> т.е. результат shift'а унифицируется с результатом применения k (собственно continuation'а)
[19:26:19] <f[x]> т.е. надо делать два cont'а, что ли
[19:32:37] komar вошёл(а) в комнату
[19:38:09] komar вышел(а) из комнаты
[19:48:33] komar вошёл(а) в комнату
[19:55:34] iNode вошёл(а) в комнату
[19:56:04] serp256 вышел(а) из комнаты
[20:07:53] Typhon вошёл(а) в комнату
[20:08:59] komar вышел(а) из комнаты
[20:36:48] gds вышел(а) из комнаты: Replaced by new connection
[20:36:50] gds вошёл(а) в комнату
[20:40:25] arhibot вошёл(а) в комнату
[20:51:57] <ermine> а правда, что в caml-list один чувак из jane street писал, что не стал бы веб-программить на камле?
[20:56:44] <zert> веб программить на камле — сорт извращения
[20:56:54] <zert> ещё не жабы с червями, но что-то на грани
[21:11:36] ermine думает, не откатиться ли на камло 3.11
[21:12:24] <ermine> без ocsigen скучно, а в репозитории lwt только что был коммит типа "no 3.12 features, make it really works for 3.11"
[21:42:28] Kakadu вошёл(а) в комнату
[22:53:23] digital_curse вошёл(а) в комнату
[23:32:12] arhibot вышел(а) из комнаты
[23:32:17] serp256 вошёл(а) в комнату
[23:55:41] serp256 вышел(а) из комнаты
[23:59:11] serp256 вошёл(а) в комнату