Objective Caml - Пятница, 17 июня 2011

Objective Caml

ocaml@conference.jabber.ru

Пятница, 17 июня 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:59:56] zert вышел(а) из комнаты
[01:03:07] ygrek вышел(а) из комнаты
[01:05:16] Typhon вошёл(а) в комнату
[01:07:08] komar вышел(а) из комнаты: Replaced by new connection
[01:07:08] komar вошёл(а) в комнату
[02:05:15] ermine вышел(а) из комнаты
[02:57:25] Typhon вышел(а) из комнаты
[04:27:24] klapaucius вышел(а) из комнаты
[07:03:05] <komar> Скажите-ка, ocaml + gtk + винда — насколько это, э-э-э, сложно?
[08:55:25] gds вошёл(а) в комнату
[08:56:28] <gds> komar: в оверблд я скомпилял lablgtk2, но не тестил, вроде.  А так -- брать его, брать gtk (есть бинарные дистры), и вроде не сложно.
[08:57:19] <komar> Овече?
[09:00:28] <gds> http://sourceforge.net/projects/overbld/
[09:01:49] <gds> но в бинарных дистрах там старое камло, а до новых бинарных руки не дошли.  Впрочем, имея старый и имея в репке новый, достаточно заменить tcl/tk на новый (8.4 штоле), добавить libpq, и всё должно скомпилироваться.
[09:36:01] aloner2k вышел(а) из комнаты
[10:11:46] ygrek вошёл(а) в комнату
[10:20:22] ygrek вышел(а) из комнаты
[10:39:31] ermine вошёл(а) в комнату
[11:07:02] f[x] самую первую прогу на камле писал на винде+gtk+gl
[11:07:06] <f[x]> так что нормально там всё :)
[11:08:57] <gds> f[x]: а кто тебе вообще камло порекомендовал, или каким образом вышел на него?
[11:12:28] <f[x]> упоминаний было два - на форуме balancer'а и вот ermine
[11:12:55] <f[x]> через какое-то время созрел и почитал ocaml-tutorial
[11:13:57] <f[x]> http://research.microsoft.com/en-us/projects/fstar/
[11:16:44] <ermine> а чо я?
[11:18:16] ermine не помнит, чтобы заседала на форумах балансера
[11:18:27] <gds> зато в камлолисте светилась.
[11:18:55] <ermine> с дурацкими-то вопросами
[11:21:30] <ermine> gds: а тебя-то самого кто притащил в камло?
[11:21:32] <gds> да это не суть важно.  главное -- русскоязычная девушка это как бы шоке шоке.
[11:21:39] <gds> меня -- ща расскажу.
[11:21:41] <ermine> меня - aleksey, аффтар ежика
[11:24:31] ermine даже помнит свой первый код-задачу, который пыталась написать - чтение из файла
[11:26:02] <gds> я как-то модерил #идошные эхи nice.sources[.d], и там были кучи срачей.  в основном -- "луговский vs others".  луговский травил сишников-плюсовиков-паскалистов всякими лиспами и окамлами, причём было весьма так задорно.
а потом я хотел написать кое-что относительно-высокоуровневое, но знал из более-менее подходящего только сишечьку и немного плюсеки.  (вроде хотел прикинуть mud-сервер, но не помню точно.)  Начал смотреть на плюсы и начала меня охватывать печаль беспросветная.  Вспомнил луговского, стал смотреть на лиспы, но там мозготрахно было, ну и типизацию хотел даже тогда.  А окамл показался весьма простым -- думал, что если императивные возможности и классы есть, то "херня, прорвёмся".
как-то так.
[11:26:16] <ermine> что-то типа try while true do let line = input_line fd in print_line line done with End_of_file -> (), а блин, как же получить файл оттуда собсна?!
[11:29:52] <komar> Ужас.
[11:30:21] <komar> У меня была программа unison, она работала очень хорошо, и я решил потыкать в язык, на котором она написана.
[11:30:25] gds вышел(а) из комнаты: Replaced by new connection
[11:30:27] gds вошёл(а) в комнату
[11:31:27] <f[x]> кстати да, меня тоже согревал тот факт что если что не будет получаться - буду писать императивно в лоб как на паскале
[11:32:24] <gds> ага.  Кстати, зачастую до сих пор так и приходится.
[11:32:26] komar с самого начала пытался писать хоть и через жопу, но функционально, потому что Ъ
[11:33:57] <ermine> одно время я полагала, что камло - это типа как Цэ, просто сам не имеешь дело с аллокациями, а всё остальное точно так же, как в цэ
[11:33:59] <komar> Потом вывел для себя два правила:
1) не пиши имеративно, даже если кажется, что так будет проще и красивее — замучаешься потом отлаживать;
2) не переписывай императивный алгоритм в функциональном стиле, если он работает как надо и изолирован в функцию.
[11:39:22] <gds> komar: п.1 -- бывают настолько императивные по своей природе алгоритмы, что иногда лучше императивно сразу.  п.2 -- согласен полностью.
[11:40:17] <komar> Ну, перемножать матрицы я буду императивно, да.
[11:41:56] <komar> Но всякий долбанный раз, когда я думаю: «эй, а заюзаю-ка я тут парочки перменных, так будет проще здесь все разрулить» — все кончается лишним часом отладки и переписыванием кода в функциональном стиле. Поэтому сделал для себя п.1.
[11:44:00] <gds> такое бывает.
[12:16:03] klapaucius вошёл(а) в комнату
[12:21:15] ftrvxmtrx вышел(а) из комнаты
[12:26:02] <ermine> gds: что означает первая строчка с пятью звездами в вики камлунити на гитхубе?
[12:26:39] <ermine> первая строчка файла
[12:27:54] <ermine> о, в и конце тоже есть
[12:28:14] <ermine> тифона бы допросить
[12:32:30] <gds> ermine: а хрен знает.
[12:35:03] <ermine> gds: ну это метки начала и конца содержимого файла для показа на сайте, видимо, печалит то, что нет нигде файла в markdown, чтобы потестить свой парсер - везде свои отклонения от стандарта :)
[12:36:31] ermine понаписала изврашений в свой комбайн, что и не знает уже, как причесать его
[12:37:35] zert вошёл(а) в комнату
[13:00:27] gds вышел(а) из комнаты
[13:14:07] ftrvxmtrx вошёл(а) в комнату
[13:40:53] <f[x]> кто-нибудь собирал 3.12.0 на mingw?
[13:41:10] <f[x]> как проще всего убрать в баш скрипте убрать \r в конце строки
[13:41:17] f[x] facedesk
[13:41:26] <ftrvxmtrx> dos2unix?
[13:41:32] <ftrvxmtrx> или что-то в этом роде
[13:41:54] <f[x]> забыл уточнить - в башскрипте запущенном в cygwin-шелле на минимальной системе
[13:43:02] <f[x]> ПАТЧЬ@КОМИПИЛЯЙ -> НЕНАВИСТЬ
[13:44:21] <f[x]> sed s/$'\r'//
[13:44:41] <f[x]> спасибо gds'у за наше счастливое детство
[13:44:56] <ftrvxmtrx> можно ещё cat file.txt | tr -d '\r' > file_ok.txt
[13:47:31] <f[x]> ок
[13:47:50] <f[x]> каждый раз когда я сетапаю камло на винду хочется кого-то убить
[13:51:13] <zert> убей того, кто заставляет сетапить камло на винду
[13:54:33] <ermine> zert: у тебя последнее время только деструктивные мысли в голове бродят, не пора ли к психологу?
[13:57:09] <ftrvxmtrx> по-моему, радикализм в среде FP — обычное явление
[13:57:50] <f[x]> себя убивать не хоцца
[14:00:23] <zert> ermine: а что у меня ещё деструктивного?
[14:01:27] <ermine> zert: валить на ирц из-за глюков jabber.el (ну, из свежих идей), чота там еще было
[14:05:20] <zert> f[x] сам кого-то убить хочет, я ему просто говорю, кого надо
[14:07:56] <f[x]> больше всего хочется убить "тех у кого нет винды и они могут жить"!
[14:11:01] Typhon вошёл(а) в комнату
[14:11:29] <zert> а как ты не можешь жить без венды?
[14:15:41] <f[x]> без винды замечательно могу
[14:17:29] <zert> а зачем оно тебе тогда?
[14:19:27] <f[x]> -> build.ygrek.org.ua
[14:21:47] <zert> игрека тогда
[14:35:19] <ermine> а как в parsec выглядит "not"?
[14:42:33] <ermine> кста, а что с icfpc?
[15:00:14] <f[x]> уже идёт :)
[15:40:52] <f[x]> гг PR#5291
[15:43:44] klapaucius вышел(а) из комнаты
[15:45:12] <komar> Ни слова про icfpc.
[15:45:25] <komar> Он идет где-то параллельно, нас не беспокоит.
[15:54:16] klapaucius вошёл(а) в комнату
[16:13:26] <Typhon> гг, точно-точно
[16:13:53] <Typhon> ermine: сделай так, чтобы жаббер ресолвил номера багов в мантисе на урлы %)
[16:24:28] Digimmortal вошёл(а) в комнату
[17:05:12] bobry вошёл(а) в комнату
[17:12:08] klapaucius вышел(а) из комнаты
[18:17:09] bobry вышел(а) из комнаты
[18:23:41] bobry вошёл(а) в комнату
[18:24:47] bobry вышел(а) из комнаты
[20:58:08] f[x] вышел(а) из комнаты: Logged out
[21:10:27] ftrvxmtrx вышел(а) из комнаты
[21:26:59] Typhon вышел(а) из комнаты
[21:58:47] ftrvxmtrx вошёл(а) в комнату
[22:01:55] ftrvxmtrx вышел(а) из комнаты
[22:04:22] ftrvxmtrx вошёл(а) в комнату
[22:21:50] gds вошёл(а) в комнату
[22:25:53] Digimmortal вышел(а) из комнаты
[22:27:32] <gds> f[x]: спасибо принял, но что же делать?
[22:48:28] Typhon вошёл(а) в комнату
[23:01:19] ygrek вошёл(а) в комнату
[23:02:38] <ygrek> всё то же, патчить и компилять
[23:37:54] n1tn4tsn0k вошёл(а) в комнату