Objective Caml - Пятница, 13 апреля 2012

Objective Caml

ocaml@conference.jabber.ru

Пятница, 13 апреля 2012< ^ >

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

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

GMT+4
[00:06:52] Sun][ вышел(а) из комнаты
[00:22:11] komar вышел(а) из комнаты: Logged out
[00:22:15] komar вошёл(а) в комнату
[00:22:17] ftrvxmtrx вышел(а) из комнаты
[00:24:53] <bobry> gds: не хочешь камло поупражнять в code jam?
[00:26:41] bobry вышел(а) из комнаты
[00:32:08] ftrvxmtrx вошёл(а) в комнату
[00:41:27] <Typhon> https://github.com/zoggy/dbforge напоминает sqlgg
[00:47:07] <f[x]> это что-то древнее реанимировали
[01:03:25] Kakadu вышел(а) из комнаты
[01:28:07] f[x] вышел(а) из комнаты: Computer went to sleep
[03:04:14] komar вышел(а) из комнаты: Replaced by new connection
[03:04:15] komar вошёл(а) в комнату
[03:32:24] letrec вошёл(а) в комнату
[04:35:06] tilarids вышел(а) из комнаты
[04:39:58] letrec вышел(а) из комнаты
[05:05:03] Typhon вышел(а) из комнаты
[07:08:29] komar вышел(а) из комнаты: Logged out
[08:41:19] bobry вошёл(а) в комнату
[08:51:39] Typhon вошёл(а) в комнату
[09:15:03] komar вошёл(а) в комнату
[09:16:19] Typhon вышел(а) из комнаты
[09:17:21] bobry вышел(а) из комнаты
[09:30:18] f[x] вошёл(а) в комнату
[09:36:51] Typhon вошёл(а) в комнату
[09:45:28] Typhon вышел(а) из комнаты
[09:45:54] Typhon вошёл(а) в комнату
[09:59:51] Sun][ вошёл(а) в комнату
[10:20:38] Kakadu вошёл(а) в комнату
[10:26:40] f[x] вышел(а) из комнаты
[10:33:17] bobry вошёл(а) в комнату
[10:34:36] ftrvxmtrx вышел(а) из комнаты
[10:38:32] ermine вошёл(а) в комнату
[10:45:19] Typhon вышел(а) из комнаты
[10:45:45] Typhon вошёл(а) в комнату
[10:50:27] ftrvxmtrx вошёл(а) в комнату
[11:04:00] Typhon вышел(а) из комнаты
[11:04:26] Typhon вошёл(а) в комнату
[11:15:37] ftrvxmtrx вышел(а) из комнаты
[11:18:16] ftrvxmtrx вошёл(а) в комнату
[11:19:20] ftrvxmtrx вошёл(а) в комнату
[11:20:36] shaggie вошёл(а) в комнату
[11:20:37] shaggie вышел(а) из комнаты
[11:23:20] tilarids вошёл(а) в комнату
[11:24:00] tilarids вышел(а) из комнаты
[11:24:19] tilarids вошёл(а) в комнату
[11:24:56] bobry вышел(а) из комнаты
[11:28:09] ftrvxmtrx вышел(а) из комнаты
[11:39:29] ftrvxmtrx вошёл(а) в комнату
[11:54:05] <gds> bobry: не, code jam -- лень.
[12:01:35] Typhon вышел(а) из комнаты
[12:02:01] Typhon вошёл(а) в комнату
[12:09:57] Typhon вышел(а) из комнаты
[12:10:22] Typhon вошёл(а) в комнату
[12:15:07] bobry вошёл(а) в комнату
[12:15:46] ftrvxmtrx вышел(а) из комнаты
[12:20:17] ftrvxmtrx вошёл(а) в комнату
[12:26:35] ftrvxmtrx вышел(а) из комнаты
[12:27:12] Typhon вышел(а) из комнаты
[12:27:37] Typhon вошёл(а) в комнату
[12:47:50] <gds> bobry: а хотя вот думаю -- где бы посмотреть на эти задачки без регистрации без смс?
[12:51:15] Typhon вышел(а) из комнаты
[12:51:22] <bobry> думаю что нигде, хотя точно не уверен
[12:51:32] <bobry> задачки с прошлых контестов доступны без регистрации
[12:51:41] Typhon вошёл(а) в комнату
[13:02:21] <f[x]> можно ли "расширить" анонимный объект?
[13:03:03] <gds> f[x]: имхо только прямым перечислением того, что было, с добавлением нового.
[13:03:11] <f[x]> fail
[13:03:25] <f[x]> method x = base #x ?
[13:05:04] <gds> ну да, только так.  Если же знаешь, что метод как бы функция или возвращает что-то постоянное, тогда let bx = base#x in object .. method x = bx
[13:14:59] <f[x]> а почему?
[13:15:29] <f[x]> а, ну потому-что state в общем случае
[13:15:34] <f[x]> ок, печально
[13:18:10] <gds> методы, которые делают что-то при вызове без аргументов -- это не очень добро.
[13:24:11] Typhon вышел(а) из комнаты
[13:24:36] Typhon вошёл(а) в комнату
[13:29:36] shaggie вошёл(а) в комнату
[13:34:14] tilarids вышел(а) из комнаты
[13:39:59] Typhon вышел(а) из комнаты
[13:40:24] Typhon вошёл(а) в комнату
[13:48:51] tilarids вошёл(а) в комнату
[14:04:53] Typhon вышел(а) из комнаты
[14:05:19] Typhon вошёл(а) в комнату
[14:24:49] Typhon вышел(а) из комнаты
[14:43:11] komar вышел(а) из комнаты: Logged out
[15:05:35] tilarids вышел(а) из комнаты
[15:22:20] Typhon вошёл(а) в комнату
[15:31:10] letrec вошёл(а) в комнату
[15:33:10] tilarids вошёл(а) в комнату
[15:33:46] tilarids вышел(а) из комнаты
[15:34:00] tilarids вошёл(а) в комнату
[15:47:47] bobry вышел(а) из комнаты
[16:10:33] Typhon вышел(а) из комнаты
[17:04:34] <f[x]> генератор "новых" типов - http://paste.in.ua/4159/
[17:05:53] Typhon вошёл(а) в комнату
[17:07:20] <gds> f[x]: прилично, даже никогда не думал вынести это в отдельную "идиому".
[17:07:48] <f[x]> вот я прикидываю - есть ли в этом смысл - или академота
[17:09:49] <gds> если сократить до inj/proj -- есть смысл, конечно.  Поюзай, посмотришь.  Но это у тебя скорее не Private, а Newtype какой-то.  А Private был бы
type t = private T.t
val inj : T.t -> t
[17:11:48] <f[x]> угу, принято
[17:13:35] Typhon вышел(а) из комнаты
[17:16:47] Typhon вошёл(а) в комнату
[17:23:28] Typhon вышел(а) из комнаты
[17:23:54] Typhon вошёл(а) в комнату
[17:24:00] <ermine> а ктонить юзает ocamldebug или это тулза только для первоклашек?
[17:34:35] Typhon вышел(а) из комнаты
[17:35:01] Typhon вошёл(а) в комнату
[17:35:40] <gds> ermine: ну это же отладчик.  Дальше рассказывать?
[17:36:33] <ermine> gds: когда ты им в последний раз пользовался?
[17:39:42] <gds> я никогда не пользовался ocamldebug.
А так, чтобы отладчиком в целом -- уже на долгие годы счёт идёт.  Кое-где нужен был soft ice года 4 назад, но не для программирования.  А для программирования -- где-то с 2002..2003г точно без отладчика.  (gdb + "bt" -- только потому, что не знаю, как другими средствами посмотреть стек в корке, а это вполне работает.)
[17:41:42] Typhon вышел(а) из комнаты
[17:42:08] Typhon вошёл(а) в комнату
[17:45:49] Typhon вышел(а) из комнаты
[17:46:16] Typhon вошёл(а) в комнату
[17:49:57] Typhon вышел(а) из комнаты
[17:50:23] Typhon вошёл(а) в комнату
[17:54:34] Typhon вышел(а) из комнаты
[17:55:04] Typhon вошёл(а) в комнату
[17:58:47] Typhon вышел(а) из комнаты
[18:19:13] Sun][ вышел(а) из комнаты
[18:21:57] <f[x]> интересно только будет ли камло это инлайнить в ноль или всё как обычно
[18:43:01] <gds> f[x]: учитывая функторы -- ой сомневаюсь.
[18:50:58] <f[x]> инлайнит вроде
[18:52:32] <f[x]> http://paste.in.ua/4160/
[18:52:36] <f[x]> асм идентичный
[18:56:08] <gds> фигассе!  А если из test1 убрать id, тоже одинаково?
[18:58:14] <f[x]> да
[18:58:32] <gds> удивительно.
[18:58:34] <f[x]> let test1 () = let s = "dsadsa" in print_endline s; s
[18:59:51] f[x] установил(а) тему: OCaml / ОКамл / Камль -- http://caml.inria.fr | Камло - http://camlunity.ru/ | Верблюды грязи не боятся! | release crap, enjoy NIH | репортьте баги официальным дилерам | ocaml мёртв и тормозит, move on | stdlib only? - ССЗБ | Fight FUD with fire
[19:04:17] <ermine> а почему окамль не на ocaml.org?
[19:05:39] shaggie вышел(а) из комнаты
[19:09:26] <gds> ТОМУ ЩО!!111
[19:09:37] ftrvxmtrx вышел(а) из комнаты
[19:27:56] komar вошёл(а) в комнату
[19:36:14] ftrvxmtrx вошёл(а) в комнату
[19:37:17] ftrvxmtrx вышел(а) из комнаты
[19:38:19] ftrvxmtrx вошёл(а) в комнату
[19:56:25] ftrvxmtrx вышел(а) из комнаты
[19:57:18] ftrvxmtrx вошёл(а) в комнату
[20:20:27] ftrvxmtrx вышел(а) из комнаты
[20:34:54] shaggie вошёл(а) в комнату
[20:55:32] shaggie вышел(а) из комнаты
[21:51:09] letrec вышел(а) из комнаты
[22:02:57] Sun][ вошёл(а) в комнату
[22:20:46] Typhon вошёл(а) в комнату
[22:26:10] Typhon вышел(а) из комнаты
[22:27:00] Typhon вошёл(а) в комнату
[22:37:15] Typhon вышел(а) из комнаты
[22:38:19] Typhon вошёл(а) в комнату
[22:40:43] Typhon вышел(а) из комнаты
[22:48:51] bobry вошёл(а) в комнату
[22:57:28] <bobry> "сравните нам пожалуйста вычислительную модель питона и ocaml'a"
[22:57:32] <bobry> "что вам сравнить?"
[22:57:36] <bobry> "..."
[22:57:39] <bobry> чертовы собеседования
[23:01:22] <gds> вопрос двоякий.  как про то, каким образом из аст получаются значения, так и то, какие примитивы есть на нижнем уровне для исполнения байткода и как он исполняется.
[23:10:51] tilarids вышел(а) из комнаты
[23:11:20] tilarids вошёл(а) в комнату
[23:14:43] <bobry> ну, как выяснилось имелось ввиду второе
[23:33:50] <gds> а, то есть, ты был в пассивной позиции.  Понятно.
[23:38:45] <bobry> gds: как ты точно
[23:38:47] <gds> вообще, подобный вопрос сурово порицаю и как бы вбиваю луч древесины им в зад.
"Вам интересна вычислительная модель окамловского байткода до оптимизации, окамловского байткода после оптимизации или окамловского машинного кода?".
[23:39:07] <bobry> ну ээ, в сравнении с питоном?
[23:39:27] <gds> ну да, а чо.
[23:45:58] ermine умиляется смотря как formatter вырисовывает peg грамматику, ну просто загляденье
[23:46:26] <bobry> ermine: покажи чтоли
[23:46:37] <ermine> как же это я, дура, раньше не освоила такой простой форматтер?
[23:47:05] <ermine> bobry: завтра закоммичу, а щас пора отчаливать
[23:48:25] <ermine> неописуемая красота!
[23:48:29] ermine вышел(а) из комнаты