Objective Caml - Вторник, 2 февраля 2010

Objective Caml

ocaml@conference.jabber.ru

Вторник, 2 февраля 2010< ^ >

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

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

GMT+3
[00:41:16] Typhon вышел(а) из комнаты
[00:56:07] Kakadu вышел(а) из комнаты
[01:02:28] gds вышел(а) из комнаты
[01:11:38] ermine вышел(а) из комнаты
[03:02:10] daapp вошёл(а) в комнату
[07:07:19] daapp вышел(а) из комнаты
[07:08:10] daapp вошёл(а) в комнату
[07:48:34] geovit вошёл(а) в комнату
[08:26:19] iNode вошёл(а) в комнату
[08:58:50] geovit вышел(а) из комнаты
[08:59:21] geovit вошёл(а) в комнату
[09:02:20] gds вошёл(а) в комнату
[09:11:29] Typhon вошёл(а) в комнату
[09:28:02] Sergey Plaksin вошёл(а) в комнату
[09:35:18] Sergey Plaksin изменил(а) имя на SerP256
[09:35:18] SerP256 изменил(а) имя на Sergey Plaksin
[09:36:26] Sergey Plaksin вышел(а) из комнаты
[09:36:27] SerP256 вошёл(а) в комнату
[09:36:28] SerP256 изменил(а) имя на Sergey Plaksin
[09:36:34] Sergey Plaksin вышел(а) из комнаты
[09:36:35] SerP256 вошёл(а) в комнату
[09:37:41] SerP256 вышел(а) из комнаты
[09:37:50] Sergey Plaksin вошёл(а) в комнату
[09:38:06] Sergey Plaksin изменил(а) имя на SerP 256
[09:38:36] SerP 256 изменил(а) имя на Радзевич Белевич
[09:38:37] Радзевич Белевич изменил(а) имя на Sergey Plaksin
[09:38:52] Sergey Plaksin изменил(а) имя на SerP 256
[09:39:09] SerP 256 вышел(а) из комнаты
[09:39:13] Sergey Plaksin вошёл(а) в комнату
[09:40:17] Sergey Plaksin вышел(а) из комнаты
[09:40:35] Sergey Plaksin вошёл(а) в комнату
[09:44:13] Sergey Plaksin вышел(а) из комнаты
[09:44:15] Sergey Plaksin вошёл(а) в комнату
[09:44:23] Sergey Plaksin вышел(а) из комнаты
[09:44:26] Sergey Plaksin вошёл(а) в комнату
[09:44:31] Sergey Plaksin вышел(а) из комнаты
[09:44:42] Sergey Plaksin вошёл(а) в комнату
[09:44:47] Sergey Plaksin вышел(а) из комнаты
[09:45:00] Sergey Plaksin вошёл(а) в комнату
[09:45:51] Sergey Plaksin вышел(а) из комнаты
[09:54:41] ygrek вошёл(а) в комнату
[09:54:54] ygrek вышел(а) из комнаты
[09:55:40] ygrek вошёл(а) в комнату
[10:12:38] Sergey Plaksin вошёл(а) в комнату
[10:35:12] ygrek вышел(а) из комнаты
[10:47:57] Sergey Plaksin вышел(а) из комнаты
[11:22:27] f[x] вошёл(а) в комнату
[12:03:34] Kakadu вошёл(а) в комнату
[12:10:13] ermine вошёл(а) в комнату
[12:20:35] sceptic вышел(а) из комнаты
[14:21:10] Yakov Zaytsev вошёл(а) в комнату
[14:21:16] <Yakov Zaytsev> hey
[14:22:40] sceptic вошёл(а) в комнату
[15:24:47] <Typhon> из planet haskell: Gareth Smith (gds)... --- ренегаты? ^_^
[15:25:10] <gds> зачьто ви меня тгавите?!
[15:29:46] <f[x]> [14:24:21] <Typhon> ... planet haskell - ренегат!
[15:30:07] <Typhon> :) так я ж типа врага изучаю!
[15:30:31] <f[x]> :)
[15:54:20] f[x] вышел(а) из комнаты
[16:06:05] Kakadu вышел(а) из комнаты: I'm happy Miranda IM user. Get it at http://miranda-im.org/.
[16:17:07] michael.holub вошёл(а) в комнату
[16:51:19] f[x] вошёл(а) в комнату
[17:01:33] geovit вышел(а) из комнаты
[17:06:02] iNode вышел(а) из комнаты
[17:34:03] <Yakov Zaytsev> блин, а как в степень возводят? :-)
[17:34:32] <gds> **
[17:35:28] gds вышел(а) из комнаты
[17:35:58] <michael.holub> а в камле есть аналог hayoo или hoogle?
[17:38:38] <Yakov Zaytsev> да уж пригодилось бы, а то в браузере открыто ExtLib, Batteries и стандартрная библиотека :-)
[17:39:50] <michael.holub> вот почему в непрактичном хаскелле есть нормальный топлевел и нормальный поисковик по докам, но нифига нет нормальных либ, а в окамле с точностью до наоборот? :)
[17:40:45] <Yakov Zaytsev> ну и хренли ты еще не написал недостающие части для обоих-то?! ;-)
[17:41:17] <michael.holub> ну у меня фп это почти хобби, он мне на работе никак не нужен и увы его там вообще некуда запихнуть :) я сам не понимаю, чего у меня такой интерес к окамлю с хаскеллем
[17:42:06] <Typhon> michael.holub: а что не так в топлевеле?
[17:42:26] <michael.holub> нет нормального ридлайна
[17:42:39] <Yakov Zaytsev> michael.holub: если ты не программистом работаешь, то дисительно не запихнуть.. :-P
[17:42:42] <michael.holub> приходится юзать rlwrap какой-нибудь, что конечно совсем не то
[17:42:49] <Typhon> michael.holub: вот, вроде это как аналог хугла http://docs.camlcity.org/docs/index.html
[17:43:30] <michael.holub> программистом, но пишу под айфон, соответственно обжектив-си :) я от тоски вон даже сишные замыкания пытаюсь юзать
[17:43:51] <Typhon> michael.holub: кодогенератор пиши ^_^
[17:44:18] <Typhon> michael.holub: http://code.google.com/p/objective-c-caml-bridge/
[17:44:32] <Typhon> http://web.yl.is.s.u-tokyo.ac.jp/~tosh/ocaml-on-iphone/
[17:44:51] <Yakov Zaytsev> michael.holub: а в EMACS у меня вроде в порядке все с топлевелом...
[17:45:18] <michael.holub> typhon в аппстор не пропустят
[17:45:33] <Typhon> michael.holub: почему? (если можно кратко, без ссылок)
[17:45:48] <michael.holub> yakov zaytsev дополняет функции? модули? выводит типы?
[17:46:36] <michael.holub> typhon: ну вот такая политика эппл, не разрешают они тащить абы что на айфон, если у камля есть компиляция в си, то можно, си тащить можно и компилять их gcc, а вот тащить бинарники уже нельзя
[17:47:31] <michael.holub> по ссылке, что ты дал собственно написано, что нужен джейлнутый айфон и неспроста
[17:48:18] <Typhon> а хаскиль вроде умеет генерить сикод, для дальнейшей компеляции gcc-ом?
[17:48:36] <michael.holub> умеет, но я не пробовал еще такое извращение :) хотя конечно стоит
[17:49:12] <michael.holub> а не будет проблем с ARM'ом? или если Си-код, то он портабельный сто процентов?
[17:49:22] <michael.holub> знаю, что удачно использовали gambit-scheme
[17:51:21] <Yakov Zaytsev> имхо теже яйца
[17:51:43] <Yakov Zaytsev> что габитовский С, что из гхц
[17:52:20] <Yakov Zaytsev> michael.holub: скажи, а что правда йамобилко однозадачный?
[17:53:49] <michael.holub> сама ось многозадачная (там макось обыкновенная, чуть допиленная), там процессов 20 выполняется, но для приложений многозадачность убрана
[17:54:24] <michael.holub> то есть выполняются одновременно только твое приложение и всякие системные процессы типа плейера
[17:55:17] <michael.holub> оно создает допгеморрой разработчикам, потому что нужно делать так, чтобы приложение сохраняло состояние между запусками
[17:55:47] <michael.holub> но с другой стороны ресурсы всегда только твои, знаешь на сколько оперативки и проца рассчитывать
[18:11:18] iNode вошёл(а) в комнату
[18:35:20] sceptic вышел(а) из комнаты
[18:35:44] gds вошёл(а) в комнату
[18:37:11] <f[x]> а в аппстор отдаются исходники что-ли? не бинарники?
[18:37:28] <michael.holub> бинарники, но у них какие-то свои методы :)
[18:38:29] <gds> насчёт hoogle -- есть поиск по типам в ocamlbrowser, но поиск слегка странный.
[18:39:51] <f[x]> michael.holub: не понял. раз бинарники, то почему нельзя?
[18:40:02] <michael.holub> у них какие-то свои эвристики :) не знаю
[18:41:48] <f[x]> от жеж
[18:44:35] <michael.holub> хотя может я вру, не надо меня слушать :)
[18:45:09] <michael.holub> точно знаю, что интерпретаторы нельзя, если код, который они интерпретируют - может меняться
[18:45:48] <michael.holub> а вот касательно бинарного кода - сейчас покопаюсь
[18:48:52] Typhon вышел(а) из комнаты
[18:52:00] <michael.holub> хотя, раз есть MonoTouch, то все-таки я не прав
[18:58:25] <olegfink> я вот не понимаю, как они согласились на js в браузере. :-)
[18:58:48] <michael.holub> так изначально же все приложения писались ТОЛЬКО на js
[18:58:58] <michael.holub> эппл далеко не сразу открыла свои API для разработчиков
[18:59:08] <michael.holub> так и писали - браузерные, заточенные под айфон
[18:59:23] <michael.holub> но я это не застал
[19:06:46] <gds> кстати, если совсем извращаться, то из наличия js в браузере следует возможность запуска obrowser: http://www.pps.jussieu.fr/~canou/obrowser/tutorial/
[19:08:08] <michael.holub> интерпретатор окамля в браузере?
[19:12:22] <gds> ага, это ад :)
[19:12:42] <gds> кстати, по слухам из рассылки, там не работают weak values, если чо.
[19:13:09] <michael.holub> что такое weak values? убираются, если память закончилась, даже если на них ссылка осталась?
[19:13:20] <michael.holub> я просто в окамле не бум-бум практически :-[
[19:16:33] <gds> weak -- ага.
точнее, там не обязательно, чтобы закончилась память -- вроде бы в текущей реализации они убираются слегка до окончания памяти. вероятно, при major gc, но это только предположение.
[19:18:07] gds в последнее время похож на бабку с лавочки -- ассоциативная память работает, а конкретику искать обычно лениво.
[19:18:53] <Yakov Zaytsev> "слыхал звон, да не знаю где он" ;-)
[19:20:00] <gds> ога, только с поправкой на то, что звон таки был и таки проходил через меня, и даже оставил какие-то ключевые слова.
[19:20:57] <michael.holub> а как вы оцениваете движуху вокруг окамля в последние годы? в градации от "бурно развивается" до "умирает"
[19:27:07] <f[x]> умер
[19:29:00] <Yakov Zaytsev> ygrek: что так негативно? :-)
[19:29:14] <gds> мы тут как-то раз уже взвесили всё и решили: пора валить на схему.
[19:30:20] <Yakov Zaytsev> аа, точно ведь!
[19:30:31] <Yakov Zaytsev> запамятоваф
[19:30:39] <michael.holub> все так грустно? его ж в продакшене юзают, неужели ни одна фирма коммерческая не подхватит разработку в случае катаклизма в inria?
[19:31:15] <Yakov Zaytsev> только ксавье во всем разбирается, если он уйдет будет армагедон
[19:32:19] <gds> ну, дамьен долижет, если уж совсем плохо будет.
[19:43:07] Yakov Zaytsev вышел(а) из комнаты
[20:40:18] sceptic вошёл(а) в комнату
[20:40:44] michael.holub вышел(а) из комнаты
[21:52:05] gds вышел(а) из комнаты: Replaced by new connection
[21:52:07] gds вошёл(а) в комнату
[22:54:42] iNode вышел(а) из комнаты
[23:13:17] gds вышел(а) из комнаты: Replaced by new connection
[23:13:19] gds вошёл(а) в комнату
[23:21:02] gds вышел(а) из комнаты
[23:25:47] michael.holub вошёл(а) в комнату
[23:41:38] michael.holub вышел(а) из комнаты
[23:45:09] Typhon вошёл(а) в комнату
[23:58:02] michael.holub вошёл(а) в комнату
[23:58:21] michael.holub вышел(а) из комнаты