Objective Caml - Вторник, 27 декабря 2011

Objective Caml

ocaml@conference.jabber.ru

Вторник, 27 декабря 2011< ^ >

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

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

GMT+4
[00:11:06] <Kakadu> ничего)
[00:11:28] <bobry> как так?
[00:17:17] <Typhon> я всё по турнирам езжу, даж посмотреть не могу, что там сейчас в коде ^__^
[00:17:45] <Kakadu> а что за турниры?
[00:21:01] <Kakadu> я сам невольно вспомнил свои шахматные турниры.
[00:28:55] <Typhon> алтимат :)
[00:29:20] <Typhon> http://frisbee.by/tourn/winter-brest-2011/
[00:54:45] ftrvxmtrx вышел(а) из комнаты
[01:00:35] ftrvxmtrx вошёл(а) в комнату
[01:08:56] Kakadu вышел(а) из комнаты
[01:11:06] Typhon вышел(а) из комнаты
[01:11:56] komar вышел(а) из комнаты: Replaced by new connection
[01:11:56] komar вошёл(а) в комнату
[01:11:59] komar вышел(а) из комнаты
[01:12:11] komar вошёл(а) в комнату
[01:14:03] f[x] вышел(а) из комнаты
[01:14:23] f[x] вошёл(а) в комнату
[01:43:20] Typhon вошёл(а) в комнату
[01:50:03] Typhon вошёл(а) в комнату
[01:50:07] Typhon вышел(а) из комнаты
[01:50:30] Typhon вошёл(а) в комнату
[02:47:59] f[x] вышел(а) из комнаты
[03:02:33] Typhon вышел(а) из комнаты
[03:33:34] mrm вошёл(а) в комнату
[03:33:50] mrm вышел(а) из комнаты
[03:43:25] mrm вошёл(а) в комнату
[05:49:44] gds вошёл(а) в комнату
[05:56:04] <gds> f[x]: да, дерево это ок.  а ещё хочется O(1) доступ к обоим концам.  а это fingertree.  а его кодить -- дурных нема.
[05:56:25] <gds> bobry: двусвязный список покатил бы, но я забыл уточнить, что нужна чисто функциональная структура.
[05:57:03] <gds> а с барброй -- ну чо, релиз тегом отмечен, какая-то работа в 1.1 ведётся, я её использую на практике.
[08:00:24] <gds> даже если делать не deque, а просто "склеивальщик" (cons/snoc/append), то идея "пихать промежуточные результаты в массив" (там, где можно/нужно) не является чистой победой.  будет либо немало копирования, либо возможность того, что "склеивальщик" будет содержать ссылки не только на те элементы, которые в нём, а это, считайте, утечка памяти.
[08:01:19] <gds> (имею ввиду чисто функциональную структуру, пусть и реализованную не чисто внутри.)
[08:47:22] ftrvxmtrx вышел(а) из комнаты
[08:50:38] ftrvxmtrx вошёл(а) в комнату
[09:29:43] ermine вошёл(а) в комнату
[10:00:16] ftrvxmtrx вышел(а) из комнаты
[10:02:52] ftrvxmtrx вошёл(а) в комнату
[10:18:44] letrec вошёл(а) в комнату
[10:43:06] Typhon вошёл(а) в комнату
[10:43:19] Typhon вышел(а) из комнаты
[10:52:17] Kakadu вошёл(а) в комнату
[11:25:58] bobry вошёл(а) в комнату
[11:27:13] <bobry> даешь барбару 2.0
[11:27:52] <Typhon> с выпуклыми иконками и тенью
[11:28:38] <bobry> sure :)
[11:46:27] ftrvxmtrx вышел(а) из комнаты
[11:49:27] ftrvxmtrx вошёл(а) в комнату
[11:52:08] Typhon вышел(а) из комнаты
[12:02:19] klapaucius вышел(а) из комнаты
[12:02:56] klapaucius вошёл(а) в комнату
[12:13:13] mrm вышел(а) из комнаты
[12:15:40] ftrvxmtrx вышел(а) из комнаты
[12:42:51] <bobry> неприличный вопрос — мине надо как то проверить что 's >= 0' и вернуть ошибку если это не так, как такое в монадическом мире делается? https://github.com/selectel/hsXenCtrl/blob/master/System/Xen.hs#L232
[12:44:35] <bobry> 'when' и 'guard' вроде не катят, потому что первый возвращает () в случае фейла, а второй mzero
[12:46:18] <gds> bobry: любая монада, умеющая ошибки, должна следовать интерфейсу MonadError.  дальше разберёшься.
[12:48:31] <bobry> gds: мерси, я про такую не слышал — щас буду просвещаться
[12:52:02] ftrvxmtrx вошёл(а) в комнату
[13:07:25] Andrey Popp вошёл(а) в комнату
[13:16:25] Typhon вошёл(а) в комнату
[13:24:28] komar вышел(а) из комнаты
[13:33:55] <gds> http://ru-lambda.livejournal.com/134363.html?thread=2130907#t2130907
[13:48:52] shaggie вошёл(а) в комнату
[13:49:02] Typhon вышел(а) из комнаты
[13:56:30] Typhon вошёл(а) в комнату
[14:18:28] Typhon вошёл(а) в комнату
[14:18:56] Typhon вышел(а) из комнаты
[14:19:29] Typhon вошёл(а) в комнату
[14:19:29] Typhon вышел(а) из комнаты
[14:19:53] <klapaucius> Что тут шикарного-то? Большинство хаскелистов/эмелистов на работе на C#/C++ и пишут.
[14:21:44] <f[x]> инфа 100%
[14:22:30] Typhon вышел(а) из комнаты
[14:24:01] <klapaucius> Ну да. Число знающих эти языки на десятичные порядки больше, чем число рабочих мест для программистов на таких языках. Неужели кто-то с этим спорить станет?
[14:25:51] komar вошёл(а) в комнату
[14:28:12] <bobry> пропеарица чтоли :)
[14:28:20] <bobry> нам нужен х-лист или камлист!
[14:28:32] <f[x]> у меня нет глобальной статистики
[14:28:38] <f[x]> зато есть локальная
[14:28:42] <gds> а нам нужен агдист, блеять (чтобы)
[14:29:04] <bobry> :D
[14:32:22] <klapaucius> Глобальной статистики нет, но какие-то оценки сделать можно, просто сравнив к примеру, соотношение подписчиков на теги хаскель/c# на переполнениистека и соотношение соотвествующих вакансий на соотвествующих сайтах.
[14:33:18] <klapaucius> bobry: В какой стране/городе вам нужен хаскелист и на каких условиях?
[14:34:53] <klapaucius> А то я уже пару раз видел вакансии вида: "Мы даем вам возможность перестать программировать на ЯВА и начать программировать на ХАСКЕЛЬ. Мы могли бы взять с вас деньги за это, но настолько великодушны, что не будем, а наоборот, заплатим вам неможечко денежек."
[14:36:47] <bobry> klapaucius: денежек у нас немного — это да, город СПб, сумбурные детали: http://amarao-san.livejournal.com/2341622.html
[14:49:28] Typhon вошёл(а) в комнату
[14:56:57] ftrvxmtrx вышел(а) из комнаты
[14:56:57] bobry вышел(а) из комнаты
[14:56:57] bobry вышел(а) из комнаты
[14:56:57] Andrey Popp вышел(а) из комнаты
[14:56:57] klapaucius вышел(а) из комнаты
[14:59:07] bobry вошёл(а) в комнату
[14:59:17] bobry вышел(а) из комнаты
[15:05:55] Andrey Popp вошёл(а) в комнату
[15:06:03] Andrey Popp вышел(а) из комнаты
[15:11:42] ftrvxmtrx вошёл(а) в комнату
[15:11:45] bobry вошёл(а) в комнату
[15:11:45] bobry вошёл(а) в комнату
[15:11:45] bobry вышел(а) из комнаты
[15:11:45] Andrey Popp вошёл(а) в комнату
[15:11:47] klapaucius вошёл(а) в комнату
[15:11:47] bobry вышел(а) из комнаты
[15:11:48] bobry вошёл(а) в комнату
[15:11:48] bobry вышел(а) из комнаты
[15:11:50] bobry вошёл(а) в комнату
[15:11:50] bobry вышел(а) из комнаты
[15:11:51] bobry вошёл(а) в комнату
[15:11:51] bobry вышел(а) из комнаты
[15:11:52] bobry вошёл(а) в комнату
[15:12:02] ftrvxmtrx вышел(а) из комнаты
[15:12:02] Andrey Popp вышел(а) из комнаты
[15:12:02] klapaucius вышел(а) из комнаты
[15:12:02] bobry вышел(а) из комнаты
[15:12:16] bobry вошёл(а) в комнату
[15:12:22] bobry вышел(а) из комнаты
[15:13:44] klapaucius вошёл(а) в комнату
[15:13:53] bobry вошёл(а) в комнату
[15:15:31] Andrey Popp вошёл(а) в комнату
[15:16:57] ftrvxmtrx вошёл(а) в комнату
[15:17:19] bobry вошёл(а) в комнату
[15:22:36] Typhon вышел(а) из комнаты
[15:24:06] Typhon вошёл(а) в комнату
[15:57:08] Typhon вышел(а) из комнаты
[15:58:17] Typhon вошёл(а) в комнату
[18:07:14] <bobry> как то конечно неудобно с х-леквскими тайпклассами, может я что не так делаю? можно вообще как нибудь "уточнить" метод? т. е. вызывать дефолтную реализацию в случае match failure?
[18:07:19] <bobry> как такие штуки делают?
[18:13:33] <Andrey Popp> bobry: а что такое match failure?
[18:23:23] <f[x]> а что делает х-ь в моей уютной некрофильской комнатке?
[18:24:05] <bobry> Andrey Popp: когда паттерн не сматчился например (fun [] -> 100500) [1]
[18:24:25] <bobry> f[x]: ну я по работе теперь его трогаю, не идти же в (прости господи) h-ll@c.j.r
[18:24:51] <f[x]> идти идти :)
[18:24:58] <f[x]> а тут тебе только один совет могу дать :)
[18:25:13] <Andrey Popp> bobry: не понял всё равно ) как type class связаны с pattern matching...
[18:25:46] <bobry> Andrey Popp: ну я бы хотел откатываться до "общего" метода, обявляенного в тайп классе, если метод инстанса несматчился
[18:26:07] <bobry> f[x]: мне gds иногда подсказывает :)
[18:26:11] <bobry> на то и расчет
[18:26:13] <bobry> лол
[18:26:24] <Andrey Popp> bobry: так нельзя
[18:26:35] <Andrey Popp> пиши total функции )
[18:26:52] <Andrey Popp> bobry: если не секрет — что на h-l можно делать "по работе"?
[18:27:22] <bobry> Andrey Popp: что-то такое https://github.com/selectel/hsXenCtrl :)
[18:27:48] <Andrey Popp> ну это биндинги, но непонятно почему именно х-л
[18:28:26] <bobry> а. мне тоже не очень понятно, камл подошел бы в 100500 раз лучше
[18:40:12] <Typhon> наверное, коллеги bobry, ратующие за х-ль оказались сильнее %)
[19:01:35] letrec вышел(а) из комнаты: Replaced by new connection
[19:01:37] letrec вошёл(а) в комнату
[19:02:18] dzhon вошёл(а) в комнату
[19:50:36] bobry вышел(а) из комнаты
[19:53:22] dzhon вышел(а) из комнаты
[19:54:12] <f[x]> class OCamlValue:
  ...
  intnat = gdb.lookup_type("long")
(gdb) python print OCamlValue.intnat.sizeof
4
(gdb) python print gdb.lookup_type("long").sizeof
8
[19:54:20] <f[x]> WTF??
[20:11:26] Typhon вышел(а) из комнаты
[20:11:43] mrm вошёл(а) в комнату
[20:14:28] dzhon вошёл(а) в комнату
[20:14:51] <f[x]> ага, понятно, gdb когда стартует не знает какая битность у незагруженного ещё образа
[20:54:34] Typhon вошёл(а) в комнату
[20:56:07] mrm вышел(а) из комнаты
[20:58:15] Andrey Popp вышел(а) из комнаты
[20:58:18] gds вышел(а) из комнаты
[21:20:29] shaggie вышел(а) из комнаты
[21:22:21] dzhon вышел(а) из комнаты
[21:26:49] <f[x]> FWIW, http://ygrek.org.ua/p/code/mlvalues.py.html
[21:32:51] Typhon вышел(а) из комнаты
[21:33:56] letrec вышел(а) из комнаты
[21:48:50] dzhon вошёл(а) в комнату
[21:49:26] ftrvxmtrx вышел(а) из комнаты
[21:49:35] dzhon вышел(а) из комнаты
[21:52:04] dzhon вошёл(а) в комнату
[22:26:01] ermine вышел(а) из комнаты
[23:11:09] f[x] вошёл(а) в комнату