Objective Caml - Пятница, 4 февраля 2011

Objective Caml

ocaml@conference.jabber.ru

Пятница, 4 февраля 2011< ^ >

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

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

GMT+3
[00:00:25] Sergey Plaksin вышел(а) из комнаты
[00:19:48] ftrvxmtrx вышел(а) из комнаты
[00:20:04] ftrvxmtrx вошёл(а) в комнату
[00:23:34] ftrvxmtrx вышел(а) из комнаты
[00:23:48] ftrvxmtrx вошёл(а) в комнату
[00:56:27] arhibot вошёл(а) в комнату
[01:00:41] gds вышел(а) из комнаты
[01:08:05] ygrek вышел(а) из комнаты
[01:08:59] ftrvxmtrx вышел(а) из комнаты
[01:10:16] ftrvxmtrx вошёл(а) в комнату
[01:10:53] ermine вышел(а) из комнаты
[01:13:38] ftrvxmtrx вышел(а) из комнаты
[01:14:10] ftrvxmtrx вошёл(а) в комнату
[01:16:02] serp256 вошёл(а) в комнату
[01:21:08] ftrvxmtrx вышел(а) из комнаты
[01:21:46] ftrvxmtrx вошёл(а) в комнату
[01:22:33] arhibot вышел(а) из комнаты
[01:25:36] ftrvxmtrx вышел(а) из комнаты
[01:25:51] ftrvxmtrx вошёл(а) в комнату
[01:28:16] ftrvxmtrx вышел(а) из комнаты
[01:29:10] ftrvxmtrx вошёл(а) в комнату
[01:45:30] Kakadu вышел(а) из комнаты
[02:43:30] serp256 вышел(а) из комнаты
[03:04:45] ftrvxmtrx вышел(а) из комнаты
[03:04:56] ftrvxmtrx вошёл(а) в комнату
[03:14:23] ftrvxmtrx вышел(а) из комнаты
[03:15:19] ftrvxmtrx вошёл(а) в комнату
[03:21:40] ftrvxmtrx вышел(а) из комнаты
[03:30:14] ftrvxmtrx вошёл(а) в комнату
[04:52:27] serp256 вошёл(а) в комнату
[05:11:44] serp256 вышел(а) из комнаты
[06:13:55] Typhon вышел(а) из комнаты
[08:15:28] iNode вышел(а) из комнаты: Replaced by new connection
[08:15:29] iNode вошёл(а) в комнату
[09:41:40] ftrvxmtrx вышел(а) из комнаты
[09:43:33] ftrvxmtrx вошёл(а) в комнату
[10:51:22] gds вошёл(а) в комнату
[11:24:17] serp256 вошёл(а) в комнату
[11:38:22] <gds> в общем, для клинических случаев разбора, где требуется какой-либо lookahead, проще брать streams, осилить npeek, осилить junk, и таким образом разбирать.  Тупее некуда, не элегантно, но работает и даёт гарантии о том, какого рода "грамматики" оно разберёт (например, LL(k) уж точно).
[11:59:38] Kakadu вошёл(а) в комнату
[12:01:19] <Kakadu> gds: Насчет перестановки аргументов при итерации это видимо так. ребята из JAneStreet пришли к такому же выводу
[12:03:13] <gds> это хорошо.  Однако кое-где всё-таки старый порядок нужен, например,
lst >> List.map somefunc >> List.iter otherfunc
ну или при
List.iter otherfunc & List.map somefunc lst
[12:05:57] <Kakadu> а если добавить названия к параметрам?
[12:06:17] <gds> тогда будет всё замечательно.
[12:06:29] <gds> почти всё, точнее.
[12:06:37] <gds> "warning: argument applied without label"
[12:07:01] <gds> а эти предупреждения помогали мне ловить логические ошибки, поэтому просто выключать не хотелось бы.
[12:07:19] <Kakadu> сейчас
[12:07:51] <gds> разве что развести по модулям, ListL.iter : ~f:('a -> unit) -> ~lst:(list 'a) -> unit  /   List.iter : ('a -> unit) -> list 'a -> unit
[12:11:01] <f[x]> # StdLabels.List.iter;;
- : f:('a -> unit) -> 'a list -> unit = <fun>
[12:11:51] <gds> да, как-то так.
[12:12:03] <gds> но иногда хочется ещё и список иметь labelled.
[12:13:25] zert вошёл(а) в комнату
[12:18:04] <Kakadu> что-то я не соображу. оставим это
[12:52:18] ftrvxmtrx вышел(а) из комнаты
[13:06:16] ermine вошёл(а) в комнату
[13:12:00] Typhon вошёл(а) в комнату
[15:59:09] Kakadu вышел(а) из комнаты
[16:17:31] komar вышел(а) из комнаты: Replaced by new connection
[16:17:32] komar вошёл(а) в комнату
[16:53:26] komar вышел(а) из комнаты
[16:55:05] komar вошёл(а) в комнату
[17:46:40] Typhon вышел(а) из комнаты
[17:49:17] Typhon вошёл(а) в комнату
[18:02:43] iNode вышел(а) из комнаты
[18:18:41] ftrvxmtrx вошёл(а) в комнату
[20:13:24] <gds> можно ли где-нибудь в списке сложить форматы для sscanf вместе с функциями, выполняемыми в ответ (т.е. "i=%i" будет с функцией с типом int -> res, "s=%s" -- с функцией string -> res), если тип результата одинаковый?  Чтобы потом их выполнять последовательно (их несколько), ловить ошибки всякие типа Scan.Scan_failure и так далее.  А то уже пятая копипаста будет, каждая из которых по 8 строк примерно.  А полноценный парсер для тех мелочей -- смысла нет.
[20:40:58] serp256 вышел(а) из комнаты
[20:45:56] Typhon вышел(а) из комнаты
[20:53:12] <ermine> gds: почитай про unparsing у киселева, там и про scanf есть
[20:56:32] <gds> читал, подход не нравится -- вместо 40 строк кода будет сильно больше.
в общем, перенёс нужное в лексер и не парюсь.
[20:57:46] <ermine> я вот использую unparsing в своей переводилке и радуюсь свободе от принтфа
[20:58:54] <ermine> и что сохранается строгая-строгая типизация
[21:03:23] zert вышел(а) из комнаты
[21:59:45] ffinder вошёл(а) в комнату
[22:01:14] <ffinder> товарищи окамлщики, кто что слышал про язык Mythryl? (производный от SML)
[22:56:46] <ffinder> видимо все спят, а про езыг тот даже гугл не знает...
[22:58:08] <gds> не все спят, но гуглить откровенно лень.  а так -- не слышал, и решил не флудить чятик, так как, в целом, я не слышал о бОльшем количестве вещей, чем слышал, и ответ "не слышал" не является сколько-нибудь информативным.
[22:59:05] iNode вошёл(а) в комнату