Objective Caml - Воскресенье, 28 апреля 2013

Objective Caml

ocaml@conference.jabber.ru

Воскресенье, 28 апреля 2013< ^ >

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

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

GMT+4
[00:49:12] mrm вышел(а) из комнаты
[01:07:06] ftrvxmtrx вошёл(а) в комнату
[01:24:46] Kakadu вышел(а) из комнаты
[01:28:39] Typhon вошёл(а) в комнату
[02:27:36] Typhon вышел(а) из комнаты
[02:50:39] tilarids вышел(а) из комнаты: Computer went to sleep
[04:50:05] ftrvxmtrx вышел(а) из комнаты
[05:06:51] ftrvxmtrx вошёл(а) в комнату
[05:31:24] tilarids вошёл(а) в комнату
[05:38:03] tilarids вышел(а) из комнаты: Computer went to sleep
[06:03:58] tilarids вошёл(а) в комнату
[07:43:23] f[x] вошёл(а) в комнату
[07:46:09] <f[x]> mrm: чистым камлобилдом это легко делается
[07:46:37] <f[x]> значит oasis'ом - тоже, т.е. oasis эту часть сборки описывать не будет
[08:25:25] f[x] вышел(а) из комнаты
[08:51:09] oln вошёл(а) в комнату
[08:56:10] tilarids вышел(а) из комнаты
[08:59:31] f[x] вошёл(а) в комнату
[09:09:23] tilarids вошёл(а) в комнату
[09:16:54] <f[x]> mrm: не парься по-модному, делай так чтобы работало.
[10:00:57] komar вышел(а) из комнаты
[10:03:56] ermine вошёл(а) в комнату
[11:25:23] oln вышел(а) из комнаты
[11:57:13] f[x] вышел(а) из комнаты
[12:15:15] d8g вошёл(а) в комнату
[12:18:51] <d8g> Доброго дня. Нет ли у кого CoqArt на английском?
[12:20:39] <d8g> esanserg@yandex.ru
[12:26:44] <gds> d8g: лично у меня нет, но рекомендую "certified programming with dependent types" и "software foundations" (первая позабористее, вторая понежнее).
[12:27:12] <gds> ещё можно обратиться в #coq irc или в рассылку coq-club, но сомневаюсь, что помогут.
[12:43:27] oln вошёл(а) в комнату
[13:28:15] komar вошёл(а) в комнату
[13:58:29] tilarids вышел(а) из комнаты: Computer went to sleep
[14:39:45] d8g вышел(а) из комнаты
[14:59:34] zinid вошёл(а) в комнату
[15:22:39] Zbroyar вошёл(а) в комнату
[15:27:08] oln вышел(а) из комнаты
[15:31:27] oln вошёл(а) в комнату
[17:42:05] <oln> так, что-то я туплю
вот есть список
let a = ["John", "James", "Jakob", "Peter", "Janette", "Tom", "Vasya", "Jean", "Juilia", "Heather"];;
а как выбрать элемент по индесу то?..
[18:06:39] komar вышел(а) из комнаты
[18:13:34] komar вошёл(а) в комнату
[18:19:06] <zinid> никак
[18:19:18] <gds> oln: List.nth
[18:19:34] <zinid> в списках по индексу обычно не ковырятся - накладно
[18:19:58] <oln> понятно, спасибо
[18:19:58] <gds> смотря какие задачи.
[18:20:18] <zinid> по
[18:20:26] <zinid> поэтому я добавил "обычно" :)
[18:20:36] <gds> ваистену так, ибо!
[18:22:19] <aleksey> и запятые там один тьюпл делают
[18:22:58] <gds> ох, этот ваш original syntax.
[18:43:38] <oln> а есть чонить типа print_list?..
[18:46:42] <gds> oln: есть, конечно!  let print_list print_item lst = "[" ^ (String.concat "; " (List.map print_item lst)) ^ "]"
[18:47:31] <gds> использование, соответственно, print_list string_of_int [1; 2; 3]
[18:47:47] <aleksey> это скорее string_of_list
[18:47:56] <gds> да.
[18:48:25] <oln> Благодарю :3
[18:48:38] <gds> если списки небольшие, то можно сначала в строку.  А если списки большие -- значит в программе что-то не так.
[18:49:43] <aleksey> пчу как большой список так сразу не так
[18:50:51] <gds> пчу?  пту!
[18:51:16] <aleksey> может мне по нему не надо туда-сюда ходить
[18:52:02] <gds> то есть, ходить надо только туда, а не сюда?
[18:52:07] <aleksey> ага
[18:52:14] <gds> бери Stream, значит!\
[18:52:24] <aleksey> пару раз пройтись надо
[18:52:36] <aleksey> чем stream тут будет лучше
[18:54:16] <gds> в таких случаях в больших списках нет ничего плохого.  Если человек понимает, что он делает.
[18:55:04] f[x] вошёл(а) в комнату
[19:33:13] zinid вышел(а) из комнаты
[19:41:19] gds вышел(а) из комнаты
[19:42:09] Kakadu вошёл(а) в комнату
[19:44:14] oln вышел(а) из комнаты
[19:47:02] oln вошёл(а) в комнату
[20:17:47] f[x] вышел(а) из комнаты
[21:05:00] Typhon вошёл(а) в комнату
[21:19:45] komar вышел(а) из комнаты: Replaced by new connection
[21:19:45] komar вошёл(а) в комнату
[21:32:02] tilarids вошёл(а) в комнату
[21:34:19] tilarids вышел(а) из комнаты
[22:06:41] Typhon вышел(а) из комнаты
[22:18:59] ermine вышел(а) из комнаты
[22:38:06] Typhon вошёл(а) в комнату
[22:44:45] oln вышел(а) из комнаты
[22:58:09] Typhon вышел(а) из комнаты
[23:04:09] Typhon вошёл(а) в комнату
[23:14:20] Typhon вышел(а) из комнаты
[23:14:47] Typhon вошёл(а) в комнату