Objective Caml - Понедельник, 23 мая 2011

Objective Caml

ocaml@conference.jabber.ru

Понедельник, 23 мая 2011< ^ >

gds установил(а) тему: Камль -- http://caml.inria.fr | Логи -- http://chatlogs.jabber.ru/ocaml@conference.jabber.ru/ | Светлое будущее -- http://camlunity.ru/ | Нефильтрованное настоящее -- https://github.com/camlunity/kamlo_wiki | Портер прошлое -- http://gdsfh.dyndns.org/kamlo/ | Верблюды грязи не боятся! | release crap, enjoy NIH | репортьте баги официальным дилерам | ocaml мёртв, move on

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

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

GMT+4
[00:10:53] Typhon вышел(а) из комнаты: Replaced by new connection
[00:10:55] Typhon вошёл(а) в комнату
[00:22:11] Typhon вышел(а) из комнаты
[00:27:04] ftrvxmtrx вошёл(а) в комнату
[00:36:04] gds вышел(а) из комнаты
[00:47:49] <ygrek> йоу -> http://www.complang.org/ragel/ChangeLog
[00:50:15] <zert> поздравляю
[00:50:22] <zert> а чого ты именем не назвался?
[00:52:31] <ygrek> зачем?
[00:53:12] komar вышел(а) из комнаты: Replaced by new connection
[00:53:12] komar вошёл(а) в комнату
[00:59:53] Kakadu вышел(а) из комнаты
[01:05:21] ftrvxmtrx вышел(а) из комнаты
[01:09:30] ftrvxmtrx вошёл(а) в комнату
[01:13:48] ftrvxmtrx вышел(а) из комнаты
[01:13:54] ftrvxmtrx вошёл(а) в комнату
[01:19:41] ygrek вышел(а) из комнаты
[01:30:21] zert вышел(а) из комнаты
[02:22:27] komar вышел(а) из комнаты: Replaced by new connection
[02:22:27] komar вошёл(а) в комнату
[02:49:58] Typhon вошёл(а) в комнату
[02:57:40] Typhon вышел(а) из комнаты
[04:51:04] komar вышел(а) из комнаты: Replaced by new connection
[04:51:04] komar вошёл(а) в комнату
[06:20:11] komar вышел(а) из комнаты: Replaced by new connection
[06:20:11] komar вошёл(а) в комнату
[08:38:43] komar вышел(а) из комнаты: Replaced by new connection
[08:38:43] komar вошёл(а) в комнату
[09:02:33] gds вошёл(а) в комнату
[10:58:51] <gds> фигассе, кто-то ещё использует камло -- гуглил по запросу, содержащему "ocaml" и "list", попал на рсдн.
[11:01:49] komar вышел(а) из комнаты: Replaced by new connection
[11:01:49] komar вошёл(а) в комнату
[11:16:24] <f[x]> не можэ буть
[11:20:08] <gds> сам шоке.
[11:20:14] <gds> вот это нормально? -- http://paste.in.ua/2433/
[11:20:33] <gds> с одной стороны -- да, с другой -- хз.
[11:25:19] <f[x]> хм
[11:25:21] <f[x]> хз
[11:27:18] <gds> то есть, тип класса включает в себя пометку "m -- virtual".  и пытается протащить её на класс ext.
[11:27:44] <gds> хз, писать ли в рассылку.  разве что тоже с вопросом типа "это нормально?".
[11:28:28] ftrvxmtrx вышел(а) из комнаты
[11:30:11] <f[x]> если он её протаскивает то мог бы как минимум в ошибке сказать об этом
[11:30:20] <f[x]> так что пиши жалуйся
[11:31:18] <gds> ога.  Насчёт "репортьте баги официальным дилерам" -- как бы спросить "нормально ли это"?  "is it the expected behaviour?"
[11:35:57] Typhon вошёл(а) в комнату
[11:40:48] ermine вошёл(а) в комнату
[11:41:33] <f[x]> угу
[11:51:29] <gds> отписал, поглядим на ответы.
прозреваю появление гаррига в треде через пару дней.
[12:12:27] zert вошёл(а) в комнату
[12:15:52] Kakadu вошёл(а) в комнату
[12:15:59] ftrvxmtrx вошёл(а) в комнату
[12:17:43] <gds> придумал способ описывать манатный код, не указывая заранее конкретную манатку.  кому это нужно, с другой стороны :)
[12:27:31] <Typhon> непонятно. а сейчас разве условно не так делается? есть функтор с M:MONAD какой-нибудь, и ты итак не указываешь конкретную монаду, когда описываешь, не? то есть, нужно это, посмотреть хотя бы
[12:30:01] <gds> функтор -- да, так.  Но если закодить монатку через записи/объекты, всю цепочку bind'ов можно выполнить тогда, когда будет нужно.  Впрочем, записи/объекты и модули похожи, то есть, подумав дополнительно, можно сделать и
let module R = Functor(Monad) in R.run ()
в общем, как вижу, никаких преимуществ нет, ничего нового не внесу.
[12:49:33] komar вышел(а) из комнаты: Replaced by new connection
[12:49:33] komar вошёл(а) в комнату
[13:15:27] Kakadu вышел(а) из комнаты: Replaced by new connection
[13:15:27] Kakadu вошёл(а) в комнату
[13:18:32] ftrvxmtrx вышел(а) из комнаты
[13:19:52] ftrvxmtrx вошёл(а) в комнату
[13:24:27] ftrvxmtrx вышел(а) из комнаты
[13:25:03] ftrvxmtrx вошёл(а) в комнату
[13:27:54] ftrvxmtrx вышел(а) из комнаты
[13:28:01] <Typhon> http://www.icfpcontest.org/2011/05/judges-machine-and-system-environment.html icfp намечается немного дурным, но для окамля вроде бы не страшным. зато интерпретируемые языки скорее всего нахлебаются шита, да и х-рам придётся несладко ^_^
[13:29:21] ftrvxmtrx вошёл(а) в комнату
[13:30:23] <komar> Опять оно.
[13:31:31] <gds> > Each guest (virtual) machine will have a single-core CPU
ох бида-бида, как же мой парвел будущий применить-то?..
[13:32:37] <Typhon> да, и памяти 512 не на процесс, а вообще :-(
[13:33:01] <Typhon> но ты представь, как х-рами придётся обмазываться строгостью или подсчитывать потребление памяти с ленивостью то!
[13:33:20] <gds> оооо, это будет сурово.  Но справедливо!
[13:33:31] <f[x]> виндузятники пролетают
[13:33:57] <gds> ну а чо, если на камле писать, то чего бы не откомпилировать под виртуалкой?
[13:35:00] f[x] представил себе виндузятника ни разу не видевшего *никс (а таких много) пытающегося чего-то скомпилить в виртуалке
[13:36:36] <gds> а, такие вендузятники пролетают не только мимо этого контеста -- они во многих других жизненных ситуациях пролетают со звуками взрывной диареи.
[13:36:58] <gds> потравливаю: "http://www.icfpcontest.org/2011/05/judges-machine-and-system-environment.html  --  самым разумным со стороны сообщества пользователей хаскеля было бы проигнорировать этот icfpc так, как будто его вообще нет."
[13:37:29] <f[x]> быть можно дельным человеком и юзать винду
[13:38:07] <gds> дельный человек за два дня разберётся с современным линупсом, особенно с таким простым, как дебиан.
[13:39:09] <f[x]> может
[14:04:37] komar вышел(а) из комнаты: Replaced by new connection
[14:04:38] komar вошёл(а) в комнату
[14:26:33] <gds> ну вот и всё, гарриг помог, посоветовав class ext = object (_ : #base).
[14:33:42] komar вышел(а) из комнаты
[14:39:36] Kakadu вышел(а) из комнаты
[14:39:39] Kakadu вошёл(а) в комнату
[15:41:39] gds вышел(а) из комнаты
[15:58:23] Digimmortal вошёл(а) в комнату
[15:58:23] Digimmortal вышел(а) из комнаты
[15:58:38] Digimmortal вошёл(а) в комнату
[16:54:06] gds вошёл(а) в комнату
[18:05:46] Kakadu вышел(а) из комнаты
[18:10:05] <Digimmortal> посмотрел одно из орегонских видео с Conor McBride - Он оказывается такой хардкорный фрик
[18:10:18] <Digimmortal> с чисто британским чувством юмора
[18:13:21] <Typhon> галуа?
[18:16:48] <Digimmortal> я про Галуа знаю только, что он был очень умный и нереально высокомерный
[18:17:16] <Typhon> в смысле, орегонские видео — это от галуа инк ? :-)
[18:17:23] <Digimmortal> а Conor McBride выглядит как английский гопник в растянутой майке
[18:17:33] <Digimmortal> http://www.cs.uoregon.edu/research/summerschool/summer10/curriculum.html
[18:18:13] <Digimmortal> обяъясняет довольно доходчиво - я даже почти пнял о чём он :)
[18:18:49] <Digimmortal> у видео качество так себе - на мобиле особо не посмотришь
[18:30:59] <Typhon> """[Generated by 'OASIS announce']""" — офигеть, до чего техника дошла!
[18:37:33] <gds> Digimmortal: зацениваю, забавно, но не видно некоторых букавок на видео.  Догадываться можно, хотя.  Дядька прикольный.  Гопарик, точняк.
[18:46:59] <Digimmortal> McBride на видео пересказывает статью Kleisli arrows of outrageous fortune
[18:47:38] <Digimmortal> видео существенно понятней, за счёт пояснений
[18:57:03] <f[x]> > Checking Type Safety of Foreign Function Calls
чорт, я тут костыль на coccinelle ваял, а оказывается всё уже украдено до нас
[18:58:36] Kakadu вошёл(а) в комнату
[19:01:08] <f[x]> чорт, и я ведь эту штуку уже видел раньше, ну башка дырявая
[19:01:54] <gds> f[x]: и как проверяют безопасность?
[19:03:43] komar вошёл(а) в комнату
[19:06:59] <f[x]> camlp4 выдирает камлевую информацию, CIL анализирует сишную часть
[19:07:11] <f[x]> ну там ещё какая-то матанская система типов наворочена
[19:07:29] <f[x]> для доказательства чего-то там
[19:07:59] <f[x]> я думал похожее на frama-c делать
[19:43:35] <Digimmortal> f[x]: а зачем тебе оно понадобилось?
[19:44:11] <f[x]> сишные биндинги проверять
[19:44:59] f[x] видел и фиксил слишком много кривых сторонних биндингов, надо этот процесс автоматизировать
[19:45:37] <Digimmortal> в статье букв многовато
[19:45:42] <Digimmortal> надо отдельно читать
[19:47:12] <f[x]> http://www.cs.uoregon.edu/research/summerschool/summer05/lectures/ffi.pdf
[19:47:15] <f[x]> слайды
[19:48:55] <Digimmortal> о, спасибо
[19:49:57] <Typhon> а то что "всё уже украдено до нас" — оно насколько пригодно к использованию, если у тебя нету учёной степени?
[19:53:31] <gds> обычно в таких вещах нужна не учёная степень, а большой драчёвый напильник, которым это всё допиливается до юзабельности.
[19:53:43] <f[x]> gds <-- what he says
[19:54:29] f[x] вытащил saffire из web.archive и положил в криокамеру рядом с ocamldefun
[20:00:07] <gds> кстати вот, про ocamldefun интересно таки.  я уже кое-где думал (конечно, после профайлера) попробовать слишком синтаксически всё оформить: например, ясное дело,
module F(X : T) = struct ... X.v ...
module F_Y = F(Y)
вполне так раскрывается до
module F_Y = struct
  module X = Y
  ... X.v ...
конечно, какие-то моменты могу не учесть.
А ocamldefun каким образом работает -- похожим или другим?  Или не в курсе?
[20:24:15] Digimmortal вышел(а) из комнаты
[20:35:41] ftrvxmtrx вышел(а) из комнаты
[21:32:33] ftrvxmtrx вошёл(а) в комнату
[21:51:56] <gds> дамы и господа, подскажите пожалуйста такую штуку.  js_of_ocaml -- его отдельно от ocsigen можно?  на каких браузерах он работает?
[22:04:45] Typhon вышел(а) из комнаты
[22:04:51] <komar> gds: да.
[22:05:06] <komar> Второе не знаю.
[22:07:08] <gds> ага, всё понял.  Как сейчас прикидываю, если хочется типизированный js, то самым простым решением будет брать js_of_ocaml, использовать его отдельно от ocsigen, а в случае каких-либо несовместимостей патчить генерилку js.
[22:08:01] <komar> Наверное.
[22:58:39] Typhon вошёл(а) в комнату
[23:20:44] ygrek вошёл(а) в комнату
[23:21:25] ygrek вышел(а) из комнаты
[23:21:55] ygrek вошёл(а) в комнату