Objective Caml - Суббота, 19 марта 2011

Objective Caml

ocaml@conference.jabber.ru

Суббота, 19 марта 2011< ^ >

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

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

GMT+3
[00:01:38] Typhon вошёл(а) в комнату
[00:37:08] Kakadu вышел(а) из комнаты
[11:30:40] iNode вышел(а) из комнаты
[11:31:06] ygrek вошёл(а) в комнату
[12:29:25] arhibot вошёл(а) в комнату
[12:29:38] <arhibot> all
[12:29:45] <arhibot> ох. а где же ermine
[12:32:55] <gds> заходила вчера на 9 минут.
[12:35:10] ygrek установил(а) тему: Камль -- http://caml.inria.fr | Логи -- http://chatlogs.jabber.ru/ocaml@conference.jabber.ru/ | Вики -- http://gdsfh.dyndns.org/kamlo/ | Верблюды грязи не боятся! | release crap, enjoy NIH | репортьте баги официальным дилерам | ocaml мёртв, move on | Здесь бывает ermine!!111
[12:36:54] <arhibot> а то что-то перестало меня пущать на конфы. 404 и всё. curl conference.jabber.ru -D -  То 200, то 404 выдает
[12:37:16] <arhibot> и это на 3 разных хостах :(
[12:38:11] <arhibot> только у меня такая проблема, да?
[12:39:47] arhibot вышел(а) из комнаты: Replaced by new connection
[13:23:06] iNode вошёл(а) в комнату
[14:21:43] <gds> касаемо типа-dbi -- с decimal/numeric непонятки.  Ну, представить их как Num.num я смогу, это примитивно.  А каким образом прикажете подставлять окамловские Num.num в качестве значений бинд-переменных?  Ведь неизвестно количество десятичных знаков, требуемых для конкретной переменной.
[14:29:16] iNode вышел(а) из комнаты
[15:01:07] <Typhon> почему неизвестно? из постгри нельзя вытащить эту информацию разве?
[15:08:05] komar вышел(а) из комнаты: Replaced by new connection
[15:08:05] komar вошёл(а) в комнату
[15:09:35] iNode вошёл(а) в комнату
[15:10:29] <Typhon> http://www.postgresql.org/docs/current/static/infoschema-columns.html для numeric'ов можно выцепить то что нужно
[15:15:37] <gds> Typhon: дело в том, что я рассматриваю это в контексте bind variables, а не столбцов.  Вот например, какую именно точность надо поставить для $1 в операторе "select sin($1);"?  Результат зависит от точности напрямую.
[15:18:31] <Typhon> а на пользователя это нельзя ли скинуть? с какой точностью он подсунет, то и подставить. ну то есть, я предполагаю, что для sin ты узнаешь тип -- numeric, без указания точности, значит её можно любую. получится так?
[15:23:40] <gds> изначально думал сделать один из вариантов, наряду с `Null, `String of string и `Int64 of int64, как `Num of Num.num, тогда не вышло бы, но может оформить `Num of (int * Num.num)?  Думаю, decimal/numeric десятичные, поэтому для них утверждение "It can be expressed in decimal (base  10) or binary (base 2) terms" можно свести к "по основанию 10".  А пользователь, если что, либо знает точность (2 в случае денег, например), а в случае чего, сможет взять её из предыдущего `Num, полученного из базы.  Но не знаю, будет ли это удобно.
[15:31:39] Kakadu вошёл(а) в комнату
[17:08:53] <Kakadu> какие приемы лучше всего подходят, для парсинга html (если совсем точно, то для трансляции html в wiki синтаксис)
[17:09:11] <Kakadu> ?
[17:09:17] Kakadu вышел(а) из комнаты
[17:09:22] Kakadu вошёл(а) в комнату
[17:29:02] ygrek вышел(а) из комнаты: Replaced by new connection
[17:29:03] ygrek вошёл(а) в комнату
[18:01:40] <gds> Kakadu: взять ocamlnet идеально, ибо html разный бывает, в том числе и не валидный xml.
[18:02:10] <Kakadu> gds: да, я уже понял... в ирке уже уже оотозвались
[18:03:11] avysk вошёл(а) в комнату
[18:03:17] avysk вышел(а) из комнаты
[18:14:11] ftrvxmtrx вышел(а) из комнаты
[18:14:33] ftrvxmtrx вошёл(а) в комнату
[18:32:48] <Kakadu> тут  в ирке рекомендуют для конвертации html2wiki юзать lambdoc от Dario Teixeira....
[18:33:18] <Kakadu> самое обидное что непонятно какую вику стоит поддерживать...
[18:33:25] <Kakadu> komar: тебе что надо от вики?
[18:34:39] <Kakadu> отлично, я нашел синтаксис вики, которая используется в примере к js_of_ocaml
[19:43:50] iNode вышел(а) из комнаты
[20:09:34] ygrek вышел(а) из комнаты
[20:09:40] ygrek вошёл(а) в комнату
[20:21:54] iNode вошёл(а) в комнату
[21:05:44] komar вышел(а) из комнаты
[21:06:09] komar вошёл(а) в комнату
[22:13:51] iNode вышел(а) из комнаты
[22:16:50] <Typhon> """SPJ says if he were to build Haskell all over again he would seriously consider strict-by-default with good lazy support.""" -- гг, неужели, real-world встретил? :-) http://twitter.com/#!/jamesiry/status/48794007924523008
[22:17:31] <gds> ололо, похоже на то.
[22:18:06] <Kakadu> что такое strict-by-default?
[22:18:57] <gds> строгий/энергичный/не-ленивый порядок вычислений по умолчанию.
[22:20:13] <Typhon> ну а чо, возьми любую статью/блогопост про "high performance haskell" (ну эти блоггер любят шутить, ага), там половина "а теперь давайте расставлять флаги строгости"
[22:20:25] <Typhon> (вторая половина -- давайте обмажемся ghc core ^_^ )
[22:22:56] <gds> факт, про строгость на первом месте -- это точно.  Ещё в последнее время есть мода на unboxing, тоже очень модная и современная тенденция.
Обмазываться и ласкать производительность -- это хорошо.
[22:27:54] <gds> ещё что характерно.  раньше х-ь был вне практических применений, всё было круто, красиво и всё такое.  сейчас, когда его пробуют в деле, появляются удивления, и все видят -- "ба, да король-же голый!", ну и все дела типа strict, unboxing, profiling.  Следующая штука на очереди -- agda2.  Все знают о ней ровно столько, сколько знали о х-е где-то в 2003г (условно).  Интересные дела.
[22:30:39] <Kakadu> gds: а где камло в этой очереди?
[22:32:52] <gds> так это же очередь голых королей.  камла там нет.  может и было в 1982..1990, не знаю точно.
[22:37:18] arhibot вошёл(а) в комнату
[22:44:27] <arhibot> человеки, а это нормально, что jabber.ru по разным адресам отвечает 404, а по другому нормально 302?
[22:44:32] <Kakadu> а ocamlspot умеет go to definetion в емаксе
[22:44:54] <Kakadu> arhibot: что значит по разным адресам?
[22:45:14] <arhibot> nslookup jabber.ru |grep Address
Address:    213.180.205.1#53
Address: 77.88.57.178
Address: 77.88.57.177
[22:45:30] <arhibot> 77.88.57.178 --- 404, по 77.88.57.177 302
[22:54:42] <arhibot> вернее 200
[22:55:54] <arhibot> меня в конфы поэтому не впускает :(
[22:56:21] <arhibot> или не поэтому
[22:56:25] <Kakadu> а почему меня впускает?
[22:56:34] <Kakadu> у меня то же самое печатается
[22:56:40] <arhibot> с jabber.ru?
[22:56:44] <Kakadu> да
[22:56:59] <arhibot> ну вот, я не знаю. с jabber.ru как видишь и меня пущает
[23:29:59] <arhibot> ну вот. прописал в hosts только 1 ип, таже картинка. эх. видимо что-то с моим ежом
[23:30:25] arhibot вышел(а) из комнаты