Objective Caml - Понедельник, 10 октября 2011

Objective Caml

ocaml@conference.jabber.ru

Понедельник, 10 октября 2011< ^ >

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

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

GMT+4
[00:26:51] Kakadu вошёл(а) в комнату
[00:28:13] <Kakadu> тут чего-нить без меня интересное было? :-)
[00:29:02] <komar> птицо
[00:29:21] <komar> Ермайн искала тебя с туториалом по qt.
[00:30:09] <Kakadu> а до меня сразу не дошло причем тут птица
[00:46:03] Typhon вошёл(а) в комнату
[01:08:28] Kakadu вышел(а) из комнаты
[01:26:08] ygrek вышел(а) из комнаты
[01:55:23] Typhon вышел(а) из комнаты: Replaced by new connection
[01:55:26] Typhon вошёл(а) в комнату
[02:36:43] Typhon вышел(а) из комнаты
[03:36:36] letrec вошёл(а) в комнату
[04:47:22] letrec вышел(а) из комнаты
[08:48:20] Typhon вошёл(а) в комнату
[08:51:56] zert вошёл(а) в комнату
[10:03:26] shaggie вошёл(а) в комнату
[10:18:43] ygrek вошёл(а) в комнату
[10:57:34] bobry вышел(а) из комнаты
[11:08:47] ermine вошёл(а) в комнату
[11:16:29] ygrek вышел(а) из комнаты
[11:27:13] <ermine> хе, а мой вопрос в мейллист lablgt2 тоже сподвигает к добавлениям в lablgtk2
[11:27:22] <ermine> что б они делали без меня?
[11:50:36] f[x] вошёл(а) в комнату
[11:52:51] Kakadu вошёл(а) в комнату
[12:27:53] <ermine> Kakadu: какой туториал по qt посоветуешь полистать?
[12:33:38] <gds> ermine: show -- ага, но лучше вариантов нет.  to_string/to_s задолбаешься писать.  dump -- по смыслу другое.  print -- намёк на действие по реальному выводу куда-либо.
[12:34:48] <ermine> gds: represent :)
[12:35:08] <gds> длинно!
[12:36:13] <ermine> gds: а по смыслу больше годится чем show
[12:37:14] <Kakadu> ermine: я так особо мануалов не читал. Там суперсправка рукописная и хорошая, супер помагает
[12:38:49] klapaucius вошёл(а) в комнату
[12:39:01] <gds> ermine: под representation в камле обычно имеют в виду реальное представление данных -- например, для ассоциативных списков репрезентация будет иметь вид списка из туплов ключа и значения.  для окамловских значений также есть репрезентация в виде Obj.t и Obj.repr : 'a -> Obj.t.  так что не всё так хорошо, надо было бы в идеале represent_as_string или string_representation, чтобы учесть этот момент.
хотя это всё философствования.
[12:40:07] <Kakadu> gds: а sexplib не будешь использовать?
[12:40:37] <gds> может и буду.  а что случилось?
[12:40:55] <Kakadu> gds: в смысле что случилось?
[12:41:18] <gds> ну, наверное вопрос подразумевал какое-то дальнейшее развитие темы?
[12:41:44] <Kakadu> gds: да вроде не особо
[12:42:10] <Kakadu> хотя я тут задавал вопрос зачем в  js юзают sexplib
[12:42:23] <ermine> Kakadu: а в lablqt апи 1:1?
[12:42:37] <Kakadu> они сказали, что для получения human-readble строк
[12:43:00] <Kakadu> ermine: в lablqt не всё охвачено из qt
[12:43:33] <ermine> Kakadu: ну это дело наживное, в lablgtk2 как оказалось тоже
[12:44:33] <ermine> шас попробую применить ответ из мейллиста
[12:47:41] bobry вошёл(а) в комнату
[12:51:31] <Kakadu> самая большая проблема сейчас --- это наследование
[12:51:42] <Kakadu> в кути много на этом завязано
[12:53:08] <Typhon> gds: ermine repr кстати!
[12:53:14] <Typhon> а-ля питон %)
[12:57:45] <gds> не хочется мешать смыслы, вот чо.  впрочем, переписывать тоже не хочется -- надо было вовремя советовать, бебебе!
[13:07:33] АК вошёл(а) в комнату
[13:14:25] <f[x]> в inria спалили машину времени -> http://planet.ocamlcore.org/
[13:18:45] <Kakadu> f[x]: )
[13:19:21] <Kakadu> может перевести на русский и затроллить всех на хабре?
[13:32:22] ygrek вошёл(а) в комнату
[13:36:13] f[x] вышел(а) из комнаты
[13:36:21] f[x] вошёл(а) в комнату
[13:43:07] ygrek вышел(а) из комнаты
[13:45:53] bobry вышел(а) из комнаты
[13:52:14] komar вышел(а) из комнаты
[14:14:22] komar вошёл(а) в комнату
[15:23:45] f[x] вышел(а) из комнаты
[15:27:13] letrec вошёл(а) в комнату
[15:31:16] <Kakadu> я запостил про наследование буржуям, посмотрим в каком шоке они будут
[15:34:27] f[x] вошёл(а) в комнату
[15:34:39] <ermine> и когда же кора соберется под фрей
[15:36:16] <Kakadu> ermine: http://groups.google.com/group/ocaml-core/msg/3396d0a0484dd68e
[15:41:32] <ermine> Kakadu: ну значит кора совсем альтернативная
[15:41:54] <ermine> и недостойна своего имени - core
[16:03:32] <Kakadu> хватит ругаться, расскажи что с наследованием делать?
[16:04:19] <ermine> а, для ifru нужно добавить инклюд сокетов
[16:04:27] <ermine> как и для макоси
[16:06:13] <ermine> Kakadu: тырить из lablgtk, там сначала используется неклассоый gtk, а потом на этом видимо что-то типа gtkmm
[16:07:04] <ermine> на основе базовых функций делают скелеты основных виджетов, повторяя классы из gtkmm, потом все остальное базируясь на них
[16:07:24] <ermine> если в qt все сразу на классах, то бяда-бяда
[16:07:43] <ermine> можно еще тытить из qthaskell
[16:12:01] <ermine> Kakadu: напиши в мейллист, что проблему с ifru_addr решило добавление #include <sys/socket.h>
[16:12:09] <gds> > и недостойна своего имени - core
KIR CORE!111
простите.
[16:26:47] <Kakadu> ermine: написал
[16:30:50] <ermine> Kakadu: а там только адепт отвечает?
[16:32:27] <Kakadu> там 1 пост от него, 1 от минского
[16:35:54] <ermine> ну и халтурщики
[16:36:49] <gds> о да.  я никогда не буду использовать core.  с такой-то поддержкой.
[16:38:41] <ermine> gds: теперь уговаривай какаду слететь на чтонить другое
[16:39:35] <gds> да не знаю, надо ли.  Но он лично мне многим помог -- мне не пришлось ходить по этим граблям самому.  И было реально интересно, что за корка это вообще.  Теперь благодаря ему мы все об этом знаем тоже.
[16:40:36] <Kakadu> ermine: pppppp-pp-p-p-p-p-p
[16:40:46] <ermine> gds: а как насчет прохождения граблей с батарейками?
[16:40:54] <ermine> try#2 типа
[16:41:18] <Kakadu> словом прохождение вы мне напоминаете чем я занимался на выходных
[16:41:22] ermine вникает в новый ответ из мейллиста lablgtk2
[16:41:32] <gds> ermine: с батарейками более-менее понятно, они получше тут.
[16:55:08] <Kakadu> оффтопик:
почему на винде команда "del /F filename.ext.*" удаляет в том числе файл filename.ext ?
[16:55:36] <Kakadu> аа
[16:55:38] <Kakadu> понял
[16:55:42] <Kakadu> :facepalm:
[17:11:28] <ermine> а почему?
[17:12:48] <Kakadu> расширение --- это то, что после последней точки
[17:13:15] <Kakadu> хотя
[17:13:33] <Kakadu> а, ну правильно
[17:13:48] <Kakadu> если есть файлы file.ext file.ext.1 file.ext.2
[17:14:15] <Kakadu> то del /F file.ext.* посчитает что file.ext --- это имя и удалит всё
[17:14:21] <ermine> ну звезда стоит после точки
[17:14:50] <Kakadu> ну винда же
[17:15:03] <ermine> ну имя не матчится
[17:15:09] <ermine> матчится без точки
[17:15:29] <Kakadu> ?
[17:15:35] <ermine> вообще как-то хитро у вас все там :)
[17:15:58] <Kakadu> ненене, я к фа диезу и винде не имею отношения если что
[17:16:07] <ermine> а чем file.ext отличается от file.ext.* ?
[17:16:37] <ermine> надо спросить у гейтса :)
[17:17:03] <Kakadu> не актуально. они уже powershell придумали
[17:46:00] zert вышел(а) из комнаты
[18:09:30] Typhon вышел(а) из комнаты: Replaced by new connection
[18:09:31] Typhon вошёл(а) в комнату
[18:17:16] Typhon вышел(а) из комнаты: Replaced by new connection
[18:17:17] Typhon вошёл(а) в комнату
[18:24:57] <Kakadu> gdsом можно гордиться. К тому что к каждому qt классу нужна обертка изнаследующая его он пришел независимо от х-тов
[18:30:31] <Kakadu> самое интересное что в х-е сишные хедеры видны, а плюсовых фалов нет
[18:31:09] <Kakadu> не, нашел
[18:57:59] shaggie вышел(а) из комнаты
[19:22:53] <gds> Kakadu: прикольно!  А там как решают вопрос с невиртуальными методами?
[19:23:36] <Kakadu> насколько я понял там нет наследования
[19:24:29] <Kakadu> в обертке виртуальные методы как-то реализуются, и появляются метода типа setKeyPressEventHandler
[19:26:42] <Kakadu> gds: ну и при вызые виртуальных методов проверяют if (handlerSet
[19:27:13] <gds> а если плюсеки вызовут невиртуальный метод, то что делать?
[19:28:21] <Kakadu> я пока не понял. Если честно это пример из головы, и может это в кути и нет, хотя вероятность велика
[19:35:21] <Kakadu> может отловить их в ирке?
[19:46:35] <ermine> сегодня у меня тоже ничо не получается
[19:46:38] <ermine> ых-ых
[19:50:40] <Kakadu> ermine: да забей ты на это гтк
[19:50:44] <Kakadu> она всёравно некрасивое
[19:51:20] <ermine> Kakadu: дык lablgtk не требует кору, в отличие от!
[19:51:47] ermine пойдет напишет еще одно письмо в мейллист lablgtk
[19:52:08] <ermine> там отзывчивый чваак есть, но тоже туповат как я
[19:56:32] <ermine> у меня там проблема с кастомерными сигналами, а в lablgtk нет нигде биндинга к функции создания нового сигнала
[19:58:01] <ermine> Kakadu: пока кора не компилится (я еще ничего не знаю про core-extended, но надеюсь, что она еще хуже), lablqt нет смысла даже попробовать
[20:03:20] <Kakadu> ermine: а у тебя бсдя основная система?
[20:04:11] <ermine> Kakadu: основной настольный десктоп!
[20:04:48] <ermine> линукса в этой квартире даже нет
[20:04:57] <ermine> хотя тут компов навалом
[20:05:35] <Kakadu> ermine: а как ты пришлв к бсде?
[20:06:09] <Kakadu> и можешь ! не ставить, я не виндузятник
[20:06:50] <ermine> Kakadu: ну когда-то, лет 14 назад, попросила на #fidorus дать мне сидюки с какой-нить unix-like системой, мне предложили фрю и линукс разные люди, победил тот, кто первым принес
[20:07:17] <ermine> второй (с линуксом) кстати был легендарный Тоботрас
[20:07:33] <ermine> вот кто виноват
[20:07:41] <Kakadu> я даже не знаю кто этот Тоботрас
[20:08:42] <ermine> ууу... ну, времена уже прошли
[20:08:56] <Kakadu> я тогда маленький был и играл в досе
[20:09:03] <ermine> а так - стоял у истоков русского линукса
[20:11:13] <ermine> Kakadu: давай как-нить скомпилим lablqt без коры
[20:11:41] <ermine> в camlp4 тоже есть генераторы мапов и листов
[20:12:44] Typhon вышел(а) из комнаты
[20:16:28] komar вышел(а) из комнаты: Replaced by new connection
[20:16:29] komar вошёл(а) в комнату
[20:19:57] letrec вышел(а) из комнаты
[20:48:18] shaggie вошёл(а) в комнату
[20:49:35] shaggie вышел(а) из комнаты
[20:59:04] bobry вошёл(а) в комнату
[21:51:08] Typhon вошёл(а) в комнату
[21:56:03] Typhon вышел(а) из комнаты: Replaced by new connection
[21:56:05] Typhon вошёл(а) в комнату
[22:34:20] ermine вышел(а) из комнаты