Objective Caml - Пятница, 1 июля 2011

Objective Caml

ocaml@conference.jabber.ru

Пятница, 1 июля 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:11:29] Typhon вошёл(а) в комнату
[00:34:16] ygrek вошёл(а) в комнату
[00:34:29] ygrek вышел(а) из комнаты
[00:34:46] ygrek вошёл(а) в комнату
[01:04:33] <ygrek> > next generation of x86 micro architecture code name "Haswell"
[01:12:42] <ermine> мож опечатка в четвертой букве?
[01:15:36] ygrek вышел(а) из комнаты
[01:15:39] ygrek вошёл(а) в комнату
[01:19:44] ermine вышел(а) из комнаты
[01:52:56] komar вышел(а) из комнаты
[01:53:31] ygrek вышел(а) из комнаты
[02:08:15] komar вошёл(а) в комнату
[02:32:38] komar вышел(а) из комнаты: Replaced by new connection
[02:32:39] komar вошёл(а) в комнату
[02:52:25] Typhon вышел(а) из комнаты: Replaced by new connection
[02:52:27] Typhon вошёл(а) в комнату
[03:12:00] zinid вошёл(а) в комнату
[03:41:36] zert вышел(а) из комнаты
[03:43:55] Typhon вышел(а) из комнаты
[04:22:58] komar вышел(а) из комнаты: Replaced by new connection
[04:22:58] komar вошёл(а) в комнату
[04:25:32] komar вышел(а) из комнаты: Replaced by new connection
[04:25:33] komar вошёл(а) в комнату
[04:55:35] komar вышел(а) из комнаты: Replaced by new connection
[04:55:35] komar вошёл(а) в комнату
[07:59:10] <komar> А окамл поддерживает что-то вроде function 'a' - 'z' -> ... | _ -> ..., или это мне приснилось?
[07:59:20] <komar> В окамллехе точно есть.
[08:00:29] <komar> А, 'a'..'z' же.
[08:15:37] <zinid> Hugs> [1..10]
[1,2,3,4,5,6,7,8,9,10]
[08:15:39] <zinid> вот круть
[08:15:45] <zinid> а камло такое не умеет
[08:17:20] <komar> Умеет.
[08:17:24] <komar> Где-то костыль видел.
[08:17:27] <komar> Ненужный.
[08:18:11] <zinid> угу, это больше пузомерка
[09:04:00] gds вошёл(а) в комнату
[09:32:31] komar вышел(а) из комнаты: Replaced by new connection
[09:32:32] komar вошёл(а) в комнату
[10:21:02] bobry- вошёл(а) в комнату
[10:23:32] ftrvxmtrx вышел(а) из комнаты
[10:24:01] gds вышел(а) из комнаты
[10:24:44] gds вошёл(а) в комнату
[10:28:28] komar вышел(а) из комнаты: Replaced by new connection
[10:28:29] komar вошёл(а) в комнату
[11:04:06] ygrek вошёл(а) в комнату
[11:19:44] bobry- вышел(а) из комнаты
[11:19:53] bobry- вошёл(а) в комнату
[11:57:35] ftrvxmtrx вошёл(а) в комнату
[11:58:45] zert вошёл(а) в комнату
[12:22:54] Typhon вошёл(а) в комнату
[12:31:01] <bobry-> товарищи, подскажите -- можно как нибудь Sha1 и Sha256 записывать в локальный модуль? http://paste.in.ua/2678/
[12:31:09] <bobry-> чтобы писать один раз M.to_hex ...
[12:32:09] <Typhon> ты хочешь функтор, походу
[12:32:19] <gds> а как M.to_hex будет определять, какой из Sha применять?
[12:32:33] <bobry-> ну вот мне бы в M записать Sha1 | Sha256
[12:33:05] <bobry-> функтор, хмм
[12:33:27] <bobry-> он же вроде module -> module должен быть
[12:33:29] <gds> кстати про failwith $ -- лучше использовать
let failwith fmt = Printf.ksprintf failwith fmt
... | t -> failwith "Can't handle %s sorry" t
[12:33:51] <bobry-> gds: мерси, щас поменяю
[12:35:42] <Typhon> можешь посмотреть на фёрст класс модули: https://github.com/camlunity/ocaml-quickcheck/blob/first-class-modules/src/quickCheck.ml#L5 -- как-то так
[12:35:52] ermine вошёл(а) в комнату
[12:36:17] <Typhon> функтор подойдёт, если твой модуль много где зависит от одного из нескольких вариантов реализации одного интерфейса.
[12:36:34] <Typhon> тогда можно сделать функтор, который бы параметризовался чем надо.
[12:37:02] <bobry-> спасибо, щас почитаю
[12:37:21] <bobry-> кстати, Typhon -- ты quickcheck пользуешь или oUnit?
[12:37:41] <Typhon> квикчек, потому что я его портировал немного ^_^
[12:37:46] <bobry-> :)
[12:37:54] <Typhon> и вообще, подход квикчека мне больше нравится
[12:38:09] <Typhon> тестировать вообще должны генетические алгоритмы, которые сами искали бы баги
[12:38:30] <bobry-> интересно есть ли какие нить попытки такое сделать
[12:38:36] <bobry-> звучит очень футуристично
[12:39:30] <Typhon> статьи гуглятся
[12:39:36] <Typhon> https://encrypted.google.com/search?q=genetic+algorithms+testing
[12:47:32] Typhon вышел(а) из комнаты
[12:56:46] zinid вышел(а) из комнаты
[13:35:10] <f[x]> komar: re git-sucks
[13:35:24] <f[x]> experien_c_e
[13:35:36] <f[x]> git log --stat --follow -- filename
[13:36:36] <zert> f[x]: чиго?
[13:38:15] gds вышел(а) из комнаты
[13:39:17] gds вошёл(а) в комнату
[13:46:13] <f[x]> Code sharing > то же самое + git update-server-info
[13:53:51] <f[x]> zert: http://komar.bitcheese.net/en/tech/git-sucks-or-why-do-I-use-darcs-instead
[13:54:24] <gds> вложенные аппликативные функторы: http://gdsfh.dreamwidth.org/7058.html
[13:57:09] <f[x]> грозно
[13:59:24] <gds> угу, а на деле -- куча модных слов и лямбда-абсракция.
[14:20:19] ftrvxmtrx вышел(а) из комнаты
[14:30:50] <bobry-> кака же досадно что record fields должны быть unique <_<
[14:30:53] <bobry-> *как
[14:31:21] <bobry-> для camlp4 нету случаем какого нибудь extension'a который снимает этого ограничение?
[14:42:21] <gds> bobry-: в пределах разных модулей -- не обязательно уникальны.  Кроме того, есть объекты -- это такие же записи, только расширяемые, ну и чуть другие.
[14:42:38] <bobry-> ну, речь об одном модуле
[14:48:13] <komar> f[x]: спасибо.
[14:48:56] <komar> f[x]: по поводу git log --stat --follow -- filename — ни разу не понятно, как это распарсить.
[14:48:57] ftrvxmtrx вошёл(а) в комнату
[14:50:04] <komar> f[x]: там вывод о том, что к перемещенному файлу относятся такие-то коммиты, а как узнать, куда он убежал?
[15:06:28] gds вышел(а) из комнаты: Replaced by new connection
[15:06:29] gds вошёл(а) в комнату
[15:16:38] <f[x]> komar: --stat показывает кто куда переименовался
[15:33:23] <komar> У меня он добавляет  0 files changed, 0 insertions(+), 0 deletions(-)
[15:46:02] <gds> пацаны и девчонки, оффтопик.  если я в сортах rss-читалок не разбираюсь, стоит ли использовать гуглоридер?  склоняюсь к таки да, ибо гмыло/гуглодоки использую и нравится, но может есть мнения.
[15:48:19] <bobry-> я пользую уже давно -- вполне себе удобно
[15:48:48] <bobry-> удобнее desktop читалок, ибо фиды обновляются даже когда ты не онлайн
[15:49:08] <f[x]> komar: хм, таки да, если для нового файла - то показывает откуда переименовали, а если старый файл - то не показывает куда
[15:49:39] <f[x]> это печально
[15:49:56] <gds> bobry-: понял.  мне даже одного позитивного отзыва хватило, буду пробовать.
[15:50:16] <gds> f[x]: а чего точно нужно достичь?  я провтыкал, видимо.
[15:50:30] <f[x]> историю файла которого нет в wc
[15:50:40] <gds> нет ибо удалён?
[15:51:57] <komar> Удален, перемещен.
[15:54:02] <gds> посмотрел на меркуриал, он показывает по "hg log имяфайла".  ну, значит, я забиваю на этот вопрос.
[16:17:46] ygrek вышел(а) из комнаты
[16:23:26] komar вышел(а) из комнаты: Replaced by new connection
[16:23:27] komar вошёл(а) в комнату
[16:32:40] <gds> гуглоридер -- клёво.  А накидайте что-нибудь интересное из подписок, камлоориентированное ок, функциональщина тоже ок, ну и вообще.
(и может кто-нибудь знает, как подписаться на твитор?)
[16:35:06] <komar> Гуглоридер.
[16:35:09] <komar> Не уважаю совершенно.
[16:35:37] <komar> gds: http://juick.com/jtootf/
[16:36:14] <gds> komar: чего раньше не сказал, когда я спрашивал? :)  впрочем, попробую его всё-таки, может меня устроит.
jtootf -- клёвый, беру.
[16:36:50] <komar> http://ambassadortothecomputers.blogspot.com/feeds/posts/default
http://flyingfrogblog.blogspot.com/feeds/posts/default
http://ocaml.janestreet.com/?q=rss.xml
http://rwmj.wordpress.com/feed/ — иногда.
[16:37:20] <f[x]> planet-же
[16:37:36] <komar> А, ну и как же без http://caml-programmer.livejournal.com/data/atom
[16:39:48] ftrvxmtrx вышел(а) из комнаты
[16:41:40] <gds> благодарю за ссылки, буду читать.
[16:49:39] komar вышел(а) из комнаты: Replaced by new connection
[16:49:39] komar вошёл(а) в комнату
[17:00:05] <bobry-> fisheye не умеет подсвечивать ocaml, срамота то какая
[17:13:06] ftrvxmtrx вошёл(а) в комнату
[17:28:35] gds вышел(а) из комнаты
[17:43:28] komar вышел(а) из комнаты
[17:43:52] komar вошёл(а) в комнату
[18:21:04] abiogenesis вошёл(а) в комнату
[18:24:17] <abiogenesis> а что это камл-программер постит не про камл, а про каких-то лиц кавказской национальности
[18:27:50] <zert> они мешают писать на камле
[18:28:34] zert вышел(а) из комнаты
[19:04:57] bobry- вышел(а) из комнаты
[19:05:34] abiogenesis вышел(а) из комнаты
[19:20:22] gds вошёл(а) в комнату
[19:25:14] komar вышел(а) из комнаты: Replaced by new connection
[19:25:15] komar вошёл(а) в комнату
[20:29:58] komar вышел(а) из комнаты: Replaced by new connection
[20:29:59] komar вошёл(а) в комнату
[20:57:35] komar вышел(а) из комнаты: Replaced by new connection
[20:57:36] komar вошёл(а) в комнату
[22:20:00] ftrvxmtrx вышел(а) из комнаты
[23:12:49] Typhon вошёл(а) в комнату
[23:23:04] ftrvxmtrx вошёл(а) в комнату
[23:23:24] komar вышел(а) из комнаты: Replaced by new connection
[23:23:24] komar вошёл(а) в комнату
[23:44:35] ygrek вошёл(а) в комнату
[23:46:10] ermine вышел(а) из комнаты