Objective Caml - Среда, 6 октября 2010

Objective Caml

ocaml@conference.jabber.ru

Среда, 6 октября 2010< ^ >

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

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

GMT+4
[00:58:10] Kakadu вышел(а) из комнаты
[01:00:05] ygrek вышел(а) из комнаты
[01:06:18] ermine вышел(а) из комнаты
[01:37:17] komar вышел(а) из комнаты
[02:30:39] Typhon вышел(а) из комнаты
[03:19:59] zert вышел(а) из комнаты
[03:53:37] olegfink вышел(а) из комнаты
[07:16:15] iNode вышел(а) из комнаты
[08:59:50] gds вошёл(а) в комнату
[09:34:18] iNode вошёл(а) в комнату
[09:41:55] ermine вошёл(а) в комнату
[10:00:25] serp256 вошёл(а) в комнату
[10:02:00] komar вошёл(а) в комнату
[10:22:11] arhibot вошёл(а) в комнату
[10:34:31] zert вошёл(а) в комнату
[11:11:42] ygrek вошёл(а) в комнату
[11:17:56] komar вышел(а) из комнаты
[11:47:24] Typhon вошёл(а) в комнату
[12:37:48] komar вошёл(а) в комнату
[13:05:35] Kakadu вошёл(а) в комнату
[13:19:08] ygrek вышел(а) из комнаты
[13:34:06] f[x] спалил qtcaml в irc
[13:34:35] <f[x]> <flux> that seems quite positive, it even has support for qt ui-files
<flux> that's great news infact. I wonder how solit it is yet..
<flux> QGraphicsScene/View is something I'd like to bind, I wonder if it supports such 'deep' hierarchies
[13:34:59] Kakadu в ужасе
[13:35:21] Kakadu умеет называть папки так, что люди думают, что там что-то работающее
[13:35:51] Kakadu получил способность делать вид что он очень умный от своего отца
[13:36:14] Kakadu извиняется, если qtcaml это не его qtcaml
[13:36:19] <f[x]> :)
[13:37:01] <f[x]> <flux> just 3.6k lines long (generator), so I guess it should be even feasible to contribute..
[13:37:09] <Typhon> http://qt-caml.crapulion.org/trac
[13:37:14] <Typhon> это этот?
[13:37:33] <f[x]> Kakadu: иди в irc лови контрибуторов
[13:39:03] <f[x]> Typhon: http://sourceforge.net/p/qtcaml
[13:56:26] <Kakadu> f[x]: У меня на работе жопа с irc
[13:56:40] <Kakadu> тем более я не понял в каком irc ловить
[13:59:45] <f[x]> #ocaml на freenode
[14:00:10] <gds> вроде есть веб-клиенты к irc.
[14:10:08] <Kakadu> gds: спасибо, нашел
[14:12:58] <Typhon> http://anil.recoil.org/papers/2010-hotcloud-lamp.pdf  -- читали? We instead view the cloud as a stable hardware platform, and present a programming framework which permits applications to be constructed to run directly on top of it without intervening software layers. Our prototype (dubbed Mirage) is unashamedly academic; it extends the Objective Caml language with storage extensions and a custom run-time to emit binaries that execute as a guest operating system under Xen.
[14:19:54] <komar> шойто такое интересное
[14:21:42] <Typhon> http://lambda-the-ultimate.org/node/4095 + по теме на лту
[14:59:21] olegfink вошёл(а) в комнату
[16:24:59] <gds> дамы и господа, вспоминайте, что я на ком обещал.  хочу систематизировать кое-что.  пока помню: быкапы вики, разборки с 3.12+mingw, подумать про параллельные вычисления в контексте ocamlnet3 (с его новым модным обменом значениями между процессами), проектирование ocamldbi2.  Ещё что?
[16:25:29] <gds> ( + интуиция, касающаяся [ко]индуктивных понятий в применении к фп)
[16:26:46] <ʇsʎɯ> это конечно плохой вопрос, но не самый плохой, я думаю. что можете сказать по поводу SML?
[16:28:31] <Kakadu> надо найти инфу и написать в википедию нормально про эти прекрасные ML языки
[16:28:50] <Kakadu> а то я даже не знаю как caml разшифровывается
[16:29:13] <Kakadu> расшифровывается*
[16:29:47] <Typhon> categorial abstract ml емнип
[16:29:55] <Typhon> ну а ml -- meta lang
[16:30:35] <ʇsʎɯ> неа
[16:30:39] <Kakadu> а что значит категориональный?
[16:30:49] <ʇsʎɯ> categorical abstract machine language
[16:31:08] <ʇsʎɯ> язык для CAM делался вроде
[16:32:01] <Kakadu> я где-то читал что язык ML изначально делался для автоматического доказательства теорем
[16:32:51] <Typhon> у ну ок, это ML metalang :)
[16:33:50] <Kakadu> http://caml.inria.fr/about/history.en.html
[16:55:57] <ʇsʎɯ> ну сам Милнер да, придумал его для автоматического доказатора теорем
[16:56:13] <ʇsʎɯ> я делал похожую шнягу на дипломе, но на *#
[16:56:19] <ʇsʎɯ> меня заставили(!)
[17:16:42] <Kakadu> я видел где-то в инете автопрувер на C#. Это не ваш был?
[17:19:27] <Kakadu> боюсь, что не смогу сейчас найти. В жмэйле потерялся или удалился.
[17:19:53] <ʇsʎɯ> чё это ты на вы?
[17:19:55] <ʇsʎɯ> нет, не мой
[17:20:04] <ʇsʎɯ> мой в интернеты не утекал
[17:21:24] <ʇsʎɯ> только у Милнера ML использовался как внутренний язык системы, для задания, там, теорем и всяких прочих шняжек, а не для имплементации
[17:21:36] <ʇsʎɯ> солвер был на LISP
[17:26:17] <Kakadu> на вы я случайно перехал. Просто писал только что профессору письмо
[17:26:44] <Kakadu> я думал, что *# означает Си-октостроп
[17:27:17] <Typhon> октоторп ^_^
[17:27:47] <Kakadu> просто у диеза вроде наклон в другую сторону, а то что на клаве называется октостроп
[17:28:36] <Typhon> нету такого слова "октостроп". есть октоторп
[17:29:15] <Kakadu> всё поможет быть
[17:29:30] <Kakadu> мне тут кстати расказли, что карриование придумал не Карри
[17:29:39] <Typhon> "with variant spellings including octothorp, octothorpe, octathorp, and octatherp"
[17:29:43] <Typhon> Шёнфинкель!
[17:29:48] <Kakadu> да!
[17:29:50] <Typhon> просто антисемиты вокруг
[17:30:00] <Typhon> и шёнфенкилезация звучит не очень
[17:30:12] <Kakadu> нам препод так и сказал
[17:30:27] <Kakadu> правда он говорил "шенфинкелинг"
[17:30:47] gds вышел(а) из комнаты
[17:31:38] <Kakadu> Typhon: а ты по национальности кто?
[17:32:24] <Typhon> таки почему вы спрашиваете?
[17:33:34] <Kakadu> подозреваю что вы с ним одной национальности
[17:34:02] <Kakadu> точно. Препод мой тоже земляк шенфинкеля
[17:34:15] <Kakadu> главное нам только не поругаться
[17:34:30] <ʇsʎɯ> вы о чём?
[17:35:54] <Kakadu> есть гипотеза, что о существовании Шенфинкеля знают только евреи
[17:36:20] <komar> Я знаю.
[17:36:36] <Kakadu> нуц теперь тут все знают)
[17:36:41] <komar> До этого знал.
[17:36:43] <ʇsʎɯ> что за фигня?
[17:36:56] <Kakadu> ладно, проехали
[17:37:26] <komar> Как забываю фамилию — беру фамилию Олега, делю на два и меняю местами.
[17:38:07] <olegfink> мда, его на haskell@ как-то тоже пытались мной назвать.
[17:38:40] <Kakadu> финкельшон?
[17:39:43] <olegfink> нет, я финкельштейн
[17:40:13] <komar> Он, кстати, вроде как в психбольнице продолжил свой жизненный путь.
[17:40:48] <olegfink> ну это, в принципе, достаточно популярный сценарий
[17:41:04] <ʇsʎɯ> особенно среди моноидофагов
[17:41:35] <Kakadu> нам говорили, что с ним непонятно что-то. Возможно в больнице, а может и коммунисты повязали
[17:42:03] ygrek вошёл(а) в комнату
[17:58:45] <Kakadu> ктонить может что-нибудь сказать про PEG грамматики
[17:58:46] <Kakadu> ?
[17:59:20] <Kakadu> в смысле полезно ли это как-нибудь?
[17:59:40] <Kakadu> Я тут наткнулся на Nemerle со всей это байдой
[18:09:12] gds вошёл(а) в комнату
[18:21:21] ygrek вышел(а) из комнаты
[18:21:23] ygrek вошёл(а) в комнату
[18:38:42] being вошёл(а) в комнату
[18:53:43] Kakadu вышел(а) из комнаты
[18:57:06] gds вышел(а) из комнаты: Replaced by new connection
[18:57:08] gds вошёл(а) в комнату
[19:00:23] iNode вышел(а) из комнаты: Replaced by new connection
[19:00:23] iNode вошёл(а) в комнату
[19:04:25] arhibot вышел(а) из комнаты
[19:08:18] <komar> А в ocaml journal чего интересного пишут?
[19:08:28] <komar> А то решил тут раскошелится на литературку.
[19:11:56] <ʇsʎɯ> ничего хорошего
[19:12:10] <ʇsʎɯ> Harrop - attention whore я считаю
[19:13:23] <komar> Хочу Modern Compiler Implementation in ML взять, дюже семлы на гуглебуках понравились.
[19:13:43] <f[x]> ocaml journal вроде накрылся
[19:20:06] <Typhon> modern и 98 год? %) хотя аппеля хвалили.
[19:20:15] <gds> да даже если бы и не накрылся ocaml journal, я бы не контачился.
[19:20:37] <Typhon> и то правда.
[19:21:20] <komar> Typhon: пофигу, я ноль в этой области.
[19:21:25] <Typhon> а из периодического JFP наверное покруче (и оно  в торренте есть ) %)
[19:21:31] <Typhon> komar: а драгон бук смотрел?
[19:21:54] <komar> шо хто
[19:22:00] <Typhon> http://www.amazon.com/Compilers-Principles-Techniques-Tools-2nd/dp/0321486811
[19:22:30] <Typhon> типа "библия компеляторостроения" :) примеры на жаве. есть на русском (перевод местами ругают).
[19:23:34] <komar> А перевода на ml нету?
[19:24:06] <komar> http://www.cs.princeton.edu/~appel/modern/ — вон, чотко, дерзко.
[19:25:50] <Typhon> там где lex / yacc используется, можно на ocamllex / ocamlyac перевести самому, думаю :)
[19:26:22] <Typhon> но говорят аппель пишет лучше (его не читал, а драгон бук скучноват :) )
[19:26:49] <ʇsʎɯ> plzoo
[19:26:57] <ʇsʎɯ> для компиляторы на ML
[19:27:22] <ʇsʎɯ> http://andrej.com/plzoo/
[19:27:23] <Typhon> ну и вообще, нельзя на обложке книжки по компеляции драконов с рыцарями пихать, все думают, что это фэнтази, как будто я толчок какой!
[19:27:35] <ʇsʎɯ> у меня есть дракон 2 изд.
[19:27:41] <ʇsʎɯ> так себе, если честно
[19:27:44] <ʇsʎɯ> сумбурно
[19:27:54] <ʇsʎɯ> лучше IBMовская 77-го года
[19:27:58] <ʇsʎɯ> там формально-математично
[19:28:46] <zert> Typhon: распечатай суперобложку какую-нибудь
[19:29:03] <Typhon> zert: от леблядева?
[19:29:06] <zert> "Как правильно есть детей"
[19:29:19] <zert> "Расчленение трупов: за и против"
[19:29:29] <zert> никто не подумает, что ты толчок
[19:29:31] <Typhon> компиляторы, ocaml под вендой и другие способы самоубийства
[19:30:07] <ʇsʎɯ> http://www.amazon.com/Compiler-Design-Theory-Systems-programming/dp/0201144557/ref=sr_1_1?ie=UTF8&qid=1286378986&sr=8-1
[19:30:36] <ʇsʎɯ> у меня есть (светский) перевод на русский
[19:30:40] <ʇsʎɯ> приятно почиать, блин
[19:30:52] <ʇsʎɯ> грамотный академический язык
[19:30:58] <ʇsʎɯ> не то говно, что сейчас
[19:32:23] <ʇsʎɯ> (советский)*
[19:32:32] <ʇsʎɯ> xD
[19:32:57] <komar> Хы-хы, plzoo — прикольная вещь.
[19:35:30] <olegfink> да, я всегда ворою оттуда парсер, когда мне в n-ый раз зачем-то нужен тырпретатор лямбды
[19:35:39] <olegfink> *ворую
[19:36:47] <komar> Кстати, а где был тот проект, где на разных языках решали один и тот же список задач?
[19:37:04] <komar> Я оттуда работу с процессами через модуль Unix тырил.
[19:37:24] <komar> Когда не надо Lwt_process.
[19:37:31] <Typhon> http://shootout.alioth.debian.org/ вот тут на разных языках одними письками меряются
[19:37:39] <olegfink> нет, там другое
[19:37:40] <komar> Да не, это не то.
[19:37:48] <olegfink> но у меня тоже склероз
[19:37:56] <f[x]> pleac?
[19:37:59] <olegfink> угу
[19:38:00] <komar> О!
[19:38:43] <Typhon> охтыж. на окамле даже больше чем на пейтоне сделано.
[19:39:15] <komar> Блин, тарбол не качается.
[19:55:46] <ʇsʎɯ> ещё есть the rosetta code
[19:55:52] serp256 вышел(а) из комнаты
[19:59:50] komar вышел(а) из комнаты
[20:04:41] Typhon вышел(а) из комнаты
[20:35:08] serp256 вошёл(а) в комнату
[20:51:52] arhibot вошёл(а) в комнату
[21:01:01] komar вошёл(а) в комнату
[21:03:21] abiogenesis вошёл(а) в комнату
[21:03:55] abiogenesis вышел(а) из комнаты
[21:07:26] serp256 вышел(а) из комнаты
[21:07:50] <komar> Хы-хы, jocaml в списке.
[21:08:17] <komar> Ага, только по нему ничего нету.
[21:20:59] being вышел(а) из комнаты
[22:23:39] Typhon вошёл(а) в комнату
[22:36:11] komar вышел(а) из комнаты
[22:51:32] serp256 вошёл(а) в комнату
[23:19:21] olegfink вышел(а) из комнаты
[23:42:26] gds вышел(а) из комнаты
[23:44:09] olegfink вошёл(а) в комнату