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

Objective Caml

ocaml@conference.jabber.ru

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

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

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

GMT+4
[00:13:17] <gds> я таки хочу попробовать этот typerex ( http://www.typerex.org/ ).  но заставлю их фиксить всё, например, https://github.com/OCamlPro/typerex/issues/15
[01:50:36] f[x] вошёл(а) в комнату
[01:54:16] f[x] вышел(а) из комнаты
[02:14:59] f[x] вошёл(а) в комнату
[02:18:45] f[x] вышел(а) из комнаты: Computer went to sleep
[03:07:03] komar вышел(а) из комнаты
[03:09:52] komar вошёл(а) в комнату
[03:34:36] letrec вошёл(а) в комнату
[03:48:29] ftrvxmtrx вышел(а) из комнаты
[03:48:50] ftrvxmtrx вошёл(а) в комнату
[03:54:57] ftrvxmtrx вышел(а) из комнаты
[03:56:04] ftrvxmtrx вошёл(а) в комнату
[03:59:00] ftrvxmtrx вышел(а) из комнаты
[04:00:08] ftrvxmtrx вошёл(а) в комнату
[04:00:52] ftrvxmtrx вышел(а) из комнаты
[04:01:43] ftrvxmtrx вошёл(а) в комнату
[04:42:43] letrec вышел(а) из комнаты
[04:56:11] ftrvxmtrx вышел(а) из комнаты
[04:59:09] ftrvxmtrx вошёл(а) в комнату
[04:59:11] ftrvxmtrx вышел(а) из комнаты
[04:59:26] ftrvxmtrx вошёл(а) в комнату
[05:14:00] ftrvxmtrx вышел(а) из комнаты
[06:03:03] <gds> до сообщения гаррига в рассылке не знал, что можно звать топлевел с такими ключами, как -dlambda.  Узнал.  Кое-что станет проще.
[06:31:41] klapaucius вышел(а) из комнаты
[06:48:17] ermine вошёл(а) в комнату
[07:55:14] ftrvxmtrx вошёл(а) в комнату
[08:06:01] ftrvxmtrx вышел(а) из комнаты
[08:10:12] ftrvxmtrx вошёл(а) в комнату
[08:49:10] superbobry вошёл(а) в комнату
[08:51:33] <superbobry> и чего они свой мод для емакса запилили
[08:53:55] <gds> как первый шаг ко всемирному господству, судя по планам.  другие редакторы тоже рассматривают в планах.
[08:56:10] <superbobry> и второй вопрос -- неужели нельзя было оформить это таки в виде мода
[08:56:28] <gds> вроде почти так и оформили, или нет?
[08:57:31] <superbobry> ага -- показалось что на gh лежит емакс
[08:58:49] <superbobry> "TypeRex is our development studio for OCaml. It works well with Emacs, but modern users like to use Eclipse for everything."
[08:58:54] <superbobry> lawl
[08:59:53] <gds> пусть пилят.  Нельзя отказывать им в этом.
[09:00:00] <superbobry> true
[09:02:52] <superbobry> вообще, пасаны молодцы! скриншоты этого дела выглядят очень вкусно
[09:03:11] <superbobry> gds, поделишься впечатлениями как поставишь?
[09:04:16] <gds> поделюсь.  Но сам эту штуку изнутре ковырять не буду принципиально.  И время сэкономлю, и всем добро сделаю, нехай фиксят сами.
[09:07:09] <superbobry> если кто запилит рецепт для el-get, поделитесь?
[09:20:55] ftrvxmtrx вышел(а) из комнаты
[09:21:48] ftrvxmtrx вошёл(а) в комнату
[09:41:51] ftrvxmtrx вышел(а) из комнаты
[09:54:26] ftrvxmtrx вошёл(а) в комнату
[10:40:00] ftrvxmtrx вышел(а) из комнаты
[11:11:05] <f[x]> гг, ещё один пакетманагер - ocp-get
[11:11:18] <superbobry> иде?
[11:11:28] <f[x]> github/ocamlpro
[11:12:11] <komar> Бида, бида!
[11:13:56] <superbobry> server-based
[11:14:00] <superbobry> выкинуть!
[11:15:19] <gds> https://github.com/OCamlPro/typerex/issues/15 -- вот хитрожопые с-ки.
[11:15:26] <f[x]> http://www.ocamlpro.com/projects/projects.html
[11:15:36] <f[x]> всем жмать первую кнопку три раза
[11:15:56] <superbobry> я уже повелся -- это не голосование
[11:16:00] <superbobry> денех они хочут
[11:17:28] <f[x]> подайте кто сколько может на корм верблюдам!
[11:19:51] <gds> на namespaces -- жалко денег.  про венду -- известная история.  про эклипс -- 300 лупу им на воротник, чтобы шею не тёрло.
[11:21:00] <komar> А я даже по ссылке не ходил.
[11:40:23] ftrvxmtrx вошёл(а) в комнату
[11:46:56] <f[x]> > Next release OCaml 3.13 or 4.00 ETA: June 2012
[11:47:14] <f[x]> вот фигли 4.0 если никакой backward compatibility не поломали
[11:47:44] <ftrvxmtrx> хитрый маркетинговый ход
[11:48:26] <komar> Во всем виновата ермайн.
[11:49:24] <f[x]> кстати да
[11:51:07] klapaucius вошёл(а) в комнату
[12:08:24] <ermine> у файрфокса уже 10-ая версия, а изменений в морде не заметно давно :)
[12:09:03] <komar> Морда как была говном на JS, так и осталась.
[12:09:08] <komar> Она совершенна.
[12:09:17] <komar> Если изменить ее, то браузер придется переименовывать.
[12:09:17] <ermine> а еще некоторые боятся числа 13
[12:10:34] <ermine> за выходные в транк камла опять наклали по самые уши
[12:11:48] <ermine> refactoring the "read n bytes from a channel into a new string" idiom
[12:12:30] <komar> Тупикал вечные вопросы окамла же.
[12:13:19] <komar> Тупые х-ты одержимы написанием папиров, а мы свобод^Wоптимизируем чтение в строку.
[12:22:43] <gds> да, бардак.  На самом деле надо оптимизировать запись из строки!
[12:42:29] shaggie вошёл(а) в комнату
[13:03:06] dzhon вошёл(а) в комнату
[13:14:47] Kakadu вошёл(а) в комнату
[13:58:25] dzhon вышел(а) из комнаты: Replaced by new connection
[13:58:27] dzhon вошёл(а) в комнату
[13:58:45] dzhon вышел(а) из комнаты
[13:59:05] dzhon вошёл(а) в комнату
[14:18:13] Typhon вошёл(а) в комнату
[14:18:41] Typhon вышел(а) из комнаты
[14:32:21] <f[x]> oasis новый появился
[14:50:11] <superbobry> предложил преподу по ФП писать проперти тесты для домашних заданий
[14:50:24] <superbobry> на что получил ответ что проперти тесты не нужны
[14:50:25] <Kakadu> это кому же?
[14:50:37] <superbobry> Kakadu, все тому же
[14:50:51] <Kakadu> он наверняка тебя посмотрел по-особенному
[14:50:55] <Kakadu> на тебя*
[14:51:17] <superbobry> та я емейлом предложил -- так что не знаю :)
[14:51:30] <Kakadu> ухи не чесались?*?
[14:52:33] <superbobry> должны?
[14:53:16] <Kakadu> мурыжишь пожилого человека какой-то новодной хренью со стремным названием, что даже Kakadu тебя не понял
[14:53:30] <Kakadu> новомодной*
[14:55:10] <superbobry> новомодной? первый релиз quickcheck'a был в 2006-м году
[14:55:50] <Kakadu> из "проперти тесты" невоводимо "quickcheck"
[14:57:08] <superbobry> почему?
[14:57:21] <superbobry> ну я ему написал конкретно про quickcheck :)
[14:58:00] <Kakadu> чето мне хочется сказать сегодня какую-то колкость, но я пока держусь. так что забей
[14:58:36] <superbobry> :)
[15:00:06] <ermine> выдернуть перо
[15:02:05] ermine вовсю трудится как мама Карло над парсером yaml
[15:12:13] <komar> -_\\\
[15:33:15] dzhon вышел(а) из комнаты
[15:39:03] <ermine> иной раз код генерится такой, что хоть плачь
[15:55:12] dzhon вошёл(а) в комнату
[15:55:38] <Kakadu> http://www.typerex.org/
[15:57:53] <superbobry> Kakadu, этот твой препод так вбрасывает, что даже ответить нечего
[15:58:08] <superbobry> "Кроме того, мне вообще не нравится идея проверки на случайных тестах. Тесты надо подбирать сознательно и с умом."
[15:58:40] <Kakadu> он в некотором смысле прав
[15:58:51] <superbobry> уверен он не это имел ввиду
[15:59:01] <superbobry> тупые property тесты не находят ошибок -- внезапно
[15:59:05] <superbobry> тупые unit тесты тоже
[15:59:23] <Kakadu> ты знаешь какая задача у курса?
[16:00:00] <superbobry> уже не уверен
[16:00:21] <Kakadu> что-нить рассказать про функциональщину тем кто нихрена про неё не знает
[16:00:25] <superbobry> в своем письмо он написал шо хочет мол "красивые" функциональные штуки показать студентам
[16:00:36] <Kakadu> а юнит тесты нужны для сурового продакшена
[16:00:48] <Kakadu> а иногда и для продакшена не нужны
[16:00:53] <Kakadu> так что они не нужны
[16:01:03] <superbobry> что-то ты странное сегодня пишешь :)
[16:01:27] <Kakadu> у меня было два тяжелых дня, в которые я осозновал что жизнь проходит мимо меня
[16:01:38] <superbobry> осознал?
[16:02:02] <Kakadu> нихрена не понял что мне делать
[16:06:16] <superbobry> это тебя парсеры до такого состояния довели?
[16:10:30] <Kakadu> не, не думаю
[16:23:37] Kakadu вышел(а) из комнаты
[16:56:37] <ermine> сфьдз4 - великая вещь, достаточно знать с пяток функций camlp4, чтобы сгенерить кучу кода
[16:59:23] <f[x]> camlp4 = детектор
[17:00:25] <ermine> детектор чего?
[17:01:59] <f[x]> не знаю :)
[17:02:15] <f[x]> у разных людей диаметрально противоположное мнение о camlp4
[17:02:20] <f[x]> и меняется со временем
[17:02:25] <f[x]> забавно наблюдать
[17:03:41] <ermine> да вообще пора бы удавить camkp4 и перейти на то, что завещал прыщ
[17:04:01] <ermine> а он в транке наоборот активно светится в svn log
[17:04:04] <ermine> сфьдз4
[17:04:09] <ermine> а не фриш
[17:07:33] Kakadu вошёл(а) в комнату
[17:08:32] dzhon вышел(а) из комнаты: Replaced by new connection
[17:08:34] dzhon вошёл(а) в комнату
[17:09:39] <f[x]> потому что мейнтейнер вменяемый появился
[17:12:52] <Kakadu> т.е. тот великий срач про Лероя в ванной таки к чему-то привел?
[17:57:35] shaggie вышел(а) из комнаты
[17:57:42] shaggie вошёл(а) в комнату
[17:57:43] shaggie вышел(а) из комнаты
[17:57:47] shaggie вошёл(а) в комнату
[18:09:42] letrec вошёл(а) в комнату
[18:33:57] superbobry вышел(а) из комнаты
[18:43:31] dzhon вышел(а) из комнаты: Replaced by new connection
[18:43:33] dzhon вошёл(а) в комнату
[20:32:46] dzhon вышел(а) из комнаты
[20:32:56] komar вышел(а) из комнаты
[20:33:31] komar вошёл(а) в комнату
[20:41:07] ftrvxmtrx вышел(а) из комнаты
[20:59:41] shaggie вышел(а) из комнаты
[21:04:12] letrec вышел(а) из комнаты
[22:48:14] kennett вошёл(а) в комнату
[22:48:19] <kennett> гг
[22:48:27] <kennett> конечно все просто
[22:49:08] ermine рыдает - как всё сложно в программировании на камле
[22:50:18] <ermine> только показалось, что всё, скомпилится - так нет, всплыла очередняя неразрешимая задача
[22:51:26] <kennett> ermine: до?
[22:51:59] <ermine> да вообще попа полная
[22:52:47] <ermine> Kakadu: а у тебя как дела?
[22:52:56] kennett вышел(а) из комнаты
[22:53:11] kennett вошёл(а) в комнату
[22:53:15] <kennett> :-D
[22:53:30] <kennett> ermine: гигабайта не хватает
[22:54:31] <ermine> мне достаточно 2300 строк кода
[22:55:51] <kennett> ermine: сука
[22:56:07] <kennett> ermine: 23 члена тебе в рыло
[22:56:17] <kennett> ermine: свинячих
[22:56:47] Andrey Popp вошёл(а) в комнату
[22:57:03] <kennett> ermine: ублюдочная сука
[22:57:27] <Kakadu> кастуем сюда производную gds
[22:57:34] <Kakadu> ermine: если что это не мой приятель
[22:57:44] <kennett> сиди нахуй русская сука
[22:58:33] kennett запретили входить в комнату
[22:58:53] <ermine> чо за отродье
[22:59:21] <Kakadu> ermine: ты известна как сударыня что может забанить в любой конфе
[22:59:41] ftrvxmtrx вошёл(а) в комнату
[23:00:02] <ermine> Kakadu: причем они как правило сюда заходят :) больше видимо я не известра
[23:32:35] ermine таки решила одну неразрешимую задачу и грустно смотрит в следующую, в которой нужен хаскильная фича типа f (1/0)
[23:36:19] <ermine> то есть аргумент у f типа int, но должна раизиться ошибка, когда тебе понадобится значение аргумента
[23:39:15] <ermine> пойду помечтаю в горизонтальном положении
[23:39:17] ermine вышел(а) из комнаты
[23:57:21] bobry вошёл(а) в комнату