Objective Caml - Вторник, 3 августа 2010

Objective Caml

ocaml@conference.jabber.ru

Вторник, 3 августа 2010< ^ >

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

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

GMT+4
[00:22:36] lelf вышел(а) из комнаты
[00:59:36] serp256 вышел(а) из комнаты
[01:05:51] serp256 вошёл(а) в комнату
[01:26:07] serp256 вышел(а) из комнаты
[01:46:59] ermine вышел(а) из комнаты
[01:53:09] Typhon вышел(а) из комнаты
[05:42:27] serp256 вошёл(а) в комнату
[05:43:00] serp256 вышел(а) из комнаты
[08:28:08] iNode вышел(а) из комнаты
[08:55:30] gds вошёл(а) в комнату
[10:08:46] ʇsʎɯ вошёл(а) в комнату
[10:25:15] serp256 вошёл(а) в комнату
[10:31:48] arhibot вошёл(а) в комнату
[10:57:41] zert вошёл(а) в комнату
[11:19:11] Typhon вошёл(а) в комнату
[11:24:43] ermine вошёл(а) в комнату
[11:32:10] <f[x]> gds: да, mantis годный источник для ненависти
[11:32:23] <f[x]> ermine: bsd, ну ты поняла
[11:33:22] <f[x]> и зачем всю environment менять? по идее хватает только поставить prefix с версией и ocamlfind'у destdir указывать (у него там в мануале кстати подробно описано про поддержку нескольких версий камля)
[11:50:10] f[x] недавно открыл для себя dtrace, в свете этого bsd можно немного реабилитировать (ещё и zfs)
[11:52:11] <gds> аштойта dtrace?
[11:52:34] <ʇsʎɯ> с добрым утром же =)
[11:56:22] <f[x]> dtrace это strace+oprofile+ltrace+скриптинг и гораздо мощнее и проще
[11:59:22] <ermine> f[x]: а как в линуксе находят нужный ocamlc, если в путях будут все ветки?
[12:00:04] <ermine> f[x]: как раз частые обращения ко мне по поводу сборки сульци в линуксе из-за того, что люди не понимают что куда поставили и у них образуется каша из веток версий
[12:00:22] <ermine> так что пофигу что bsd, что линукс
[12:00:25] <f[x]> env PATH=...:$PATH make либо перменная OCAMLC/OCAMLOPT а lib он сам найдёт
[12:01:08] <f[x]> ermine: мне вообще странно что кто-то может собрать сульци кроме тебя - могла бы консалтингом подрабатывать :)
[12:01:15] <ermine> ну найдит, и чё?
[12:01:31] <ermine> это не указание комфортного способа переключения между версиями
[12:01:45] <f[x]> ну и всё, указывать какой ocaml юзать в одном месте только
[12:02:13] <f[x]> э, а какой комфортный? ну если у тебя ocamlfind в сборке используется то там тоже простой способо (только его знать надо)
[12:02:15] <ermine> может конечно иметь два разных шелла с разными патхами и не забывать где какая версия камля
[12:02:52] <ermine> и соответственно ставить либлы в нужный патх нужной версии
[12:02:56] <ermine> не комфортно
[12:03:29] <ermine> другое дело если бы библиотекам было пофигу с какой версией компилятора работать
[12:03:56] <f[x]> это конечно очень хорошо было бы только не решает проблему :)
[12:04:30] <f[x]> не ставь тогда ocaml в /usr/bin, а в /usr/local/ocaml-xxx/ и симлинк /usr/local/ocaml -> ocaml-xxx и /usr/local/ocaml/bin в PATH
[12:04:43] <f[x]> всё, версия решается переключением одного симлинка
[12:04:58] <f[x]> подобие /etc/alternatives
[12:05:09] <f[x]> я так на винде делаю :)
[12:05:29] <ermine> а еще можно без патха - переименовать ocamlc в ocamlc-3.12 и так далее, а патхи - указать при компиляции и конфиге камлофинда
[12:05:38] <ermine> не уверена правда, что везде гладко будет
[12:05:51] <f[x]> собственно я это предлагал 10-ю строчками выше, да
[12:06:16] <ermine> а у тебя так сделано?
[12:06:56] <f[x]> на винде да, на линуксе я deb пакеты использую
[12:07:23] <f[x]> ну вот сейчас 3.12 поставлю и что-нибудь такое-же организую
[12:08:01] <ermine> да ладно, старое камло уже не нужно, пусть остальные подтягиваются и допатчат свои поделки с camlp4
[12:08:23] <gds> f[x]: винда + симлинки -- это образное выражение?  там ведь junction надо делать для директорий.
[12:08:37] <ermine> я правда не пробовала собрать сульцю, но надо будет сегодня озаботиться
[12:08:56] <f[x]> gds: не знаю что там точно - alt+f6 в far'е
[12:09:08] <f[x]> хардлинк вроде
[12:12:12] <f[x]> gds: http://www.filibeto.org/~aduritz/truetrue/solaris10/DTrace_in_a_Day.pdf
[12:17:11] <gds> это хорошо, буду читать.
[12:21:21] <f[x]> ermine: указывать явно ocamlfind -toolchain и одноразовая правка findlib.conf для указания путей там
[12:22:17] Mon вышел(а) из комнаты
[12:23:01] Mon вошёл(а) в комнату
[12:23:43] vshender вошёл(а) в комнату
[12:25:00] Kakadu вошёл(а) в комнату
[12:38:36] <gds> ermine:
> да ладно, старое камло уже не нужно, пусть остальные подтягиваются и допатчат свои поделки с camlp4
допатчивать поделки не надо, надо допатчить camlp4
[12:41:01] <zert> с каждым новым релизом камло умирает всё сильнее и сильнее
[12:42:13] <gds> и когда же оно только здохнет...
[12:56:06] <f[x]> для большинства либ OCAMLFIND_CONF=/etc/ocamlfind-3.12.0.conf PATH=/opt/ocaml-3.12.0/bin:$PATH make хватает
[12:58:05] <ermine> а это вкомпилить можно?
[12:58:07] <Typhon> а про enviroment'ы, вот эти танцы с PATH, несколькими версиями камла и прочее такое в вику можно?
[12:58:16] <ermine> и сделать ocamlfind-3.12
[12:59:12] <f[x]> Typhon: да, я как раз собираюсь
[12:59:25] <f[x]> ещё ld.conf надо создать правильный :)
[12:59:54] <f[x]> вообще согласен - как-то немного сложновато
[13:00:12] <ermine> а это ocamlc-3.12 найдет свой ld.conf
[13:00:14] <f[x]> из-за того что у меня есть дефолтный камль в /usr/bin
[13:00:19] <f[x]> да, в stdlib
[13:00:39] <f[x]> просто там не включён site-lib/stublibs
[13:00:52] <ermine> ocamlc -where все юзают
[13:01:15] <f[x]> за ocamlc -where убивать тапком надо
[13:01:35] <ermine> пчууу?
[13:01:53] <f[x]> пту что только на bsd приянто разводить помойку в /usr
[13:02:05] <f[x]> и я под root'ом make install не делаю, так что всё равно не получится
[13:02:56] <f[x]> ocamlfind install и минимум самодеятельности
[13:03:04] <ermine> в /usr/local, ты хотел сказать?
[13:03:13] <ʇsʎɯ> что за бред про помойку в /usr?
[13:03:20] <f[x]> все эти хардкорный bash скрипты с sed install cp и компанией - в топку
[13:03:41] <f[x]> $ ocamlc -where
/usr/lib/ocaml
[13:03:43] <ermine> а в /usr только в линуксе
[13:04:09] <ermine> ну у тебя же линукс, при чем тут бсд?
[13:04:17] <f[x]> у тебя непортабельный install, это твои проблемы
[13:04:28] <f[x]> почему ты решила что на всех системах ocamlc -where writeable?
[13:04:45] <ermine> при чем тут инсталл?
[13:05:01] <ermine> на солярисе тоже в /usr/local
[13:05:16] <ermine> в макоси сложнее, но тоже никак не в /usr
[13:05:33] <ermine> а от линукса я стараюсь держаться подальше
[13:05:34] <f[x]> и какого фига я должен доверять сторонним скриптам писать в камловский stdlib, вдруг они мне pervasives перепишут на format c:\
[13:05:51] <f[x]> стоп стоп стоп
[13:06:04] <f[x]> какая разница где ocamlc -where физически?
[13:06:14] <f[x]> суть в том что он не всегда writeable
[13:06:44] <ermine> а, вот ты о чем
[13:06:51] <ermine> эк тебя унесло в сторону
[13:07:33] <f[x]> в какую сторону? я против явного использования ocamlc -where в make install
[13:07:49] <ermine> в сторону /usr
[13:08:12] <ermine> этот путь при ./configure задается
[13:08:33] <ermine> родной конфигурь камла кстати не ошибается с политикой в бсд
[13:09:40] <ʇsʎɯ> f[x]: "вдруг они мне pervasives перепишут на >>> format c:\ <<<". спалился =)
[13:13:44] <f[x]> /usr просто для примера, у меня твой скрипт ocamlc -where запишет (попытается) в /usr, у кого-то в C:\program files\ocaml - неважно, у него это в любой многопользовательской системе не получится просто
[13:16:35] <ermine> ну писать скрипты можно по-всякому
[13:16:43] <ermine> и что?
[13:17:30] <f[x]> > ocamlc -where все юзают
все юзают ocamlfind install
[13:18:44] <ermine> cryptokit родной до сих пор без камлофинда ставится
[13:18:45] Kakadu вышел(а) из комнаты
[13:18:53] <ermine> camlzip тоже
[13:19:21] <ermine> про menhir не помню
[13:19:44] <ermine> но вроде тоже ничо про камлофинд на родине не знает
[13:20:15] <ermine> а в .deb только старье
[13:21:43] f[x] ставит ocaml-3.12 из deb и смотрит с укором на ermine
[13:21:55] <f[x]> заодно со всеми либами уже пересобранными
[13:23:35] <f[x]> ну хорошо, исправляюсь : все либы у которых последний релиз был меньше чем 5 лет назад юзат ocamlfind install
[13:24:35] <ermine> деривинг?
[13:25:08] <gds> да по-любому, ставить иначе, чем через ocamlfind install, это кривизна.
[13:25:15] <f[x]> что deriving?
[13:25:56] <ermine> а он уже ставится через камлофинд инсталл?
[13:26:08] <ermine> у него релиз последний был меньше чем 5 лет назад вроде
[13:27:07] <ermine> на сайте ocaml.info библиотеки свежие, кажись все без ocamlfind  install cnfdzncz, но не уверена
[13:27:16] <ermine> там pcre, sqlite, postgresql
[13:28:21] <f[x]> ermine: мимо
[13:28:36] <f[x]> всё мимо
deriving из git - с ocamlfind
[13:29:24] <f[x]> ocaml.info все либы через ocamlfind
[13:29:50] Kakadu вошёл(а) в комнату
[13:31:09] <ermine> не вижу камлофинда в pcre
[13:32:00] <f[x]> $ sed -n 24p pcre-ocaml-release-6.1.0/INSTALL
     You will need Gerd Stolpmann's "findlib"-tool!
[13:34:38] <ermine> ну хз, вижу только в мейкфейле для винды
[13:38:27] <f[x]> там OCamlMakefile, он использует ocamlfind (sic!)
[13:39:28] <ermine> хехе
[13:40:13] ermine с удивлением смотрит на lib/OMakefile
[13:40:53] <ermine> не, не то
[13:41:51] <ermine> не вижу
[13:43:48] ermine собирает ocaml-sqlite3
[13:44:46] <ermine> а вот он поставился через камлофинд
[13:49:03] <f[x]> таки да, deriving поломали
[13:50:25] <gds> сволочи!
[13:53:32] f[x] установил(а) тему: Камль -- http://caml.inria.fr | Логи -- http://chatlogs.jabber.ru/ocaml@conference.jabber.ru/ | Верблюды грязи не боятся! | release crap | judge by commits, not comments | ocaml мёртв, move on | Oh My God! They Killed Kamlp4! Bastards!
[13:57:57] valexey вошёл(а) в комнату
[14:00:29] <valexey> дас. F# похоже скоро окончательно похоронит OCaml.
[14:00:45] <zert> ниши немного разные
[14:00:55] <zert> фшарп не даёт быстраго нативнаго кода
[14:01:15] <zert> окамл сам помрёт, зачем ему гробовщики?
[14:01:22] <zert> он самодостаточен
[14:03:33] <valexey> самодостаточно помрёт?
[14:03:36] <valexey> а кто на замен?
[14:04:02] <valexey> или он помрет вместе с нативным кодом для промышленных приложений?
[14:04:44] <zert> на замен коммон лисп
[14:04:55] <gds> плохая, негодная замена.
[14:04:55] <zert> ещё один кандидат в жмурики
[14:04:58] <zert> почему?
[14:05:02] <gds> типизации нет.
[14:05:04] <zert> так же помирает
[14:05:15] <valexey> дык тем более не замена :-)
[14:05:17] <gds> а, думал, что цлисп на замену камлу.
[14:05:25] <arhibot> самая депрессивная конфа
[14:05:39] <gds> эмо, готы, камловоды!
[14:05:44] <arhibot> готы позавидуют
[14:06:15] <gds> и мы все умрём...... хнык хнык.......  мну груфняво :;;;(9999999
[14:06:17] <zert> каково это, писать на языке, который одной веткой AST в могиле?
[14:06:35] <valexey> кстати, а почему камло помирает?
[14:06:46] <zert> так исторически сложилось
[14:07:02] <arhibot> потому что 1 реализация?
[14:07:17] <valexey> закрытая схема разработки и отсутствие внятных спек на язык, стандарта?
[14:07:44] <valexey> ну, у хаскеля дефакто тоже одна. однако он цветет и весьма пахнет.
[14:08:08] <gds> единственность реализации и отсутствие спек -- не проблема.  Есть манул, его можно чтить вполне.
[14:08:31] <arhibot> реализация==стандарт, как-то невесело совсем
[14:09:59] <valexey> наверно видимо вследствие проводимой политики французов. закрытая схема разработки и развития языка.
[14:10:36] <gds> тут ситуация как с доказательствами кода (в coq например) -- можно писать стандарт и код, а можно просто писать код.  В первом случае кагбэ есть стандарт, во втором случае нет.  Но почему-то мало кто пишет код с доказательствами на coq.
[14:10:39] <zert> а кто-нить писал с предложением сделать схему разработку открытой?
[14:13:32] <f[x]> можно заплатить тыщу евров и легально пинать inria
[14:14:22] <valexey> а можно заплатить тыщу евров афрофранцузам, и они физически попинают inria, точнее их сотрудников.
[14:24:19] <zert> ггг
[14:26:27] <arhibot> zert: на месте "ггг" должлен был быть смайлик верный
[14:41:12] <komar> Кто из окамловодов не мечтал на минуту стать афрофранцузом?
[14:44:40] <arhibot> негром, да
[14:45:00] <valexey> черножопым!
[14:45:33] <komar> Смысл теряется.
[14:48:52] <valexey> негрофранцузом, которому проплатили тыщу евро? ;-)
[14:50:30] <komar> Как низко вы пали.
[14:50:37] <komar> Тут возможность попинать Лероя, а вы о деньгах.
[14:53:45] <valexey> дык именно о том и речь вообще то :-) о попинать.
[14:53:52] <valexey> да ещё и за деньги!
[15:22:57] <f[x]> кто помнит, в camlp4 SELF оставляет на том же level'е или начинает сначала?
[15:24:04] <zert> \о_
такой смайлик?
[15:47:41] <f[x]> моё любимое исключение
Camlp4: Uncaught exception: Not_found
[15:48:54] <vshender> f[x]: в зависимости от положения: с краю или вначале. Сходу не помню, но могу глянуть.
[15:51:08] <vshender> Помню, что если не скраю, то самый первый level
[15:51:24] <vshender> А вот как определяется в случае края, текущий либо следующий, не помню
[15:51:26] Kakadu вышел(а) из комнаты
[15:55:30] <f[x]> край это в смысле начало, как [ t = SELF; ... ] ?
[16:08:10] <vshender> Да
[16:17:25] <f[x]> если сначала логично предположить что со следующего уровня, дабы не зациклиться?
[16:17:35] Kakadu вошёл(а) в комнату
[16:23:31] serp256 вышел(а) из комнаты
[16:23:40] serp256 вошёл(а) в комнату
[16:27:01] <vshender> Да, вроде так и есть, чтобы не было левой рекурсии. Поэтому скорее, если вначале -- то следующий уровень, вконце -- текущий
[16:27:07] <vshender> В середине -- первый
[16:28:10] valexey вышел(а) из комнаты
[16:28:51] <vshender> Хотя тут еще может от ассоциативности зависеть
[16:33:17] arhibot вышел(а) из комнаты
[16:34:31] <f[x]> ясно, спасибо
[16:35:13] arhibot вошёл(а) в комнату
[17:00:14] valexey вошёл(а) в комнату
[17:03:38] iNode вошёл(а) в комнату
[17:06:08] <Kakadu> http://paste.org.ru/?l0n2du
может найдутся телепаты которые сразу смогут сказать где лажа в биндингах
[17:06:59] <Kakadu> а то мне не нравится что этo QT то крешится, то не крешится. Наверное проблемы со сборщиками мусора
[17:07:58] <Kakadu> вообще ктонить байндинги через gdb дебажил?
[17:15:20] iNode вышел(а) из комнаты
[17:15:45] <f[x]> держать указатель не завёрнутым в custom_val может быть чревато но у тебя destroy ещё нет так что пока неважно
[17:15:51] <f[x]> x и y - неправильные - int_val забыт
[17:16:43] <f[x]> бэктрейс покажи
[17:17:34] <Kakadu> его надо понять как найти
[17:17:41] <Kakadu> подает не камло а плюсы
[17:17:45] <Kakadu> segmentation fault
[17:17:58] <Kakadu> в 102й строчке
[17:18:07] <Kakadu> причем иногда падают
[17:18:21] <f[x]> найти - делов то - запусти под gdb
[17:18:44] <Kakadu> ну вот ковыряюсь с ним
[17:18:47] <f[x]> и весь код покажи, а лучше сразу проект чтобы скомпилить можно было
[17:19:48] <f[x]> в height тоже val_int забыт (но от этого не падают конечно)
[17:20:24] <f[x]> и вообще генератором нужно такое делать, иначе куча багов и разрыв мозга и слабо-поддерживаемый результат
[17:20:42] <Kakadu> генератором кода байндингов?
[17:20:46] <Kakadu> я так и делаю
[17:20:58] <f[x]> самописный?
[17:21:27] <f[x]> тогда ок
[17:24:10] <f[x]> давай бэкктрейс! (gdb ./myprog и bt)
[17:27:17] <Kakadu> для начала надо его как-то скомпилить в нативный код
[17:27:25] <Kakadu> ща
[17:28:29] <f[x]> ну и байт код тоже может сгодиться
[17:28:36] <f[x]> падает то всё равно в биндингах
[17:30:54] gds вышел(а) из комнаты
[17:30:59] <Kakadu> http://narod.ru/disk/23382790000/lablqt_work.tar.html
[17:31:12] <Kakadu> вот все исхдники
[17:32:02] <Kakadu> cd new_src && make && cd test/PushButton/ && make && ./t1
[17:39:04] f[x] rants : исходники распостраняются git'ом, а не файлопомойками (btw в tar лучше паковать с корневым каталогом, иначе тебя будут ненавидеть)
[17:40:22] <f[x]> надо в .cpp писать #include <Qt/qnamespace.h>, а не -I .../Qt в Makefile
[17:46:14] <f[x]> не падает
[17:50:01] <Kakadu> теперь закомменьте
  printf("EXCEPTION\n%s\n",s);
в ml_QWidget.cpp. И попробуйте так.
[17:53:05] <Typhon> http://www.donadeo.net/post/2010/my-new-blog-in-objective-caml  "as a template engine to render HTML I used CamlTemplate by Dmitry Grebeniuk." кстате
[17:56:42] <f[x]> никаких EXCEPTION не видел
[17:57:28] <f[x]> после нажатия на click me просто выходит
[17:57:33] <f[x]> закоментил - то же самое
[17:57:48] <Kakadu> а у меня крешится
[17:58:09] <Kakadu> надо как-то скомпилить всё это по-нормальному
[17:58:22] <f[x]> запускай gdb ocamlrun, потом r ./t1 и bt
[18:00:31] <Kakadu> #0  0x00007ffff729d362 in ?? () from /lib/libc.so.6
#1  0x00007ffff4095623 in XSetCommand () from /usr/lib/libX11.so.6
#2  0x00007ffff409a1d9 in XSetWMProperties () from /usr/lib/libX11.so.6
#3  0x00007ffff6546eea in QWidgetPrivate::create_sys(unsigned long, bool, bool) () from /usr/lib/libQtGui.so.4
#4  0x00007ffff64fa7db in QWidget::create(unsigned long, bool, bool) () from /usr/lib/libQtGui.so.4
#5  0x00007ffff65006d6 in QWidget::setVisible(bool) () from /usr/lib/libQtGui.so.4
#6  0x00007ffff6f901e0 in QWidget::show() () from .//dlllablqt.so
#7  0x00007ffff6f90111 in ml_QWidget_show_0 () from .//dlllablqt.so
#8  0x000000000041af87 in caml_interprete ()
#9  0x000000000041c8ba in caml_main ()
#10 0x0000000000419c10 in main ()
[18:00:38] <Kakadu> сейчас попробую осмыслить
[18:08:21] <f[x]> поставь бряк около QWidget::setVisible и посмотри что там за объект передаётся
[18:08:44] <f[x]> попробуй bt full если qt с дебажными символами то будут локальные переменные видны
[18:09:29] <valexey> гм. к камлу гуй лепите кутёвый?
[18:10:04] <Kakadu> не лепится падла
[18:13:11] <f[x]> попробуй распечатай значение указателя в критических точках
[18:13:44] arhibot вышел(а) из комнаты
[18:14:48] <Kakadu> я это смогу сделать без QT с дебажными символами?
[18:21:39] <f[x]> распечатать, ну да, printf'ом из биндингов просто
[18:22:56] <Kakadu> аа, в этом смысле...
[18:24:01] <f[x]> в дебуггере без дебажных символов тоже можно ковырять, только неприятней
[18:25:23] <Kakadu> значения указателя одинаковое
[18:25:30] <Kakadu> это я пробовал
[18:25:56] <Kakadu> меня смущает что дамп памяти разный
[18:32:46] <f[x]> классика жанра, деажный код в camlp4 с ошибкой и CAMLP4_DEBUG нифига не работает, интересно, они его сами в уме отлаживают что-ли?
[18:55:58] <f[x]> Kakadu: попробуй в new_src/ml_QObjectCleanupHandler.cpp
-       calling_result = (value)(((QObjectCleanupHandler*)self) ->  isEmpty());
+       calling_result = Val_bool(((QObjectCleanupHandler*)self) ->  isEmpty());
вдруг у тебя vm спотыкается об это значение, хоть и вряд-ли
[19:04:55] <Kakadu> это сняло некоторые вопросы но не основной. Теперь мы знаешь что объект-виджет не собирается qt-шным сборзиком мусора без нашего ведома
[19:06:00] <f[x]> попробую ещё дома на 32-битной машине
[19:06:10] <f[x]> выложил бы код куда-нибудь нормально :)
[19:06:52] <Kakadu> вы скажите не момоходом про git, а то я не совсем понял
[19:07:00] <Kakadu> мимоходом*
[19:17:17] serp256 вышел(а) из комнаты
[19:33:25] iNode вошёл(а) в комнату
[19:37:33] ʇsʎɯ вышел(а) из комнаты
[20:10:47] Typhon вышел(а) из комнаты
[20:51:00] gds вошёл(а) в комнату
[20:55:07] ygrek вошёл(а) в комнату
[20:57:57] <gds> хорошо что сказали про camltempate, исправил человека ( http://www.donadeo.net/post/2010/my-new-blog-in-objective-caml ), не хочу чужую славу.
[20:59:17] <ygrek> > Named types as parameters to functions.
jdh фейлит
[20:59:43] <ygrek> Kakadu: давай на "ты"
[21:01:18] <ygrek> svn знаешь? вот git это тоже самое только в много раз круче
[21:01:44] <gds> ygrek: а вот не факт: http://www.google.md/search?q=%22Named+types+as+parameters+to+functions%22&ie=utf-8&oe=utf-8&aq=t&rls=org.mozilla:ru:official&client=firefox
[21:03:55] <ygrek> ужас, какой же это параметр?
[21:06:00] <gds> не передающийся явно, а вычисляемый унификацией.  Такой вот хреновый параметр.
[21:07:02] <zert> все помянули?
[21:10:15] <ygrek> ужас, мир рушится
[21:11:15] <valexey> ygrek -- гентушник? ;-)
[21:13:07] <ygrek> nope
[21:14:39] <Kakadu> кое-как сворганил svn
svn checkout svn://svn.code.sf.net/p/qtcaml/svn
[21:14:49] <Kakadu> на git меня сегодня не хватит
[21:15:26] <zert> гит варганится в пять секунд
[21:15:35] <zert> и свн можно юзать через гит
[21:15:39] <zert> невозбранно
[21:15:53] <Kakadu> я его сегодня могу в первый раз увидеть
[21:15:59] <Kakadu> так что больше чем 5 секунд
[21:16:18] <zert> лучше день потерять, зато потом за пять минут долететь
[21:26:53] <vshender> хехе, самое забавное, что git/mercurial варганятся куда быстрее
[21:27:54] <zert> в еклипце или нетбинце до сих пор поддержка цвс есть
[21:28:05] arhibot вошёл(а) в комнату
[21:28:30] <vshender> Народ, а вообще, кому-нибудь будет интересна какая-нибудь серия статей/что-то в этом роде на русском языке о camlp4. А то сегодня понял, что почти ничего о нем не помню, и этот факт меня сильно огорчил. Поэтому задумался, не сделать ли "конспект", возможно полезный не только мне...
[21:28:45] <vshender> Точнее, помню лишь общие принципы
[21:28:59] <zert> я бы почитал
[21:29:15] <zert> будет что-то типа художественного некролога?
[21:29:44] <zert> о том, потел ли перед смертью больной, и как потел
[21:29:58] <valexey> а главное, зачем потел?
[21:30:06] <arhibot> vshender: да, я бы с удовольствием почитал
[21:30:22] <zert> vshender: тащемта пиши
[21:30:24] <arhibot> в пфп давай
[21:30:30] <zert> в пхп
[21:30:36] <vshender> Не, я хоть и расстроен положением в стане ocaml уже пару лет, но по-прежнему его люблю и буду использовать для определенного круга задач, не видя особых альтернатив
[21:30:50] <zert> в пфп про camlp4 вроде было
[21:30:57] <zert> алексотт писал
[21:31:03] <arhibot> когда?
[21:31:09] <zert> ща гляну
[21:31:10] <vshender> Ну, это пока лишь мысли, нужно еще себя заставить. Слишком многого, бывало, хотелось сделать/понаписать, но дальше идеи не доходило :(
[21:31:26] <arhibot> zert:  там в первом номере что-то на окамле делали
[21:31:35] <vshender> Хотя есть конспект (с большего перевод tutorial по camlp4), написанный во время изучения
[21:31:37] <arhibot> вирт машину чтоли для какой-то железяки, толи еще что-то
[21:32:11] <arhibot> vshender: было бы здорово просто понять границы применения
[21:32:35] <zert> а, не, adept писал
[21:32:41] <arhibot> какой номер?
[21:32:44] <zert> типа эмулятор гугловейва
[21:32:49] <zert> ща посмотрю
[21:33:10] <zert> 3
[21:33:24] <arhibot> спс
[21:33:38] <arhibot> и правда
[21:33:40] <vshender> хм, странно, adept и о camp4
[21:33:47] <vshender> Он же известный haskell'ист
[21:34:27] <arhibot> zert: ну там совсем поверхностно
[21:34:28] <zert> одно другому не мешает
[21:34:59] <zert> меня вот на днях один поцанчик тоже спросил, зачем я создал рассылку scala-russian, ибо я ѣрлангистъ
[21:35:28] <zert> всю жизнь одним и тем заниматься надоедает
[21:36:01] <vshender> Ну, просто, у ocaml и haskell очень близки области применения
[21:36:03] <vshender> Смысла нет
[21:36:24] <vshender> Я сам пишу и на C, и на Python, а в последнее время на Clojure (ранее прилично сидел на CL)
[21:36:30] <vshender> Но это довольно разные языки
[21:36:32] <zert> хочешь сказать, могилы рядом находятся?
[21:36:44] <vshender> Хотя, что тут уж, Haskell и OCaml тоже разные
[21:36:50] <vshender> Но сферы у них близки ИМХО
[21:36:54] <zert> может он пришёл попроведать хаскель, и заодно оградку у камла поправил
[21:37:34] <vshender> Гляну-ка, статью, а то что тут рассуждать...
[21:37:50] <zert> хм, всё-таки нашёлся человек, решивший написать статью о сравнении node.js с ырланком
[21:37:56] <vshender> Называется-то как?
[21:38:04] <zert> ща
[21:38:16] <arhibot> dfn zert = печальный гот
[21:38:20] <zert> Как построить Google Wave из Erlang и Tcl при помощи OCaml
[21:38:33] <zert> arhibot: благодарю за информацию
[21:38:39] <zert> печальный бот
[21:38:41] <zert> :))
[21:38:43] <valexey> ужоз. сравнение поделки с нормальным языком.
[21:38:54] <valexey> фигли там сравнивать то?
[21:38:57] <zert> хз
[21:39:00] <arhibot> где сравнивать?
[21:39:06] <zert> лев валкин просил кого-нить сравнить
[21:39:09] <valexey> первый закопать, второй юзать.
[21:39:16] <zert> типа для тех, кто хочет ерланг, но не хочет ерланг
[21:39:18] <arhibot> а
[21:39:25] Typhon вошёл(а) в комнату
[21:39:41] <zert> я тож хз, зачем нужен node.js
[21:39:42] <vshender> Ничерта не понял :) Кого закапываем, кого юзаем? :)
[21:39:47] <valexey> для тех, кому иммутабельность и синтаксис ерланга слишком пугающь :-)
[21:39:51] <arhibot> vshender: node.js закапываем
[21:39:55] <zert> юзаем то, что не закапываем
[21:40:00] <zert> до тех пор, пока живо
[21:40:05] <zert> потом тоже закапываем
[21:40:11] <arhibot> ерланг не закапываем
[21:40:27] <zert> его не закопаешь, он как хрен прорастает всюду
[21:40:28] <vshender> erlang вполне на подъеме, судя по всему.
[21:40:30] <zert> только искоренять
[21:40:30] <vshender> да
[21:40:42] <arhibot> на подъеме, прям пугает
[21:40:49] <vshender> да -- не по поводу "только искоренить" :)
[21:40:52] <zert> новый пхп
[21:40:53] <arhibot> будет как с питоном
[21:40:57] <vshender> *искоренЯть
[21:41:08] <vshender> А что такое с питоном? Библиотек больше чем у всех?
[21:41:15] <vshender> :)
[21:41:16] <zert> GIL
[21:41:26] <zert> вдруг он в ерланге тоже появится
[21:41:28] <arhibot> да, и очень разношерстное комьюнити
[21:41:40] <vshender> Издержки популярности
[21:41:58] <zert> у питона две беды: GIL и GVR
[21:42:03] <arhibot> gvr?
[21:42:10] <arhibot> гвидо россум?
[21:42:10] <Typhon> а что GvR ? :)
[21:42:11] <vshender> По поводу GIL, в корне такова проблема многих языков, ocaml не исключение.
[21:42:12] <arhibot> =)
[21:42:15] <Typhon> ну не кончал академиев и что? :)
[21:42:40] <vshender> Нормальная параллельность только у JVM-языков и Haskell вроде (из open-source)
[21:43:03] <Typhon> а лисп?
[21:43:13] <Typhon> cbpl или как там его
[21:43:14] <zert> а лисп между хаскелем и окамлем покоится
[21:43:35] <vshender> sbcl
[21:43:42] <Typhon> во, точно :)
[21:43:51] <vshender> У него некоторые этапы сборки мусора стопают все потоки
[21:43:56] <arhibot> а всякие стэклесс питон?
[21:44:08] <vshender> Есть форк коммерческий scieneer вроде, но он не open-source
[21:44:20] <vshender> Да, может еще stackless python, но я о нем лишь слышал
[21:44:47] <valexey> и ерланг :-)
[21:44:50] <arhibot> про эрланг не говорим, т.к. вне конкуренции =)
[21:45:20] <valexey> вообще, по сравнению с ерлангом, в JVM тоже нет нормальной сборки мусора :-)
[21:45:50] <vshender> Мдя, erlang, да, конечно
[21:46:00] <vshender> На самом деле такого еще хватает, разной степени известности
[21:46:01] <zert> ерланг как раз в конкуренции
[21:46:03] <valexey> кстати, у фшарпа должна быть сборка мусора не хуже всяких скал жабных
[21:46:05] <zert> рулит он тамо
[21:46:12] <vshender> У Alice ML тоже вроде все OK, но о нем я тоже лишь слышал
[21:46:27] <zert> а у млтона ещё лучше, как пишут на его сцайте
[21:46:28] <vshender> И там проблемы с производительностью на уровне ML'ей
[21:46:34] <zert> а на деле два израиля
[21:46:38] <valexey> ерланг хорошо бегает параллеьно, но плохо последовательно :-)
[21:46:39] <arhibot> zert: вне конкуренции== никто не может состоавить конкуренцию, не?
[21:47:00] <vshender> F# я не упомянул ввиду того, что Mono сильно не дотягивает, а Microsoft -- империя зла >:)
[21:47:06] <zert> arhibot: ну типа concurrency
[21:47:14] <zert> параллелизацие
[21:47:25] <arhibot> valexey: nif*до сих пор не понятные мне*
[21:47:35] <zert> ещё в майкрософте каждый год на пейсах едят детей
[21:47:57] <zert> а что в ниф непонятного?
[21:48:12] <valexey> положит ноду целиком и не поморщится :-)
[21:48:13] <zert> пишешь код на ссях, делаешь интерфейс для ерланга, юзаешь, профит
[21:48:14] <arhibot> блокировка нити шедулера на время выполнения
[21:48:17] <zert> ну то да
[21:48:19] <valexey> ну и стопорнет ноду, фигли.
[21:48:22] <arhibot> zert: это то ясно
[21:48:31] <zert> их надо осторожно писать
[21:48:36] <arhibot> пока ниф выполняется же не переключит на другой процесс
[21:48:37] <valexey> и пусть все ерланговы процессы подождут :-)
[21:48:38] <arhibot> печаль
[21:48:50] <zert> ненадёжный код лучше в виде портов или c-node подрубать
[21:48:53] <valexey> arhibot: вроде ж можно в отдельном потоке пущать.
[21:48:55] <arhibot> вот вот
[21:49:06] <valexey> т.е. там это рулится. но ручкаме.
[21:49:19] <arhibot> valexey: в доках было написано, что блокируется нить планировщика
[21:49:35] <arhibot> легче тогда иж и правда порты
[21:49:40] <zert> а нитей несколько может быть
[21:49:45] <arhibot> ну да
[21:49:53] <arhibot> столько сколько процессоров по умолчанию же
[21:49:57] <valexey> ну в отдельной нити и...
[21:50:00] <arhibot> кстати тоже не ясно
[21:50:04] <valexey> создать же можно вроде. или нет?
[21:50:13] <valexey> спешиал фор нифс
[21:50:28] <arhibot> valexey: ну и получатся теже порыт
[21:51:03] <arhibot> zert: почему +S пытался поставить 1024, на x86 содалось n, на x86-64 и оперативки в 4 раза больше создалось только n+2.
[21:51:25] <zert> ахз, я в этом не разбирался
[21:51:38] <arhibot> ясно, что нафиг не надо, просто не понятно
[21:54:05] valexey потопал до дому.
[21:55:12] <Kakadu> ваш git какой-то совсем нетривиальный
[21:55:20] <Kakadu> что после git commit делать надо?
[21:55:40] <Kakadu> что закоммитилось физически
[21:55:57] <zert> пуш, имеешь в виду?
[21:55:58] <arhibot> на удаленный сервер? push
[21:56:10] <zert> коммитится физически по commit
[21:56:21] <arhibot> progit посмотри, хорошая вещь
[21:56:26] <zert> а push делает этот коммит доступным на другом сервере
[21:56:34] <arhibot> http://progit.org/book/
[21:56:51] <zert> http://mislav.uniqpath.com/2010/07/git-tips/
[21:58:14] <zert> а тут кто-нить макось используует?
[22:00:03] <zert> за сегодняшний день в этой конфе самый большой трафик
[22:00:07] <zert> удивительно
[22:00:12] <zert> обычно по неделе молчание
[22:00:56] <arhibot> найти и наказать
[22:05:04] arhibot вышел(а) из комнаты
[22:05:20] <Kakadu> git clone git://git.code.sf.net/p/qtcaml/git.git
[22:05:36] <Kakadu> GIT выглядит как тыорение гентушников
[22:06:06] <Kakadu> пойду ка я отсыпаться от всего этого
[22:06:45] Kakadu вышел(а) из комнаты
[22:08:26] <zert> GentooIsh Tvorenie
[22:09:02] <vshender> а вот vshender любит mercurial, всем врагам назло...
[22:09:49] <Typhon> мне он тоже удобнее и человечнее гита показался
[22:09:55] <vshender> да, им же назло, он вполне жалует python :)
[22:09:58] gds тоже любит mercurial!1111
[22:10:21] <vshender> Ура!
[22:11:40] <zert> при создании гита отталкивались от требований разработчиков, а меркуриаловцы делали красивую архитектуру
[22:11:53] <zert> в результате гитом удобно пользоваться, а меркуриалом — любоваться
[22:12:04] <zert> в меркуриале бранчи какие-то странные
[22:12:08] <gds> при создании гита код отталкивался (отторгался!) от больного мозга линуса.
[22:12:20] <gds> в меркуриале много разных видов бранчей, кстати.
[22:12:36] <zert> а аналога гитовских нема
[22:12:41] <vshender> гм, два вроде
[22:12:50] <zert> чтобы так же просто и удобно всё делалось
[22:12:53] <vshender> Аналог git'овских -- named branches (вторые) :)
[22:13:16] <zert> это которые описываются в специальном файле и этот файл надо шарить с другими?
[22:13:18] <zert> или не?
[22:13:22] <vshender> Хотя с гитом минимально знаком... могу ошибаться
[22:13:23] <gds> так смотря что надо делать бранчами.  разные цели -- разные бранчи.
[22:13:25] <vshender> Нет
[22:13:45] <vshender> Есть одна идея -- на каждый бранч отдельный репозиторий
[22:13:54] <zert> бред
[22:14:00] <vshender> Но это не позволяет отслеживать историю разработки так же хорошо
[22:14:13] arhibot вошёл(а) в комнату
[22:14:20] <zert> я и говорю, бранчи есть только в гите
[22:14:23] <vshender> И поэтому сделали named branches -- более-менее аналог branches в git, насколько могу судить
[22:14:34] <ygrek> в erlang'е smp тоже долго не было, нефиг ля-ля
[22:14:50] <vshender> Чем git'овские лучше mercurial'овских?
[22:14:58] <vshender> что они такого умеют?
[22:16:16] <zert> типичный сценарий:
1. делаю какие-то изменения
2. решаю под них сделать отдельный бранч
3. делаю git checkout -b newbranch
4. коммичу в него изменения git commit ...
5. желаю сделать этот бранч доступным на серваке: git push origin newbranch:mt/nb
6. теперь все, кто имеет доступ до репозитория origin на серваке, могут взять мой бранч по имени mt/nb
[22:16:23] <zert> в меркуриале такое как?
[22:16:36] <vshender> Есть, все точно так же
[22:16:51] <vshender> Я делаю hg branch <имяЮ
[22:16:52] <vshender> >
[22:16:59] <vshender> Создается новый бранч, в который пойдет следующий коммит
[22:17:07] arhibot вышел(а) из комнаты
[22:17:08] <vshender> Я его могу запушать
[22:17:09] <vshender> Будет +1 бранч
[22:17:13] <vshender> Можно переключаться между ними
[22:17:17] <vshender> Можно смержить два в один
[22:17:19] <vshender> Все есть
[22:17:25] <zert> а пушить его как/
[22:17:26] <zert> ?
[22:17:32] <gds> ага, тоже потестил, файл шарить не надо.  пушить -- hg push.
[22:17:45] <zert> а, ну значит почти то же самое
[22:17:46] <vshender> Явно нужно указать, что его нужно запушить
[22:17:49] <vshender> Запушится
[22:17:55] <zert> он искаропки или отдельным плагином?
[22:18:35] <gds> кстати, в коробке тоже есть куча плагинов.
а вот есть ли в гите хотя бы что-то, напоминающее mq -- вот это вопрос.
[22:19:10] <zert> это что такое?
[22:19:13] <vshender> из коробки, и очень давно
[22:19:18] <vshender> вроде с 1.1
[22:19:24] <vshender> gds: к сожалению, есть :)
[22:19:31] <vshender> Вообщеони по возможностям примерно равн
[22:19:33] <vshender> равны
[22:19:44] <gds> mq -- http://mercurial.selenic.com/wiki/MqTutorial
[22:20:01] <vshender> git позволяет только оперировать на более низком уровне, поэтому считается более advanced, но зато и сложнее в освоении
[22:20:16] <vshender> Зато к mercurial проще плагины писать и весь функционал из простого питона легко доступен
[22:20:22] <zert> http://stackoverflow.com/questions/952651/git-equivalent-to-hg-mq
[22:20:44] <gds> нафига низкий уровень, если нужно, чтобы человек работал с dvcs, а не бездушная машина, которая будет в памяти хранить все эти ref'ы.
[22:20:51] <zert> кстати, я понял, почему одноклассники такие непопулярные — они не СЕОугодные
[22:21:08] <zert> у них ссылки сделаны антипаттерном ХолокостИСодом
[22:21:34] <zert> gds: гит на кончиках пальцев хранится
[22:21:44] <zert> я когда им активно юзаюсь, даже не думаю ничего
[22:21:59] <zert> просто делаю то, что хочу
[22:22:01] <zert> на автомате
[22:22:01] <vshender> Но hg действительно проще
[22:22:19] <vshender> Да, ИМХО, конечно же
[22:22:58] <zert> день урожаен на срачи
[22:23:02] <vshender> И при этом позволяет большую часть того, что и git
[22:23:05] <zert> языкосрач был, щас вцссрач
[22:23:07] <gds> про "просто делаю то, что хочу" вспомнился http://xkcd.com/353/ -- там не про гит, но идея похожая.
[22:23:09] <vshender> :)
[22:24:02] <gds> давайте ещё хохлосрач или бульбосрач учиним -- как минимум по одному гражданину уркаины и белоруссии тут есть.
[22:24:08] <zert> давайте
[22:24:17] <vshender> Я солью :)
[22:24:19] <Typhon> ОТДАЙТЕ СЕВАСТОПОЛЬ!
[22:24:23] <Typhon> нормально начал?
[22:24:25] <Typhon> :)
[22:24:39] <vshender> А бульбосрач где?
[22:24:46] <zert> КИЇВ ДЛЯ КИЇВЛЯН!
[22:24:58] <zert> ОТДАЙТЕ МАГИЛЕЎ!
[22:25:05] <gds> не, бульбосрачи умеют lj\metaclass + lj\belnetmon, мы так не сможем :[
[22:25:20] <Typhon> theiced еще, не?
[22:25:30] <gds> отмороженный тоже ок.
[22:25:35] <zert> он инвалидствующий какой-то
[22:26:01] <zert> Typhon: ты есть в жежешечке?
[22:26:20] <Typhon> zert, я не пишу ничо, и редко комментю %) little_arhat
[22:26:24] <zert> аа
[22:26:54] <zert> то-то я думаю, чего это меня всякие тёмные личности фройндят
[22:26:55] <zert> :)
[22:27:22] <zert> зомг, у меня интерфейс жежешечки стал немецким
[22:38:57] arhibot вошёл(а) в комнату
[22:40:15] <arhibot> zert: с твоими настроениями, ты еще и удивляешься почему темные личности френдят?
[22:41:32] <Typhon> zert, кстати, профита символов/атомов против строк не понял (хотя символы, кроме как в прологе давно) не пользовался
[22:41:50] <ygrek> Typhon: кавычки не нужны же
[22:42:30] <Typhon> :) можно тогда строку на два символа короче делать
[22:44:08] <zert> окамлевые полуморфные варианты же
[22:44:21] <gds> профит атомов над строками -- сравнение за O(1) и очень быстрое, ну и типизация в полиморфных вариантах рулит.
[22:45:25] <zert> паттернматчить зѣло удобно
[22:46:48] <gds> кстати, если нужны просто атомы как такая хрень, которая сравнивается быстро, можно взять значение типа unit ref и сравнивать физически, но паттерн-матчинга не будет, разве что " when my_atom == that_atom -> "
[22:48:39] valexey_ вошёл(а) в комнату
[22:49:50] <valexey_> а ещё, а ещё, атомы хорошо встроены в язык. всё есть атом!
[22:50:00] <valexey_> через атомы можно сконструировать например вызов функции.
[22:50:10] <gds> это про какой язык речь?
[22:50:19] <valexey_> ерланг
[22:51:17] <valexey_> ну и вообще атомы хорошо в мозг ложаться как эдакий глобальный расширяемый enum
[22:52:03] <gds> полиморфные варианты круче всё равно.
[22:52:30] <gds> а если надо совсем как атомы, можно исключения использовать.  они все имеют тип exn.
[22:52:55] <gds> только не raise + try-with, а просто match.
[22:53:14] <valexey_> атомы хороши тем, что ими просто пользуешься, а не конструируешь их функциональность через неведомые извращения.
[22:53:48] <gds> полиморфные варианты -- отличное решение, а не извращение.
[22:54:36] <valexey_> т.е. понятно что в той же жабе аналог атомов это StringPool, куда засовываются все константные строки, и можно в процессе засовывать новые. сравнение таких строк -- O(1).
[22:54:47] <arhibot> можно несведущему показать, что это такое
[22:54:54] <valexey_> но это ж всё равно не то. это нужно ниже уровнем всё равно.
[22:55:34] <arhibot> а, понял
[22:59:00] <Typhon> а интернированные строки как замена символам?
[23:02:00] <ermine> когда же наконец зима наступит
[23:02:16] <zert> ermine: приезжай на отдых к нам
[23:02:23] <zert> +12 — +21
[23:02:27] <zert> курорт
[23:03:03] <ermine> это где?
[23:03:24] <zert> новосибирцк
[23:03:26] <ermine> за полярным кругом?
[23:03:39] <arhibot> совсем не
[23:03:41] <zert> смотря, где стоять
[23:03:50] <zert> если на полюсе, то за
[23:03:58] valexey_ хочет в новосиб на лето
[23:04:26] <ermine> мне казалось, что в новосибе лето как раз обычно такое, как щас в москве
[23:04:38] <Typhon> клевое лето в москве, наконец то тепло. зиму нафиг, снег -- отстой, минимум температуры, который должен быть -- +10 (у меня все о погоде)
[23:04:40] <zert> ну обычно так и бывает
[23:04:46] <zert> зима -50, лето +40
[23:05:08] <zert> а прошлое и это лето как-то не особо жаркими были
[23:05:11] <arhibot> снег--круто--покатушки!
[23:07:07] <ermine> zert: а кондиционер у тя есть?
[23:07:20] <ermine> если лето обычно +40
[23:07:34] <zert> в доме прохладно
[23:08:12] <zert> ну не обычно +40, с неделю может такая погода постоять
[23:08:23] <zert> за 30 просто много дней
[23:08:36] <zert> в этом году несколько дней 36 было
[23:08:40] <zert> а потом стало лучше
[23:12:18] <komar> А начиналось все тостами за упокой окамла.
[23:12:23] <komar> > Video: Xavier Leroy explains the new features in OCaml 3.12
[23:13:26] <zert> заголовок на жёлтом сайте:
Француз издевался над трупом (видео)
[23:14:28] <gds> перевод ок!
[23:14:45] <valexey_> забавно. язык развивается, меняется, но при этом труп.
[23:14:52] <valexey_> живой труп
[23:15:45] <ermine> если труп не трогать - он не будет вонять
[23:16:24] <gds> трупы можно гальванизировать.
[23:16:27] <zert> это опарыши
[23:16:37] <zert> из-за них создаётся эффект движения
[23:17:12] arhibot вышел(а) из комнаты
[23:17:19] <komar> valexey_: дык, вот и я говорю — пускай ещё сто лет лежит.
[23:17:36] <zert> ermine: добавь меня на линкедине
[23:17:47] arhibot вошёл(а) в комнату
[23:17:55] <valexey_> а что же, окамло не оставило наследников? и почему загнулся таки sml?
[23:18:30] <komar> А оно загнулось?
[23:18:45] <zert> не может загнуться то, чего не было
[23:19:22] <ermine> zert: лень логиницо
[23:20:10] arhibot вышел(а) из комнаты
[23:20:26] <valexey_> ну, шевеления на тему нового стандарта не видать.
[23:20:31] <ermine> у ырланка кстати тоже нет наследников
[23:20:34] <ermine> а у хаскиля?
[23:20:49] <vshender> valexey_: столько изменений только в 3.12
[23:20:57] <valexey_> и вообще, когда уже убьют, или хотя бы сделают эту багу опциональной! я про повторные декларации одного и того же.
[23:21:02] <vshender> До этого отдаленно похожее было в 3.10, но гораздо меньше
[23:21:02] <valexey_> с другим типом в т.ч.
[23:21:06] <vshender> Наследник, наверное F#
[23:21:16] <valexey_> vshender: я про sml вообще то.
[23:21:29] <vshender> А если брать ML, то само семейство на многих повлияли
[23:21:50] <vshender> valexey_: я по поводу этого: "[22:17] valexey_> а что же, окамло не оставило наследников?"
[23:22:11] <ermine> f#
[23:22:14] <valexey_> а, ну F# да. похоже. форкнулось и развивается себе как хочет.
[23:22:30] <valexey_> но для нативненького наследников нет.
[23:22:43] <ermine> а у haskell все еще нет h#?
[23:22:59] <valexey_> придушили в зародыше.
[23:23:10] <valexey_> и это считается большим успехом :-)
[23:23:12] <ermine> нативное исполнение - прошлый век
[23:23:33] <valexey_> а зачем не нативное исполнение?
[23:23:34] <ermine> теперь только интерпретаторы в моде
[23:23:38] <valexey_> да ещё в чужеродной vm
[23:23:51] <valexey_> vm это не интерпретатор таки :-)
[23:55:51] <ygrek> Leroy в видео говорит что с удовольствием бы пришил typedtree в камло, если б какой-нибудь добрый человек это имплементировал, советовал объединять усилия с ocamlspotter итп проектами