Objective Caml - Вторник, 29 марта 2011

Objective Caml

ocaml@conference.jabber.ru

Вторник, 29 марта 2011< ^ >

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

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

GMT+4
[00:06:10] komar вышел(а) из комнаты
[00:06:19] komar вошёл(а) в комнату
[00:13:28] bobry вышел(а) из комнаты
[00:13:39] bobry вошёл(а) в комнату
[00:32:21] ygrek вышел(а) из комнаты
[00:37:19] Kakadu вышел(а) из комнаты
[01:04:19] bobry вышел(а) из комнаты: Replaced by new connection
[01:04:20] bobry вошёл(а) в комнату
[01:13:28] bobry вышел(а) из комнаты
[01:13:41] bobry вошёл(а) в комнату
[01:24:16] <Typhon> http://research.microsoft.com/apps/pubs/default.aspx?id=147003 -- Lightweight Monadic Programming in ML -- от MS для gds %)
[02:07:04] ftrvxmtrx вышел(а) из комнаты
[02:09:08] ftrvxmtrx вошёл(а) в комнату
[02:33:56] Typhon вышел(а) из комнаты
[03:26:13] komar вышел(а) из комнаты: Replaced by new connection
[03:26:13] komar вошёл(а) в комнату
[03:58:32] zert вышел(а) из комнаты
[04:02:35] komar вышел(а) из комнаты
[05:16:16] komar вошёл(а) в комнату
[05:27:28] komar вышел(а) из комнаты: Replaced by new connection
[05:27:29] komar вошёл(а) в комнату
[05:39:11] komar вышел(а) из комнаты: Replaced by new connection
[05:39:15] komar вошёл(а) в комнату
[05:50:41] komar вышел(а) из комнаты: Replaced by new connection
[05:50:50] komar вошёл(а) в комнату
[06:02:04] komar вышел(а) из комнаты: Replaced by new connection
[06:02:06] komar вошёл(а) в комнату
[06:10:30] komar вышел(а) из комнаты: Replaced by new connection
[06:10:31] komar вошёл(а) в комнату
[08:20:50] <gds> Typhon: статья, судя по описанию, годная.  Обязательно буду читать.  Даже несмотря на MS.
[09:08:26] bobry вышел(а) из комнаты
[09:08:39] bobry вошёл(а) в комнату
[10:31:55] ygrek вошёл(а) в комнату
[10:32:36] <gds> а кто-нибудь знает, есть ли рассылка у lwt?  из главного сайта -- только адрес "contact@..", что не совсем то.
[10:34:57] Typhon вошёл(а) в комнату
[11:19:29] <f[x]> gds: ocsigen
[11:47:49] bobry вышел(а) из комнаты
[11:48:03] bobry вошёл(а) в комнату
[12:18:18] ermine вошёл(а) в комнату
[12:44:21] Kakadu вошёл(а) в комнату
[12:49:57] <gds> полиморфные варианты и "лёгкий, ненавязчивый рефакторинг" = FUUUUU = http://paste.in.ua/2015/
[12:55:40] <Kakadu> gds: :'-(
[12:57:01] <f[x]> бгг
[13:03:49] <Kakadu> https://sympa.mancoosi.univ-paris-diderot.fr/wws/arc/ocsigen/2011-03/msg00057.html
все могут ужасаться от того, что я натворил...
[13:07:05] <Typhon> подождём, пока до ящика дойдёт — там читать невозможно :)
[13:07:13] <gds> если компилируется и работает -- нечего ужасаться.
кстати, деанонимизация прошла успешно.
[13:11:14] <Kakadu> я думал за ночь она уже дошла
[13:11:19] <Kakadu> в смысле оно
[13:15:28] ygrek вышел(а) из комнаты
[13:17:15] <Kakadu> меня несколько пугает что я сяду в лужу с тем, что юзать iframe и конвертировать html в вики будет для тонких моментов нереально
[13:17:41] <Kakadu> пока расскажите, как вы видете использование вики-редактора.
[13:18:21] <Kakadu> а, я чушь какую-то пишу
[13:19:26] <Typhon> а зачем коневртировать хтмл в вики? наоборот же вроде надо
[13:19:59] <Kakadu> наоборот уже есть
[13:20:55] <Kakadu> Typhon: а как бы ты писал визивиг для вики?
[13:23:11] <Typhon> а, я понял, ты по кнопочкам генеришь хтмл, чтобы это показать, а потом парсишь его в вики, ага. наверное. можно по этим кнопочкам (а также по событиям  — юзер же может текст вбивать и всё такое) — строить синтаксическое дерево
[13:23:15] <Typhon> и из него потом генерить
[13:23:29] <Typhon> причём, ты из него как хтмл генерить можешь, так и вики разметку
[13:23:35] <Typhon> и в перспективе — любую штуку
[13:24:20] <gds> поддерживаю идею.  Однако, не знаю, насколько это применимо конкретно в случаях жабоскрипта.
[13:25:25] <Typhon> ну по кнопочкам не вопрос модифицировать дерево, по прямому редактированию тоже можно ловить события и добавлять введённый текст.
[13:30:12] <Kakadu> Typhon: не совсем понял, что ты сказал, но добавлю только, что сейчас я html не генерю - за меня это делает браузер.
[13:36:13] <Typhon> ну DOM модифицируешь
[13:39:01] <f[x]> зацените хохму :
let func1 x y = compare x y
let func2 x y = String.compare x y
let func3 (x:string) y = compare x y
let func4 (x:string) y = String.compare x y
[13:39:28] <f[x]> кто из func будет напрямую вызывать caml_string_compare а кто полиморфную compare_val
[13:39:30] <f[x]> ?
[13:39:45] <f[x]> наугад, ну
[13:41:03] <gds> даже не наугад можно.
[13:41:10] <gds> (но получится всё равно наугад)
[13:41:24] <gds> полиморфную -- func1 и func3.
[13:41:39] <f[x]> FAIL
[13:42:00] <f[x]> стал бы я в таком случае жаловаться
[13:42:11] <f[x]> все кроме func3 - полиморфные
[13:42:14] <f[x]> а я сижу офигеваю с профайлера который показывает на compare_val в Set.Make(String)
[13:42:26] <f[x]> французы, фигли
[13:43:28] <gds> интересно, какого хрена.
[13:43:43] <Typhon> какого, да ? типы же известны в 2-4 ?
[13:43:59] <f[x]> очень просто, let compare = Pervasives.compare
[13:44:01] <gds> более того, String.compare должна быть изначально специфичной.
[13:44:02] <f[x]> в string.ml
[13:44:30] <f[x]> проверьте ocamlopt -c -S str.ml
[13:44:52] <gds> а почему разница между func3 и func4 есть?
[13:45:05] <f[x]> думаю компилер специализирует только явные compare
[13:45:20] <f[x]> т.е. он не видит что String.compare = Pervasives.compare
[13:45:31] <gds> пц.
[13:45:33] <f[x]> ага
[13:46:14] <f[x]> судя по svn в 3.12 то же самое, у кого есть собранный проверьте плиз
[13:46:34] <gds> у меня сейчас под рукой нет.
[13:46:48] <f[x]> а, у меня же есть :)
[13:46:52] <f[x]> то же самое, да
[13:50:57] <f[x]> PR#5244
[13:54:49] <Kakadu> Люди, а почему я создал репозиторий как для себя, а он добавился к пользователю camlunity тоже?
[13:55:03] <Typhon> context не переключил?
[13:55:28] <Kakadu> Typhon: сейчас я уже не скажу, что не так.
[13:55:34] <Typhon> f[x]: ок ответил на ирц! %)
[13:55:54] <Typhon> я думал, в какой-нибудь обж мэджик посылать начнут :)
[13:56:31] <gds> апакажите!
[13:56:50] <f[x]> дык, а как ещё ответить? "хочу писать на камле как на питоне" - ну вперёд, пиши на питоне
[13:58:46] <Typhon> Wojtas
Hello, how can I write a function that checks if a list has a specific type, so that it returns a bool?
f[x]
0 = Sys.command "python isinstance(x,t)"
[14:00:45] <gds> хорошо :)
[14:06:36] f[x] вышел(а) из комнаты
[14:06:54] f[x] вошёл(а) в комнату
[14:11:27] f[x] вышел(а) из комнаты
[14:29:58] f[x] вошёл(а) в комнату
[14:32:22] myxomop87 вошёл(а) в комнату
[14:33:18] myxomop87 вышел(а) из комнаты
[14:46:57] f[x] вышел(а) из комнаты
[14:57:29] gds вышел(а) из комнаты
[15:54:09] f[x] вошёл(а) в комнату
[16:04:07] <bobry> я вот читаю исходники xen-api и не могу понять пошто они не пользуют батарейки или jane core
[16:04:18] <bobry> кто нибудь знает?
[16:04:28] <Typhon> bobry: топик же :)
[16:04:34] <bobry> логи?
[16:05:16] <Typhon> не, enjoy NIH
[16:05:34] <bobry> а, лол -- ну да
[16:05:41] <Typhon> к тому же, они, кажется, начали xen api давно делать, батареек ещё не было — но могу ошибаться
[16:05:47] <bobry> и второй вопрос -- почему парсер аргументов хочет ref?
[16:05:54] <bobry> почему он не возвращает список например
[16:06:14] <bobry> вроде это одно из тех мест где вполне можно и без нечистот обойтись
[16:07:18] <bobry> я про вот это http://caml.inria.fr/pub/docs/manual-ocaml/libref/Arg.html если что :)
[16:08:44] <f[x]> и что со списком делать?
[16:09:24] <bobry> ну proplist например, его же не сложно будет разобрать
[16:10:41] <f[x]> неудобно
[16:10:50] <bobry> почему?
[16:10:56] <f[x]> напиши код
[16:11:00] <f[x]> и увидишь
[16:11:22] <Kakadu> bobry: ты про val current : int ref ?
[16:11:49] <f[x]> сейчас я пишу let n = ref default in let s = ref "default" in let args = ... n in Arg.parge ..; main ()
[16:12:09] <bobry> Kakadu, не, я про то как spec объявляется
[16:15:44] <f[x]> и это тем более удобно если хочется иметь глобальный config модуль, от которого зависят многие другие модули
[16:29:45] zert вошёл(а) в комнату
[17:02:07] ftrvxmtrx вышел(а) из комнаты
[17:03:09] ftrvxmtrx вошёл(а) в комнату
[17:15:04] komar вышел(а) из комнаты: Replaced by new connection
[17:15:04] komar вошёл(а) в комнату
[17:41:09] <komar> > @dmz эрланг это такой же окамль, только с дебильными скобочками,  запятыми, стрелочками и хер запустишь
[17:41:22] <bobry> :))
[17:41:32] <zert> трололо
[17:42:42] <f[x]> мда
[17:59:29] gds вошёл(а) в комнату
[18:46:48] f[x] вышел(а) из комнаты
[18:48:31] f[x] вошёл(а) в комнату
[19:22:33] Kakadu вышел(а) из комнаты
[19:50:22] Typhon вышел(а) из комнаты
[20:06:04] iNode вошёл(а) в комнату
[20:06:27] zert вышел(а) из комнаты
[20:19:08] Kakadu вошёл(а) в комнату
[21:32:14] ygrek вошёл(а) в комнату
[22:02:16] ygrek вышел(а) из комнаты
[22:55:26] Kakadu начинает ненавидеть С++
[22:55:45] Kakadu говорит: НЯ!
[23:01:32] Kakadu вышел(а) из комнаты
[23:14:25] arhibot вошёл(а) в комнату
[23:34:44] Kakadu вошёл(а) в комнату
[23:35:39] <ermine> наверное, ты его готовить не умеешь
[23:36:03] <Kakadu> ermine: ну это понятное дело
[23:36:27] <Kakadu> ermine: просто мистические вещи порой выскакивают
[23:37:01] <gds> а кто умеет готовить C++ вообще, в принципе?  Судя по C++FQA, никто.
[23:37:31] <ermine> посмотри - сколько серьезных вещей написано на с++ и сколько - на камле
[23:37:48] <Kakadu> gds: да я и на QT не умею готовить
[23:38:48] <Kakadu> а ещё меня задрала нвидия
[23:39:05] <gds> кстати, сегодня обсуждали объёмы плюсовых программ в памяти -- иксы, опера, psi.  Что-то хреново как-то для "самого экономного после C языка".
[23:39:05] <ermine> камло - это язык для детей, не осиливших с++
[23:39:07] <Kakadu> только что в дебиане обновился - думал будет счастье
[23:40:02] <Kakadu> gds: там может либы тащатся кутэшные?
[23:40:08] <ermine> а от обновления камла сразу наступает счастье?
[23:40:32] <gds> не вникал в особенности, в этомсамом не ковырялся.
[23:40:33] <Kakadu> ermine: камло - если компилится - значит работает
[23:41:44] <ermine> Kakadu: сказка для детей младшего ясельного возраста :)
[23:42:55] <Kakadu> ermine: зато иксы с нвиией не подымаются - факт
[23:42:56] <ermine> Kakadu: пример наобум: let str = "abc" in print_char str.[5], думаешь, не скомпилится?
[23:43:51] <ermine> а вот иксы многими местами на с++ песаны, а таких монстров на камле - нет
[23:44:01] <ermine> и иксы у меня чота не падают
[23:44:23] <Kakadu> ermine: а ты обнови нвидию из дебиан testing
[23:45:08] <ermine> Kakadu: ну почти каждый день запускается portupgrade (у меня freebsd)
[23:45:18] <ermine> и иксы свеженькие
[23:45:51] <Kakadu> ermine: у тебя карма хорошая
[23:46:23] <ermine> Kakadu: нет, просто я "ненавижу" линукс
[23:55:40] ermine вышел(а) из комнаты
[23:56:58] Kakadu вышел(а) из комнаты
[23:59:46] ygrek вошёл(а) в комнату