Objective Caml - Среда, 22 сентября 2010

Objective Caml

ocaml@conference.jabber.ru

Среда, 22 сентября 2010< ^ >

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

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

GMT+4
[00:03:21] serp256 вышел(а) из комнаты
[00:03:31] serp256 вошёл(а) в комнату
[00:04:38] <olegfink> нету интеграции с фсбуком и твиттырем.
[00:04:59] <Typhon> зато скачать без регистраций всяких можно
[00:05:03] <olegfink> хотя скорее сравнивать его стоит со scribd, а не со slideshare
[00:05:07] <Kakadu> у меня такое ощущения что в qthaskell прописано руками без генерации кода. Или такого быть не может?
[00:06:45] <olegfink> Typhon: догадайся, где здесь написано "бесплатно отконвертируйте и опубликуйте документы без регистрации": http://vuzit.com/ :-)
[00:07:18] <Typhon> да, не особо вебдванольненько :)
[00:07:46] <olegfink> так что он секретный
[00:11:10] <olegfink> Kakadu: ну, наверное может
[00:11:55] <Kakadu> вообще эти хаскелисты извращенцы
[00:11:58] <olegfink> вообще очень интересно посмотреть на "low level qt" (который получается после moc), ведь биндиться-то к нему все равно
[00:12:25] <Kakadu> что значит биндиться к нему?
[00:12:29] <olegfink> может оказаться, что кутишный диспатч (который signal/slot) на окамле вообще напишется запросто
[00:12:39] <Kakadu> вернее почему к нему?
[00:13:16] <olegfink> а к чему еще? реально-то в либах код именно юзаемый уже проепроцессенным кодом
[00:13:17] serp256 вышел(а) из комнаты
[00:13:45] <olegfink> или ты хочешь компилятор c++ при сборке qt/ocaml использовать?
[00:14:31] Kakadu думает к чему он биндится и понять не может
[00:15:03] <olegfink> ну, у меня, видимо, вечерняя косность языка
[00:15:17] <Kakadu> а для меня наверное это время на пора спать
[00:15:30] <olegfink> почти везде, где я говорил про код, я имел в виду библиотеки, к которым биндиться
[00:15:31] <Kakadu> что значит диспатч пишется запросто?
[00:16:13] <Kakadu> я научился создавать полбзовательские слоты, но только с помощью С++
[00:16:20] <olegfink> _насколько я понимаю_, существенная часть moc -- это генерация кода, реализующего семантику signal/slots
[00:16:47] <olegfink> с помощью c++ или с помощью qt/c++?
[00:16:59] <Kakadu> qt/C++
[00:17:46] <olegfink> т.е. с ключевым словом "slots" при описании классов и все дела?
[00:17:51] <Kakadu> lf
[00:17:53] <Kakadu> да
[00:18:29] <olegfink> ну, так moc это препроцессит в "нормальный" c++, добавляя код, который собственно эту систему диспатча реализует
[00:19:32] <olegfink> я как раз и говорил о том, что так как moc все равно использовать не удастся (не генерить же из окамла c++), то этот кусок qt надо будет переписать на окамле, что может оказаться очень интересной задачей, на мой взгляд
[00:19:39] <arhibot> слоты это часть проблемы только
[00:20:37] <Kakadu> ещё раз про moc использовать не удается
[00:20:51] <olegfink> вообще лучше бы, чем предположения высказывать, посмотреть, как другие биндинги устроены к компилируемым языкам -- есть, вроде, для ada, pascal и d
[00:21:06] <olegfink> завтра, если будет время, попробую покопаться
[00:21:32] <Kakadu> а я пока буду ботать рефал
[00:21:39] <Kakadu> надо будет в четверг полуить зачет
[00:21:50] <olegfink> Kakadu: ну, в общем, идея моя была в следующем. тот интерфейс, который описан в документации к qt (он же в хедерах) -- он не совсем c++
[00:22:06] <olegfink> т.е. грубо говоря, описанных функций/классов в библиотеках физически нет
[00:22:47] <olegfink> а есть в них то, что использует твоя программа после препроцессинга moc'ом
[00:22:57] <olegfink> а где это рефал преподают?
[00:23:05] <Kakadu> на матмехе СПбГУ
[00:23:16] <olegfink> а, про это место я знаю
[00:23:20] <olegfink> и что рассказывают
[00:23:22] <olegfink> ?
[00:23:33] <Kakadu> простые программы на рефале
[00:23:47] <Kakadu> надо выходить к доске и получать 5
[00:23:50] <olegfink> ну, так сказать, под каким соусом все это?
[00:24:11] <Kakadu> Гекурсивно-логическое программирование (рефал, пролог)
[00:24:17] <Kakadu> Рекурсивно*
[00:25:13] <olegfink> ясно, про суперкомпиляцию рефала не рассказывают?
[00:25:53] <arhibot> moc -- очень хитрый. Kakadu а почему qt, а не православный gtk?
[00:26:10] <olegfink> arhibot: ну, как минимум потому, что lablgtk уже есть
[00:26:36] <Kakadu> потому что qt а не какая-то хуйня
[00:26:38] <arhibot> olegfink: а оно актуально?
[00:26:54] <Kakadu> я не сижу под гномом
[00:26:59] <olegfink> lablgtk? ну актуальнее некуда
[00:27:04] <Kakadu> он меня раздражает
[00:28:08] <arhibot> количество биндингов к кутям и их качество говорит о многом =)
[00:28:59] <Kakadu> в смысле?
[00:29:04] <olegfink> arhibot: оно говорит о том, что публика избрала очень языкозависимый способ реализации апи
[00:29:46] <arhibot> Kakadu: в смысли, что кроме pyqt лучше ничего не трогать и там не все красиво
[00:30:31] <olegfink> а я знаю, как правильно биндить скриптовые языки к кутям!
[00:30:50] <Kakadu> olegfink: в случае чего пример qtcaml с самописными сигналами.слотами тут http://sourceforge.net/p/qtcaml/git/ci/9eca737d1af325f66d2f668671425a00879db220/tree/testslot/
[00:31:22] <Kakadu> там moc действительно транслирует SLOTS в неведумую хрень
[00:31:53] <Kakadu> вернее SIGNALS а не SLOTS
[00:31:54] <olegfink> 1. взять кути с qtscript 2. написать транслятор из любимого скриптового языка в ecmascript 3. прилинковать интерпретатор любимого скриптового языка к бинарнику с qtscript 4. профит!
[00:32:10] zert вышел(а) из комнаты
[00:33:36] <olegfink> Kakadu: так они user-defined в c++, который препроцессится моком
[00:33:42] <olegfink> а я хочу user-defined в окамле
[00:34:18] <olegfink> я понятия не имею, насколько это возможно, но должно быть весело
[00:34:27] <olegfink> может, тут нужен camlp4? :-)
[00:34:38] <arhibot> LablGTK2 for gtk+-2.0 to gtk+-2.16 -- отстают немного
[00:34:46] <Kakadu> заводишь отдельный файл с заголовками нужных слотов, какая-то тулза его парсит и генерит код на сях, по которому мок генерит хрень которая компилится и рабтает
[00:35:08] <Kakadu> вот такая монада "которая" получилась
[00:35:47] <olegfink> ну, это скучный метод
[00:35:58] <olegfink> веселый -- все-таки написать мок на окамле
[00:36:23] <olegfink> arhibot: не верю
[00:36:46] <olegfink> у меня lablgtk2 2.14.1 прекрасно работает со штатным gtk+-2.20.1
[00:36:55] <arhibot> olegfink: цитата с их сайта
[00:37:12] <olegfink> значит, отстают с правкой сайта
[00:37:45] <arhibot> ага. точно в 2.14.1 changelog написано про gtk-2.20
[00:38:24] <arhibot> показалось
[00:38:32] Kakadu вышел(а) из комнаты
[00:45:12] arhibot вышел(а) из комнаты
[03:42:13] Typhon вышел(а) из комнаты: Replaced by new connection
[03:42:16] Typhon вошёл(а) в комнату
[05:32:21] Typhon вышел(а) из комнаты
[08:38:11] iNode вошёл(а) в комнату
[09:01:16] gds вошёл(а) в комнату
[10:13:18] Typhon вошёл(а) в комнату
[10:33:10] arhibot вошёл(а) в комнату
[10:33:11] komar вошёл(а) в комнату
[10:58:37] serp256 вошёл(а) в комнату
[11:04:30] komar вышел(а) из комнаты
[11:20:29] ermine вошёл(а) в комнату
[11:43:41] <f[x]> если у кого есть сишные биндинги подходящие для http://extunix.forge.ocamlcore.org/ - молвите слово
[11:53:32] olegfink вышел(а) из комнаты
[11:56:58] zert вошёл(а) в комнату
[13:53:26] komar вошёл(а) в комнату
[14:14:50] komar вышел(а) из комнаты
[14:16:20] komar вошёл(а) в комнату
[16:15:57] f[x] вышел(а) из комнаты
[16:17:59] f[x] вошёл(а) в комнату
[16:24:56] f[x] вышел(а) из комнаты
[16:27:05] ʇsʎɯ вошёл(а) в комнату
[16:34:48] f[x] вошёл(а) в комнату
[16:36:44] komar вышел(а) из комнаты
[16:46:42] komar вошёл(а) в комнату
[17:09:21] Kakadu вошёл(а) в комнату
[17:31:38] gds вышел(а) из комнаты
[17:46:50] f[x] вышел(а) из комнаты
[18:12:37] f[x] вошёл(а) в комнату
[18:23:07] gds вошёл(а) в комнату
[18:56:20] arhibot вышел(а) из комнаты
[18:58:11] Kakadu вышел(а) из комнаты
[19:20:15] Typhon вышел(а) из комнаты
[19:33:53] olegfink вошёл(а) в комнату
[19:38:53] Kakadu вошёл(а) в комнату
[19:54:42] <Kakadu> olegfink: я тут подумал, что может быть писать moc на камле не очень круто, потому что если он поменяется в кути, то придется править этот кусок кода
[20:00:56] serp256 вышел(а) из комнаты
[20:18:33] <ʇsʎɯ> http://cstheory.stackexchange.com/questions/1539/whats-new-in-purely-functional-data-structures-since-okasaki
[20:19:45] Typhon вошёл(а) в комнату
[20:51:41] Kakadu вышел(а) из комнаты: Replaced by new connection
[20:51:42] Kakadu вошёл(а) в комнату
[21:16:30] arhibot вошёл(а) в комнату
[21:26:22] Kakadu вышел(а) из комнаты
[21:45:11] komar вышел(а) из комнаты
[21:51:20] ygrek вошёл(а) в комнату
[22:14:09] arhibot вышел(а) из комнаты
[22:16:29] Typhon вышел(а) из комнаты
[22:16:31] ygrek вышел(а) из комнаты: Replaced by new connection
[22:16:32] ygrek вошёл(а) в комнату
[22:16:41] Typhon вошёл(а) в комнату
[22:20:15] Kakadu вошёл(а) в комнату
[22:23:20] ʇsʎɯ вышел(а) из комнаты
[22:33:21] komar вошёл(а) в комнату
[22:36:39] komar вышел(а) из комнаты
[22:37:34] komar вошёл(а) в комнату
[22:39:22] komar вышел(а) из комнаты: Logged out
[22:42:46] Typhon вышел(а) из комнаты: Replaced by new connection
[22:42:48] komar вошёл(а) в комнату
[22:42:49] Typhon вошёл(а) в комнату
[22:43:07] komar вышел(а) из комнаты: Logged out
[22:51:08] arhibot вошёл(а) в комнату
[23:06:19] Kakadu вышел(а) из комнаты
[23:13:13] ygrek вышел(а) из комнаты
[23:21:59] komar вошёл(а) в комнату
[23:24:43] gds вышел(а) из комнаты
[23:28:42] arhibot вышел(а) из комнаты
[23:46:40] komar вышел(а) из комнаты