Objective Caml - Четверг, 22 сентября 2011

Objective Caml

ocaml@conference.jabber.ru

Четверг, 22 сентября 2011< ^ >

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

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

GMT+4
[00:44:31] Typhon вошёл(а) в комнату
[00:57:12] Typhon вышел(а) из комнаты: Replaced by new connection
[00:57:14] Typhon вошёл(а) в комнату
[01:01:10] <Kakadu> надо будет днем подумать что дальше делать с lablqt
[01:01:22] <Kakadu> а то самому решать что надо писать байндинги к qml не хочется
[01:01:46] <Kakadu> надо в текущий вариант ещё приписать каст из камлёвых списков
[01:02:03] <Kakadu> как-то может кастовать типы QVector и QMap
[01:02:11] <Kakadu> и протестить ещё как-то
[01:02:26] <Kakadu> когда память будет утекать , а когда нет
[01:02:36] <Kakadu> и ещё байндиги к qml выглядят страно
[01:02:39] <Kakadu> страшно
[01:02:51] <Kakadu> хорошо что я не писал про lalbqt в камлолист
[01:03:02] <Kakadu> тогда была билд-система ужасно
[01:03:06] <Kakadu> сейчас получше
[01:03:16] <Kakadu> спасибо bobry
[01:03:17] Kakadu вышел(а) из комнаты
[01:38:25] ftrvxmtrx вышел(а) из комнаты
[02:01:52] Typhon вышел(а) из комнаты
[03:03:19] Typhon вошёл(а) в комнату
[04:04:02] letrec вошёл(а) в комнату
[04:12:55] Typhon вышел(а) из комнаты
[05:09:30] letrec вышел(а) из комнаты
[07:57:10] ftrvxmtrx вошёл(а) в комнату
[08:28:38] gds вошёл(а) в комнату
[10:11:04] iNode вышел(а) из комнаты
[10:49:15] bobry вошёл(а) в комнату
[11:19:41] bobry вышел(а) из комнаты
[12:39:41] Kakadu вошёл(а) в комнату
[12:40:17] Typhon вошёл(а) в комнату
[12:56:13] ftrvxmtrx вышел(а) из комнаты
[13:00:32] <Kakadu> gds: а не подскажешь где первоисточник кода let f x = Float_as_int.(x * x);;
?
[13:01:24] <gds> Kakadu: недопонял вопроса.  Код взялся конкретно из моей головы, с конкретным модулем Float_as_int, описанным в InfixOps ниже.
[13:02:19] <Kakadu> gds: просто я никогда подобного не видел. Сложилось ощущение, что ты на днях прочитал новую фичу 3.13 и её прописал
[13:02:42] <f[x]> это 3.12 фича
[13:03:52] <gds> натурально.  http://caml.inria.fr/cgi-bin/viewcvs.cgi/ocaml/version/3.12/Changes?rev=10667&view=markup :
- Local opening of modules in a subexpression.   Syntax: "let open M in e", or "M.(e)"
[13:05:01] <Kakadu> а, понял
[13:05:16] <Kakadu> просто если не знаешь, что такое M.(x*x) то не догадаться
[13:06:22] <gds> ага, на вид сложновато распарсить.  А так -- оператор ( * ) и всё тут.
[13:07:09] <Typhon> ой, а я нормально воспринял
[13:07:13] ftrvxmtrx вошёл(а) в комнату
[13:07:17] <Typhon> типа , выполни подвыражение в контексте модуля M
[13:07:35] <gds> так ты может pa_do видел раньше.
[13:09:38] <Kakadu> gds: А если бы ты писал lablqt , то когда бы ты его начал писарить в рассылке?
[13:10:10] <Typhon> я не gds, но отвечу: когда на нём можно было сделать окно с мессадж боксом каким-нибудь
[13:10:53] <Typhon> f[x]: а что, я дурак, или mldonkey в убунту стандартных репах нет? есть mldonkey-server и какой-то gui который после установки я не смог найти. при это гуи не трбовал сервер
[13:10:55] <gds> Kakadu: в рассылке -- когда простые, но кое-как демонстрирующие мощь примеры начнут нормально собираться и работать.  Typhon подсказывает про message box, но я бы чуть попозже -- хотя бы текст, кнопка, ну и ещё что-нибудь -- чекбокс какой-нибудь, например.
[13:11:40] <Kakadu> и ещё скажу за боброго, когда можно будет это нормально собрать
[13:11:43] <Kakadu> собирать*
[13:12:00] <gds> кстати, я тут этосамое на отличненько:
String.map_reduce : (char -> 'a) -> Monoid.t 'a -> string -> 'a
[13:12:18] <Typhon> ну да, про мессадж бокс упрощение, то есть вообще минимум виджетов, чтобы можно было посмотреть и потрогать, и чтобы народ выразил интерес, а том может и помог
[13:12:34] <gds> логично.
[13:12:51] <Kakadu> про возможные поётки памяти никому лучше не рассказывать пока
[13:13:08] <Kakadu> короче
[13:13:22] <Kakadu> надо идти писать французскому султану
[13:13:23] <gds> ну да, есть куча либ, которые текут, и ничо.
[13:15:05] <Kakadu> кстати, если человек посмотрит на https://github.com/Kakadu/lablqt/blob/master/build.ml, то он поймет как это руками собрать?
[13:16:54] <f[x]> Typhon: ну mldonkey состоит из демона и гуя к нему
[13:17:14] <f[x]> gui не требует демона потому что он может быть запущен на удалённой машине
[13:17:37] shaggie вошёл(а) в комнату
[13:17:45] <gds> а, так про String -- у меня там есть
String.map_reduce : (char -> 'a) -> Monoid.t 'a -> string -> 'a
String.monoid_concat = new Monoid.t "" ( ^ );
и теперь я всегда смогу записать string_identity как
fun x -> String.(map_reduce string_of_char monoid_concat x)
вот какие у меня mad skillz!
[13:18:10] <gds> Kakadu: понять можно, но нужно ли?
[13:18:35] <Typhon> f[x]: что-то гуй как-то не гуевал, но надо ещё глянуть. под виндовсом я веб интерфейс трогал, на убунте хочу посмотреть гуй
[13:19:03] <Kakadu> gds: ну этот скрипт в принципе всё компилит
[13:19:20] <gds> тогда зачем понимать, как руками собирать?
[13:19:42] <Kakadu> у кого-нибудь обязательно что-то не заработает
[13:20:10] <gds> тогда в скрипте надо сделать нормальную диагностику -- например, печатать бэктрейс, если вдруг чо.
[13:24:13] <f[x]> Typhon: gui несколько есть
[13:24:52] <f[x]> Typhon: http://mldonkey.sourceforge.net/Gui
[13:25:01] <f[x]> многие sancho используют
[13:33:48] <Typhon> я тупо apt-cache search mldonkey сделал и смотрел там гуи :-)
[13:33:52] <Typhon> ок, надо потрогать
[13:34:03] ftrvxmtrx вышел(а) из комнаты
[13:36:25] komar вышел(а) из комнаты: Replaced by new connection
[13:36:26] komar вошёл(а) в комнату
[13:48:04] komar вышел(а) из комнаты
[14:03:17] Typhon вышел(а) из комнаты
[14:03:44] Typhon вошёл(а) в комнату
[14:04:05] <Kakadu> короче я написал. Теперь ждем какашек
[14:06:43] Typhon вышел(а) из комнаты
[14:07:40] <Kakadu> хорошо, что я заранее заготовил ответ на вопрос "нахрена мне core_extended"
[14:18:31] <gds> кстати, а реально, нахрена?
[14:19:23] <Kakadu> во-первых ты как-то говорил что было бы интересно чтобы кто-то поюзал коре и сказал как оно
[14:19:45] <Kakadu> во-вторых, ermine говорила что никогда не видела полезной либы нуждающейся в core_extended
[14:27:21] <Kakadu> gds: ^^
[14:29:33] Kakadu вышел(а) из комнаты: Replaced by new connection
[14:29:33] Kakadu вошёл(а) в комнату
[14:40:10] <klapaucius> Ну очевидно же, что core_extended нужно ради val ($) : ('a -> 'b) -> ('c -> 'a) -> 'c -> 'b
[14:48:13] <Kakadu> klapaucius: уже нет)
[14:48:20] <gds> петросян нервно курит.
[14:49:10] <Kakadu> кстати я тут понял что из меня херовый преподователь
[14:49:37] <Kakadu> я не смог объяснить почему List.tl не создает новый список и  человек сбежал из фадиеза на х-ь
[14:50:22] <Kakadu> кстати, легитимно ли каррирование функции на "втором" аргументе называть каррированием. имхо, нет
[14:53:39] <klapaucius> Ну, если он сбежал с F# на хаскель, то это отличный результат. Трудно требовать от преподавателя большего.
[14:57:18] <klapaucius> Но все равно не понятно, как одно с другим связано.
[14:59:39] <Kakadu> человек подумал, что х-ь ленивый, и потому не создает
[15:02:31] <Kakadu> а когда я пытаюсь объяснить, что тупо переставляется указатель на следующий элемент, то получаю  ответ что "так не бывает"
[15:03:28] <klapaucius> Я передумал. Такой человек в хаскель-комьюнити не нужен.
[15:04:37] <klapaucius> Впрочем, указатель не "переставляется", а просто возвращается новый, указывающий на следующий элемент.
[15:04:52] <Kakadu> ну хорошо, не точно выразился
[15:05:00] <Kakadu> просто человек реально шарящий
[15:05:19] <Kakadu> и обожаюший творение мелкомягких дотнет и до-диез
[15:05:37] <Kakadu> поэтому я и попытался ему объяснить фа-диез
[15:08:13] <klapaucius> Ну, если ему он на работе понадобится - он его изучит. А чтоб для развлечения изучать или "общего развития" - F# не тот язык. Все что я на нем писал - писал только и исключительно ради денег.
[15:09:29] <Kakadu> klapaucius: а ты на чем-нибудь писал ради удовольствия?
[15:11:41] <klapaucius> На хаскеле, например, писал с удовольствием. Когда-то что-то на SML писал. Но там удовольствия было куда меньше.
[15:12:39] <Kakadu> я только на камле пишу с удовольствием...
[15:27:17] komar вошёл(а) в комнату
[16:08:09] iNode вошёл(а) в комнату
[16:12:08] Typhon вошёл(а) в комнату
[17:20:37] ftrvxmtrx вошёл(а) в комнату
[17:27:40] klapaucius вышел(а) из комнаты
[18:09:20] komar вышел(а) из комнаты
[18:14:29] letrec вошёл(а) в комнату
[18:47:38] Kakadu вышел(а) из комнаты
[19:42:32] Kakadu вошёл(а) в комнату
[19:49:31] <Kakadu> признавайтесь, кто написал http://habrahabr.ru/blogs/webdev/128952/ ?
[19:51:17] <Typhon> Всеволод из нигмы! %)
[19:51:27] <Typhon> моему коллеге очен тут opalang приглянулся
[19:52:06] <Kakadu> Typhon: что за нигма?
[19:52:58] <Typhon> http://nigma.ru/ поисковик
[19:53:13] <Typhon> в пн а яке от них человек выступал, рассказывал, как они сделали что-то типа вольфрам альфы
[19:53:51] <Kakadu> Typhon: тогда ты слишком тонко пошутил
[19:56:30] <Typhon> да я капитаном очевидностью сыграл просто, но не представился
[20:03:45] letrec вышел(а) из комнаты
[20:09:08] Typhon вышел(а) из комнаты
[21:35:12] Typhon вошёл(а) в комнату
[21:58:23] zert вышел(а) из комнаты
[22:11:11] komar вошёл(а) в комнату
[22:20:26] shaggie вышел(а) из комнаты
[22:22:18] <komar> Твою мать, кто на хабр оксиген запостил?
[22:22:46] <komar> А, чят не читай @ сразу спрашивай, вижу.
[22:23:10] <Kakadu> Эх, не успел про всеволода запетроянить
[22:23:30] <Kakadu> надо его в чатик позвать.
[22:39:03] <bobry> иде?
[22:39:06] <bobry> покажите?
[22:39:14] <Kakadu> ссылка выше
[22:39:23] <Kakadu> кто имеет акк на хабре?
[22:39:26] <Kakadu> )
[22:39:36] <komar> За кого ты нас держишь тут?
[22:39:55] <Typhon> дада, уже выясняли, что никто зашквариться не хочет
[22:39:58] <Typhon> даже в образовательных целях!
[22:45:25] <bobry> дискуссия там конечно гм
[22:47:32] Typhon вышел(а) из комнаты: Replaced by new connection
[22:47:35] Typhon вошёл(а) в комнату
[23:35:55] shaggie вошёл(а) в комнату
[23:45:06] <gds> кстати вот, я тут со структурами данных чешу репку.  Может нахреначить таки что-нибудь (модуль/типы), чтобы char переименовать в byte, а string в bytearr, ну и модули соответственно?  Хотя бы как алиасы.  В рощоте на светлое будущее (ascii + latin1 + utf-8) и всё такое.  В String оставить сам тип, сравнение (побайтовое), склеивание, вывод в виде последовательности байтов.  То, что сейчас есть -- ну хз, куда это девать, чтобы не обидеть...  Ну, String -- в String.Latin1 модуль, например.
[23:45:20] <gds> ну и понятно, String -> Bytearr.
[23:47:55] <Kakadu> а зачем?
[23:53:02] Kakadu вышел(а) из комнаты
[23:58:41] Kakadu вошёл(а) в комнату