Objective Caml - Воскресенье, 25 марта 2012

Objective Caml

ocaml@conference.jabber.ru

Воскресенье, 25 марта 2012< ^ >

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

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

GMT+4
[00:23:53] ermine вышел(а) из комнаты
[00:29:57] komar вышел(а) из комнаты: Replaced by new connection
[00:29:57] komar вошёл(а) в комнату
[01:06:00] komar вышел(а) из комнаты
[01:09:22] komar вошёл(а) в комнату
[01:46:19] shaggie вышел(а) из комнаты
[02:17:20] letrec вышел(а) из комнаты
[02:26:21] Kakadu вышел(а) из комнаты
[02:34:38] bobry вышел(а) из комнаты
[03:47:48] komar вышел(а) из комнаты: Logged out
[03:47:53] komar вошёл(а) в комнату
[05:03:17] letrec вошёл(а) в комнату
[06:43:30] letrec вышел(а) из комнаты
[10:32:04] Kakadu вошёл(а) в комнату
[11:33:03] ermine вошёл(а) в комнату
[12:07:08] letrec вошёл(а) в комнату
[12:55:39] bobry вошёл(а) в комнату
[15:01:56] bobry вышел(а) из комнаты
[15:31:09] komar вышел(а) из комнаты
[15:48:32] komar вошёл(а) в комнату
[17:59:35] <gds> лень проверять, может подскажете?  "(==) a b" будет скомпилировано в то же, что и "a == b", если a : char, b : char?
[18:06:49] <ermine> а есть разница между инфиксом и постфиксом после интерпретирования текста с кодом?
[18:13:48] <gds> вот и не знаю.
[18:15:14] <gds> ermine: кстати, это про твои парсеры вопрос.  налепил в coq некий тайпкласс, куда выношу окамловские равенства для char (пока что), ну и для int, float, unit потом по нужде будет.  и вот, чудесами директив инлайнинга добился компиляции в http://paste.in.ua/4050/
[18:15:32] Typhon вошёл(а) в комнату
[18:16:29] <ermine> gds: подозреваю, что в моем парсеры вопросы возникают на каждом чиху :)
[18:17:17] <gds> это не специфично для твоего парсера, просто попалось по пути.
[18:17:25] <ermine> gds: по-моему в camlp4 ast нет разницы между инфиксом и постфиксом, там только let биндинги
[18:17:37] <gds> ладно, хрен с вами, проверю сам.
[18:18:40] <gds> кстати, в чятике это не публиковал, но расскажу.  вчера доказал, что в ermine'овских парсерах предикат "&" (типа lookahead) равнозначен двойному отрицанию этого же предиката.  в громатеках это пишется как " &e = !!e ".  много узнал по пути.
[18:20:50] <ermine> ну доказал, а я эту часть науки не использую, я сэкономила!
[18:21:39] <gds> так я тоже не использую, доказал чисто по приколу.  ну, щас отдохну и пойду дальше портить твой комбаин на coq.
[18:21:45] <gds> портить (!)
[18:23:39] <ermine> у форда & - это и есть сахар, равно как + тоже сахарный регэксп
[18:23:51] <ermine> в смысле e+
[18:52:11] <gds> проверил, сравнения компилируются одинаково, http://paste.in.ua/4051/
[18:57:42] <ermine> все функции изначально префиксные!
[18:58:30] <ermine> беда начинается там где partial application
[18:59:36] <ermine> ((=) 'a') и (fun c -> c = 'a')
[18:59:50] <ermine> вроде как
[19:39:01] komar вышел(а) из комнаты
[19:39:11] komar вошёл(а) в комнату
[20:07:28] bobry вошёл(а) в комнату
[21:34:25] ftrvxmtrx вышел(а) из комнаты
[21:37:12] ftrvxmtrx вошёл(а) в комнату
[21:42:59] <ermine> f[x]: у меня собрался четвертое камло и я проверила там багу с ocamldep, там бага присутствует.
[21:45:22] <ermine> бида-бида
[21:47:35] <ermine> а если собирать с gcc -m32, то вылезает та же бага в сборке, как и раньше - в ocamlc зашивают неправильный путь к ocamlrun
[22:06:38] dzhon вошёл(а) в комнату
[22:12:12] dzhon вышел(а) из комнаты
[23:10:56] arhibot вошёл(а) в комнату
[23:11:01] arhibot вышел(а) из комнаты
[23:16:55] komar вышел(а) из комнаты: Replaced by new connection
[23:16:56] komar вошёл(а) в комнату