Objective Caml - Суббота, 3 сентября 2011

Objective Caml

ocaml@conference.jabber.ru

Суббота, 3 сентября 2011< ^ >

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

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

GMT+4
[00:17:50] Typhon вошёл(а) в комнату
[00:18:35] gds вышел(а) из комнаты
[00:23:36] Kakadu вышел(а) из комнаты
[00:59:21] Typhon вышел(а) из комнаты: Replaced by new connection
[00:59:26] Typhon вошёл(а) в комнату
[01:03:01] <Typhon> да они же по ленте мёбиуса ползут!
[01:28:39] Typhon вышел(а) из комнаты
[02:43:47] ftrvxmtrx вышел(а) из комнаты
[03:31:38] ftrvxmtrx вошёл(а) в комнату
[04:29:23] <komar> gds, третья черепашка пиздит.
[04:54:50] ftrvxmtrx вышел(а) из комнаты
[04:55:09] ftrvxmtrx вошёл(а) в комнату
[05:06:07] ftrvxmtrx вышел(а) из комнаты
[05:07:12] ftrvxmtrx вошёл(а) в комнату
[06:27:15] zinid вошёл(а) в комнату
[06:27:30] zinid вышел(а) из комнаты
[06:27:34] zinid вошёл(а) в комнату
[06:27:51] zinid вышел(а) из комнаты
[06:28:28] zinid вошёл(а) в комнату
[08:48:32] gds вошёл(а) в комнату
[09:25:01] <gds> komar: про фолды -- сделай комбинатор над каким-то из фолдов (например, преобразовалку правого в порядок вызова левого), и fold_left заменяй на (r2l fold_right).  В простых случаях ок.
[09:27:50] <komar> А-а-а-а-а!!! Сгинь, нечистая!
[09:28:00] <komar> А, RSS же.
[09:30:25] gds вышел(а) из комнаты: Replaced by new connection
[09:30:26] gds вошёл(а) в комнату
[10:02:08] ftrvxmtrx вышел(а) из комнаты
[10:02:09] ftrvxmtrx вошёл(а) в комнату
[10:07:52] Kakadu вошёл(а) в комнату
[10:22:43] <Kakadu> # let f ((x,_) as a) = x;;
[10:23:09] <Kakadu> всем кроме меня очевидно, что конструкцию с as надо заключать в скобки?
[10:23:26] <Kakadu> # let f ((x,(y,z)) as (a,b)) = x;;
не компилится
[10:23:55] <Kakadu> такое ощущение что после  as надо ставить одинокий идентификатор только
[10:24:02] <gds> as (a,b) не покатит, as ident только.
[10:24:17] <Kakadu> следовательно ... скобки восстанавливаются онозначно?
[10:24:50] <gds> есть разница между ((a, b) as x) и (a, b as x).
[10:25:15] <Kakadu> gds: ч хочу вот так:
let f (x,_) as a = x;;
[10:25:23] <Kakadu> я*
[10:26:34] <gds> зачем?
[10:27:10] <Kakadu> скобочки лень ставить. некрасиво.
[10:28:43] Kakadu бесится с жиру наверное
[10:29:31] <Kakadu> меня вчера ткнули носом, что я ничего не понимаю в ковариантности
[10:30:13] <gds> если по синтаксису нужны скобки с as, то ничего не попишешь особо.  можно даже попробовать понять, зачем скобки.
[10:30:43] <Kakadu> я и пытаюсь понять скобки...
[10:30:50] <Kakadu> пойду пну буржуев
[10:31:43] <gds> видимо, в грамматике были случаи, когда без скобок было неочевидно, какое выражение должно попадать под as.
[10:59:24] ygrek вошёл(а) в комнату
[11:39:15] komar вышел(а) из комнаты: Replaced by new connection
[11:39:16] komar вошёл(а) в комнату
[12:14:20] ftrvxmtrx вышел(а) из комнаты
[12:17:25] zinid вышел(а) из комнаты
[12:46:49] zert вошёл(а) в комнату
[13:02:53] zert вышел(а) из комнаты
[13:20:39] Typhon вошёл(а) в комнату
[13:33:39] zert вошёл(а) в комнату
[14:01:46] Typhon вышел(а) из комнаты: Replaced by new connection
[14:01:50] Typhon вошёл(а) в комнату
[14:10:47] ygrek вышел(а) из комнаты: Replaced by new connection
[14:10:48] ygrek вошёл(а) в комнату
[14:16:12] ftrvxmtrx вошёл(а) в комнату
[14:42:09] ftrvxmtrx вышел(а) из комнаты
[14:43:32] Typhon вышел(а) из комнаты: Replaced by new connection
[14:43:35] Typhon вошёл(а) в комнату
[14:43:50] Typhon вышел(а) из комнаты
[15:06:44] <gds> caml-list: "file a bug into Mantis if no typing expert answers" -- намекнуть им, что ли, что эксперты в шаббат не работают?
[16:04:26] ygrek fails to indent nested lists in float block
[16:06:03] <ygrek> залил cheatsheets by ad1862 на camlunity
[16:06:14] <ygrek> может rss туда прикрутить?
[16:08:01] <Kakadu> ygrek: ты запушить не забыл?
[16:08:16] ftrvxmtrx вошёл(а) в комнату
[16:11:14] <ygrek> нет
[16:13:02] <Kakadu> всё, понял
[16:39:11] ygrek вышел(а) из комнаты
[16:39:29] ygrek вошёл(а) в комнату
[17:27:05] ygrek вышел(а) из комнаты
[17:27:09] ygrek вошёл(а) в комнату
[17:31:39] ygrek вышел(а) из комнаты
[18:51:00] Typhon вошёл(а) в комнату
[18:56:26] Typhon вышел(а) из комнаты: Replaced by new connection
[18:56:29] Typhon вошёл(а) в комнату
[19:05:10] shaggie вошёл(а) в комнату
[19:33:45] ygrek вошёл(а) в комнату
[19:43:31] shaggie вышел(а) из комнаты
[20:04:44] Typhon вышел(а) из комнаты: Replaced by new connection
[20:04:50] Typhon вошёл(а) в комнату
[20:10:14] Typhon вышел(а) из комнаты
[20:59:44] ermine вошёл(а) в комнату
[21:24:48] ygrek вышел(а) из комнаты
[21:44:51] arhibot вошёл(а) в комнату
[22:01:46] arhibot вышел(а) из комнаты
[22:28:35] ftrvxmtrx вышел(а) из комнаты
[22:40:00] zert вышел(а) из комнаты