Objective Caml - Воскресенье, 17 марта 2013

Objective Caml

ocaml@conference.jabber.ru

Воскресенье, 17 марта 2013< ^ >

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

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

GMT+4
[00:23:42] ftrvxmtrx вышел(а) из комнаты
[00:32:09] Typhon вошёл(а) в комнату
[01:18:14] tilarids вошёл(а) в комнату
[01:29:04] Typhon вышел(а) из комнаты
[01:30:28] Kakadu вышел(а) из комнаты
[01:30:36] tilarids вышел(а) из комнаты: Machine going to sleep
[02:28:02] tilarids вошёл(а) в комнату
[02:53:56] ftrvxmtrx вошёл(а) в комнату
[02:54:09] tilarids вышел(а) из комнаты: Machine going to sleep
[03:06:25] Sun][ вышел(а) из комнаты
[08:51:57] tilarids вошёл(а) в комнату
[09:21:48] f[x] вошёл(а) в комнату
[09:48:24] f[x] вышел(а) из комнаты
[10:34:35] tilarids вышел(а) из комнаты
[10:35:16] ermine вошёл(а) в комнату
[10:41:20] Kakadu вошёл(а) в комнату
[11:06:33] <ermine> f[x]: ну как там резолвилка, что можно сегодня дописывать?
[11:06:43] <ermine> по логу последнее про волосатость
[11:07:00] <ermine> а avsm неожиданно ответил
[11:07:44] <ermine> у него ocaml-dns та еще недоделка, но был бы рад тоже соучастнику процесса
[11:12:57] f[x] вошёл(а) в комнату
[11:21:52] ermine разглядыват именения в коде
[11:22:31] <ermine> assert false палюбому надо выкинуть
[11:26:44] <ermine> f[x]: у тебя не tuareg?
[11:30:56] <ermine> f[x]: все же посмотри на ocaml-dns - более развитый велосипипед
[12:07:31] <f[x]> мне мой велосипед ближе к телу :_
[12:07:36] <f[x]> у меня vim
[12:08:00] <f[x]> а match и | с разными отступами меня бесят!
[13:22:13] komar вышел(а) из комнаты
[13:35:25] komar вошёл(а) в комнату
[13:47:11] <ermine> f[x]: у нас разметка не только там отличается
[13:47:32] ermine щас будет смотреть на ocaml-doc и примеры, про которые писал avsm в письме
[15:07:09] f[x] вышел(а) из комнаты
[17:10:37] Zbroyar вошёл(а) в комнату
[18:11:13] Typhon вошёл(а) в комнату
[18:23:28] Zbroyar вышел(а) из комнаты
[19:08:55] ermine задумалась - а не перейти ли уже на опам - вроде уже стал конфеткой
[19:23:31] <gds> ermine: а перейди, заодно нам расскажешь. Пионерка -- всем ребятам этосамое!
[19:24:28] <ermine> gds: я только что обломалась поставить туда pgocaml, из-за make и Makefile, надо будет в саппорт написать
[19:25:00] <ermine> зато js_of_ocaml поставился
[19:25:14] <gds> обязательно напиши, чтобы $MAKE учитывали.
[19:25:36] <ermine> ща оксигень поставлю
[19:26:13] <ermine> еще сегодня ругательства avsm-у писала про его сборку ocaml-dns вне опама
[19:26:28] <ermine> теперь чтоль модно только внутри опама собирать?
[19:27:18] <ermine> gds: знать бы еще куда писать :)
[19:27:45] <gds> откуда опам брала -- туда и пиши.
[19:28:36] <ermine> у опама и репы пакетов вроде разные адреса
[19:28:48] <ermine> надо будет почитать интернет
[19:29:23] <ermine> оксигень поставился! ого!
[19:29:31] <ermine> точно, после pgocaml и перейду
[19:30:14] <ermine> а, eliom обломался чота там
[19:30:33] <ermine> пошла искать книгу жалоб
[19:44:45] <ermine> хм, это на гитхубе
[19:57:11] Zbroyar вошёл(а) в комнату
[19:58:00] Zbroyar вышел(а) из комнаты
[19:58:13] Zbroyar вошёл(а) в комнату
[20:10:07] f[x] вошёл(а) в комнату
[20:11:54] Typhon вышел(а) из комнаты
[21:11:36] Typhon вошёл(а) в комнату
[21:11:54] Typhon вышел(а) из комнаты
[21:48:07] Sun][ вошёл(а) в комнату
[21:59:46] <aleksey> ermine: переходи уже на coq
[22:01:39] <Zbroyar> aleksey: нет-ли здесь двусмысленности?
[22:02:22] aleksey ищет двусмысленность
[22:03:03] <ermine> aleksey: читала сегодня немножко про coq!
[22:03:13] <ermine> aleksey: но кодить надо на говядине
[22:03:28] <aleksey> фи
[22:03:51] <ermine> тот же функционал, что и в камле, только еще более мутабельный
[22:04:04] <ermine> меньше геморроя с рекурсивностью
[22:04:11] aleksey не верит
[22:04:22] <f[x]> Zbroyar: в этом чате в коке никакой двусмысленности
[22:04:31] <Zbroyar> ermine: говядина - это что?
[22:04:35] <aleksey> go
[22:04:37] <f[x]> gds первую дозу отсыпает бесплатно
[22:04:51] <ermine> в камле надо на каждом шагу песать let rec aux = ..., на говядине просто берем for range
[22:05:22] <aleksey> отдельного чата про coq видимо нет, поэтому эта конфа автоматически становится и про coq :)
[22:05:27] <ermine> пока допишешь длинный let rec aux - уже успеешь забыть, что его неплохо было бы вызвать после in
[22:05:51] <aleksey> ermine: напиши bfs с for range
[22:06:16] <ermine> aleksey: тут уже был подробный чат про coq когда я в прошлый раз пыталась прочитать ту книжку про coq
[22:06:16] <aleksey> или dfs
[22:06:55] <ermine> aleksey: аштойта?
[22:07:09] <aleksey> depth first search
[22:07:35] <ermine> ну я bst реализовала, никаких проблем
[22:07:56] <ermine> не знаю какой из двух search там
[22:08:20] <aleksey> это для графов, а не деревьев поиска
[22:08:41] <ermine> ну а у меня было дерево в массиве
[22:08:50] <ermine> и поиск в нем
[22:09:00] <aleksey> это не то!
[22:09:05] <aleksey> пиши dfs!!!
[22:09:16] <ermine> поделил пополам, проверил... делишь пополам, проверил...
[22:09:34] <ermine> правда узлы сами по себе еще и диапазонами были
[22:10:28] <ermine> aleksey: я не умею dfs и лень читать про него, он вряд ли быстрее чем bst
[22:10:47] <aleksey> дерево в массив так разумно засовывать только если оно сбалансировано и не будет расти
[22:11:07] <ermine> в dfs вроде надо сначала всё обыскать и где-то записать ходы, потом в них и искать
[22:12:01] <aleksey> а если элементы не меняются, то тогда проще простой бинарный поиск делать
[22:12:07] <ermine> ну список диапазонов по-другому и не удобно хранить :P
[22:14:13] <gds> > let rec aux - уже успеешь забыть, что его неплохо было бы вызвать после in
сразу пиши in-часть, либо revised syntax и "aux 12 34 where rec aux a b = ..."
[22:17:57] <ermine> проще уж воспользоваться родным синтаксисом языка
[22:18:10] <ermine> кстати go-mode в емаксе железное
[22:18:33] <ermine> не надо мучаться с выравниванием текста, в отличие от хаскеля и даже камла
[22:18:57] <ermine> и не надо писать ; на конце строчки
[22:19:08] <ermine> клёво!
[22:19:34] <ermine> а для камла люди столетиями мучаются, корчатся и пишут расширители и переделыватели синтаксиса
[22:19:57] <aleksey> ermine: мы не поведёмся!
[22:19:58] ermine передала микрофон следующему оратору
[22:21:03] <f[x]> особенно когда перед глазами такой железный пример - ermine уже год рассказыват какой го классный.. и где?
[22:22:00] <ermine> что где?
[22:22:20] <ermine> сижу "год" в golang@
[22:22:39] <gds> ermine: где -- где. Где?
[22:22:39] <ermine> хотя на самом деле на go я пишу только с конца декабря
[22:22:45] <ermine> и там же с декабря
[22:23:23] <ermine> там еще plan9 иногда на пике темы
[22:23:44] <ermine> кстати в plan9 нету свежего камла, зато go весь с план9
[22:24:04] <aleksey> в plan9 уже придумали select?
[22:24:56] <ermine> там рфорки!!!
[22:25:05] <f[x]> обравилки?
[22:25:55] <ermine> линукс и все остальные только испортили файловую планировку
[22:25:59] <ermine> планерки
[22:27:09] ermine запостила два багрепорта в гитхуб опама и идет в кроватку читать еще пару страниц про coq и страницу про инглиш
[22:28:31] <ermine> чота за перепиской с avsm так и не успела поюзать ocaml-dns
[22:28:35] ermine вышел(а) из комнаты
[22:34:38] f[x] вышел(а) из комнаты
[22:47:49] f[x] вошёл(а) в комнату
[22:57:12] f[x] вышел(а) из комнаты
[23:49:23] Sun][ вышел(а) из комнаты