Objective Caml - Суббота, 2 июля 2011

Objective Caml

ocaml@conference.jabber.ru

Суббота, 2 июля 2011< ^ >

gds установил(а) тему: Камль -- http://caml.inria.fr | Логи -- http://chatlogs.jabber.ru/ocaml@conference.jabber.ru/ | Светлое будущее -- http://camlunity.ru/ | Нефильтрованное настоящее -- https://github.com/camlunity/kamlo_wiki | Портер прошлое -- http://gdsfh.dyndns.org/kamlo/ | Верблюды грязи не боятся! | release crap, enjoy NIH | репортьте баги официальным дилерам | ocaml мёртв, move on

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

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

GMT+4
[00:35:12] komar вышел(а) из комнаты: Replaced by new connection
[00:35:13] komar вошёл(а) в комнату
[00:59:48] bobry вышел(а) из комнаты
[01:03:08] Typhon вышел(а) из комнаты
[01:08:04] <ygrek> gds: в irc overbld обсуждают
[01:16:30] <gds> ygrek: фигассе.  у них есть реалтайм-чатлоги, как тут?
[01:22:15] arhibot вошёл(а) в комнату
[01:29:37] <ygrek> http://tunes.org/~nef/logs/ocaml/11.07.02
[01:30:22] <ygrek> 01
[01:35:33] <gds> эхблин.  надо сесть, накодить одну хрень на баше, дальше уже мелочи.  и сделать нормальные бинарные дистры со свежим камлом.  но вообще удивлён, что народ хоть как-то рассматривает оверблд.  значит есть смысл делать его не только для себя.
[01:43:05] <ygrek> <Lor> So for overbld you need the mainline mingw, not the cygwin port?
[02:00:30] bobry вошёл(а) в комнату
[02:01:27] <gds> в общем, через штатную вебморду этот irc вполне таки асиливается, прикольно.
[02:01:49] <ygrek> можно просто его сюда средиректить
[02:01:50] <gds> конечно, инглиш у меня ональный, сам вижу.
[02:01:56] <ygrek> кстати, почему я до сих пор не сплю
[02:02:00] <ygrek> нормально
[02:02:19] <gds> ну не всегда народ хочет в 1. жаббер-конфы, 2. русских людишек.
[02:02:37] ygrek off
[02:06:19] <gds> у чела там 1am.  часовой пояс понятен.  с широтой вопрос, разве что.
[02:06:59] gds вышел(а) из комнаты
[02:14:28] ygrek вышел(а) из комнаты
[02:24:07] arhibot вышел(а) из комнаты
[02:40:32] komar вышел(а) из комнаты
[02:41:08] komar вошёл(а) в комнату
[09:52:25] ermine вошёл(а) в комнату
[10:04:43] bobry вышел(а) из комнаты
[10:05:09] bobry вошёл(а) в комнату
[10:11:01] arhibot вошёл(а) в комнату
[10:14:34] arhibot вышел(а) из комнаты
[10:16:59] arhibot вошёл(а) в комнату
[10:24:08] arhibot вышел(а) из комнаты
[10:24:09] arhibot вошёл(а) в комнату
[10:26:26] arhibot вышел(а) из комнаты
[10:59:56] ygrek вошёл(а) в комнату
[11:05:57] Typhon вошёл(а) в комнату
[11:39:26] gds вошёл(а) в комнату
[11:43:15] arhibot вошёл(а) в комнату
[11:45:09] <gds> Typhon: substrings посоветовал клёво, но неудобняк, надо их как-то развивать. Думаю хотя бы тупак перекинуть из итератов (где оно аналогично, только subarrays).  И вообще, может, сделать что-то типа ocamldefun-вручную -- писать код для subarray, но препроцессором для подстрок подсовывать module Array = struct type array 'a = string; value get = String.get и всё такое.
[11:46:14] <Typhon> а я глянул в репу — и мне как-то показалось, что там больше было :-) видимо в других местах сейчас разошлось, и не сошлось ещё?
[11:47:58] ygrek вышел(а) из комнаты
[11:48:11] ygrek вошёл(а) в комнату
[11:49:33] <gds> недопонял точно, но лично у меня гемора пока хватает.  причём такой гемор, что думаешь "вот, через недельку угондошу этот вопрос, и всё".  где-то с середины мая так думаю вот уже :)
[11:55:01] Typhon посылает лучи ненависти битбакету — не отправляют нотификацию о коммитах в проекты, за которыми я слежу
[11:55:44] <gds> а может проще подписаться на них через rss какой-нибудь?  ну и в любом случае доложить ребяткам, пусть фиксят.
[11:57:17] <Typhon> я через рсс и подписался, но вот как-то не идут :-(
[11:58:42] <gds> а не могло ли быть так, что пушнули старые коммиты (относительно последнего коммита, полученного через rss)?
[11:59:32] <Typhon> не, походу просто в дэшбоард, с которого я рсс тяну, не попадают коммиты от человека, которого я фолловлю. и нужно индивидуально каждую репу фолловить.
[12:21:13] <gds> ygrek: у тебя с помощью continuous integration system собирается всякое камло под mingw, как я видел, правильно помню?  А можешь поделиться чистой вендой-под-куэму(?)?  Чтобы сель-паехаль.  Теперь доступ к вендовым хостам у меня нечастый, дуалбутиться влом и мешает, значит надо виртуалку заводить для оверблд.  Заодно можно будет оформить снапшоты диска, типа-версионность -- сплошные плюсы.
[12:40:16] <ygrek> gds: ща
[12:45:38] <gds> блин, я наверное как-то непонятно объясняю тому чуваку?  кто там следил за ирц, посмотрите.
[12:45:39] <ygrek> вообще чистую?
[12:46:42] <ygrek> или с проинсталленым камлем?
[12:48:05] <gds> чистую венду было бы желательно.
[12:48:13] <gds> кстати, какая там -- w2k, wxp?
[12:48:22] <gds> windows update умеет?
[12:51:52] <ygrek> w2k
[12:52:05] <ygrek> апдейтов по-моему нет
[12:52:56] <gds> понял.  w2k с радостью возьму в дело.  И просто интересно -- почему не wxp?
[12:54:57] <gds> народ, кто мне с оверблд-торрентами помогал -- прошу, выйдите на раздачу, помогите челу.  "[11:54] <Lor> one peer, three hours left. I'm thrilled."
[12:56:42] ygrek вышел(а) из комнаты
[12:56:57] ygrek вошёл(а) в комнату
[12:59:45] <Typhon> а зачем ему сорцес качать, кстати? у меня все компьютеры, где есть скачанный торрент выключены :-( может выложить куда-то быстро без торрентов ?
[13:00:19] <gds> sources -- чтобы hg pull -u на новую версию, ему надо >=3.12.1
[13:03:38] <gds> если не лень -- идея про "выложить" хорошая, но хз, стоит ли так напрягаться.  у чела шило в жопе, и по-любому ему что-то не понравится.
[13:04:40] ygrek отдаёт какому-то mainline
[13:07:00] <ygrek> wxp не нашлось диска наверное когда ставил
[13:08:55] <gds> ага, понял.  Вроде некритично, и даже неплохо, если гарантируем совместимость "от w2k и выше".
[13:16:28] <gds> кстати вот, я же могу использовать "служебный ресурс" -- поставить трекер, а то и выложить на хттп кучу всего с широким каналом.  вывод: надо делать новый оверблд.
[13:17:56] <ygrek> вот трекер нафиг не надо
[13:18:05] <ygrek> лучше webseed
[13:19:44] <ygrek> gds: http://build.ygrek.org.ua/win2k_i386.qcow2
[13:19:52] <ygrek> 700М
[13:20:07] <ygrek> скрипт для запуска - http://build.ygrek.org.ua/run
[13:20:11] komar вышел(а) из комнаты
[13:20:13] <ygrek> скажешь когда стянешь
[13:21:53] <gds> благодарю за файлы, качаю, сообщу.
[13:21:58] <ygrek> кстати в самом деле, если надо веб-спейс то могу выделить
[13:22:18] <ygrek> под всякую нелегальщину :)
[13:22:41] <ygrek> неLeGall :))
[13:22:41] ygrek вышел(а) из комнаты
[13:22:55] ygrek вошёл(а) в комнату
[13:23:18] <gds> дада, несильванный и нелегалльный софт :)
[13:23:57] <gds> про webseed -- почитал, прикольно.
[13:25:03] <gds> думаю вот -- на каком-то открытом трекере зарегистрить торрент, и достаточно будет поднять раздающий клиент, какой-нибудь rtorrent например.  трекер -- реально, протупил, не нужен.
[13:33:16] arhibot вышел(а) из комнаты
[13:33:41] ygrek вышел(а) из комнаты
[13:34:00] ygrek вошёл(а) в комнату
[14:15:53] <gds> ygrek: скачал всё.  Теперь разбираюсь, чего же оно не запускается.  У тебя xvncviewer каким пакетом предоставлен?
[14:19:24] <ygrek> xvnc4viewer
[14:25:06] ygrek вышел(а) из комнаты
[14:26:08] ygrek вошёл(а) в комнату
[14:26:19] ygrek вышел(а) из комнаты
[14:27:11] ygrek вошёл(а) в комнату
[14:27:34] ygrek вышел(а) из комнаты
[14:28:44] ygrek вошёл(а) в комнату
[14:29:02] ygrek вышел(а) из комнаты
[14:30:08] ygrek вошёл(а) в комнату
[15:22:32] ygrek вышел(а) из комнаты
[15:23:43] ygrek вошёл(а) в комнату
[15:51:45] <gds> ygrek: круто, всё заработало!  Может кому полезно будет знать: для того, чтобы поднялась сетевуха в qemu, под убунтой достаточно поставить пакет kvm-pxe, независимо от того, будет ли использоваться kvm.
[15:56:45] ygrek вышел(а) из комнаты
[18:05:26] komar вошёл(а) в комнату
[18:05:57] ftrvxmtrx вышел(а) из комнаты
[18:08:51] ftrvxmtrx вошёл(а) в комнату
[18:11:17] ygrek вошёл(а) в комнату
[18:51:22] <bobry> товарищи, а есть еще функции 'a -> 'a кроме id?
[18:51:41] bobry решает упражнения к intro to ocaml и не может ничего родить
[18:53:28] <ygrek> если есть одна, значит есть ещё бесконечное множество :)
[18:53:49] Typhon вышел(а) из комнаты
[18:53:51] <bobry> ого, это на основании чего так?
[18:53:54] <ygrek> fun x -> id (id x)
[18:54:17] <bobry> ну это не круто
[20:01:50] <gds> bobry: ещё из таких функций, если рассматривать мономорфные с состоянием, будут функции, возвращающие предыдущий n'ный аргумент.  Кроме того, незавершающиеся функции и функции, кидающие исключение.
[20:48:08] bobry вышел(а) из комнаты
[20:48:14] bobry вошёл(а) в комнату
[20:58:49] Kakadu вошёл(а) в комнату
[21:01:12] Kakadu вышел(а) из комнаты
[21:15:43] <bobry> а есть какая нить перзенташка на тему why ocaml?
[21:18:23] <ermine> чо за странные вопросы у тебя
[21:18:51] <ermine> если уж сюда пришел и засел даже тут, то уже не надо никакого why ocaml
[21:19:04] <bobry> ermine: приятель хочет потрогать какой нить язык летом, выбирает медлу ocaml vs haskell
[21:19:22] <bobry> я его *разумеется* соблазняю на камл, но он хочет чего нибудь полистать сперва
[21:19:28] <bobry> to get a taste как говорится
[21:19:41] <bobry> *между
[21:20:27] <ermine> я видела только про camlp4, на википедии про camlp4
[21:20:41] <bobry> я нашел какую то вводную, но там ничего вау
[21:21:02] <bobry> кстати статья про камль на вики прямо неприлично немногословна
[21:21:52] <ermine> дык, камло вообще весь компактное
[21:28:18] <ygrek> вот что-то старое, но вроде адекватное - http://www2.lib.uchicago.edu/keith/ocaml-class/why.html
[21:29:20] <bobry> да-да, это уже заслал :)
[21:30:22] <ermine> а есть про вред камла?
[21:30:37] <bobry> где то был пост why ocaml sucks
[21:30:53] <ermine> не
[21:31:07] <ermine> то про суксь, а я про вред
[21:31:28] <bobry> например?
[21:31:47] <ygrek> про суксь то неадекватное
[21:46:13] arhibot вошёл(а) в комнату
[21:54:48] arhibot вышел(а) из комнаты
[21:54:50] arhibot вошёл(а) в комнату
[21:56:17] arhibot вышел(а) из комнаты
[21:56:19] arhibot вошёл(а) в комнату
[22:01:39] ftrvxmtrx вышел(а) из комнаты
[22:01:52] komar вышел(а) из комнаты: Replaced by new connection
[22:01:53] komar вошёл(а) в комнату
[22:02:58] ftrvxmtrx вошёл(а) в комнату
[22:25:30] <gds> bobry: а с какой целью ему?  если проектэйлер, то пусть х-ь берёт, там это самое адекватное.
[22:26:03] <bobry> да ему просто поиграться летом, ничего серьезного
[22:26:32] <gds> тогда agda.  наиграется вдоволь.
[22:27:28] <gds> или coq, но про него не могу сказать, как там удобно кодить -- фишка про program extraction появилась недавно, максимум года три назад, поэтому ещё не попробовал.
[22:27:46] <bobry> agda наверное слишком круто, для человека который ни разу не сталкивался с фп
[22:28:17] <gds> чел математику уважает?  Если да, то однозначно стоит.
[22:30:05] ftrvxmtrx вышел(а) из комнаты
[22:31:36] ftrvxmtrx вошёл(а) в комнату
[22:45:23] ftrvxmtrx вышел(а) из комнаты
[22:47:14] ftrvxmtrx вошёл(а) в комнату
[22:50:21] arhibot вышел(а) из комнаты
[23:07:27] gds вышел(а) из комнаты