Objective Caml - Среда, 20 июля 2011

Objective Caml

ocaml@conference.jabber.ru

Среда, 20 июля 2011< ^ >

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

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

GMT+4
[00:46:35] komar вышел(а) из комнаты: Replaced by new connection
[00:46:36] komar вошёл(а) в комнату
[00:59:32] Typhon вошёл(а) в комнату
[01:07:06] komar вышел(а) из комнаты: Replaced by new connection
[01:07:07] komar вошёл(а) в комнату
[01:17:24] bobry перечитал туториал по revised syntax
[01:17:35] <bobry> он прекрасен, надо срочно на него переходить
[01:20:56] ermine вышел(а) из комнаты
[01:22:07] <bobry> объясните мне только, нафига type bar = 'a;?
[01:22:30] <bobry> в смысле зачем справа явно указанная type variable?
[01:30:12] komar вышел(а) из комнаты: Replaced by new connection
[01:30:13] komar вошёл(а) в комнату
[01:33:04] Typhon вышел(а) из комнаты: Replaced by new connection
[01:33:14] Typhon вошёл(а) в комнату
[01:38:30] Typhon вышел(а) из комнаты
[01:39:43] komar вышел(а) из комнаты: Replaced by new connection
[01:39:44] komar вошёл(а) в комнату
[01:40:24] gds вышел(а) из комнаты
[02:20:52] komar вышел(а) из комнаты: Replaced by new connection
[02:20:52] komar вошёл(а) в комнату
[02:43:29] abiogenesis вошёл(а) в комнату
[02:44:26] abiogenesis вышел(а) из комнаты
[04:29:20] komar вышел(а) из комнаты: Replaced by new connection
[04:29:20] komar вошёл(а) в комнату
[06:04:06] delete_ вошёл(а) в комнату
[06:26:08] komar вышел(а) из комнаты
[06:27:57] komar вошёл(а) в комнату
[06:39:45] komar вышел(а) из комнаты: Replaced by new connection
[06:39:45] komar вошёл(а) в комнату
[09:18:29] ftrvxmtrx вышел(а) из комнаты
[10:29:19] Typhon вошёл(а) в комнату
[10:42:40] ermine вошёл(а) в комнату
[10:43:13] arhibot вошёл(а) в комнату
[10:54:56] mrm вошёл(а) в комнату
[10:55:56] delete_ вышел(а) из комнаты: Replaced by new connection
[10:55:58] arhibot вышел(а) из комнаты
[10:56:00] delete_ вошёл(а) в комнату
[11:03:14] bobry- вошёл(а) в комнату
[12:03:51] shaggie вошёл(а) в комнату
[12:18:42] gds вошёл(а) в комнату
[12:19:59] <gds> bobry: type bar = 'a; -- это старый вариант.  теперь абстрактные типы просто type bar;
[12:21:45] <gds> ещё пережитки -- \+ теперь ( + ), do { ... ; ... } теперь ( ... ; ... )
[12:25:13] ftrvxmtrx вошёл(а) в комнату
[12:40:08] delete_ вышел(а) из комнаты
[12:40:28] delete_ вошёл(а) в комнату
[14:31:20] komar вышел(а) из комнаты
[14:56:42] delete_ вышел(а) из комнаты
[14:58:57] f[x] вошёл(а) в комнату
[14:58:58] f[x] вышел(а) из комнаты
[15:09:44] bobry- вышел(а) из комнаты
[15:10:42] bobry- вошёл(а) в комнату
[15:11:07] <bobry-> gds: т.е. операторы теперь как в обычном синтаксисе? :(
[15:11:19] <bobry-> а где есть up-to-date версия туториала?
[15:11:21] <gds> да.
[15:11:28] <bobry-> ну вот, мне \+ нравился
[15:11:43] <bobry-> и do тоже
[15:11:44] <gds> а хрен знает, вроде нигде сейчас нет.
мне тоже нравился.  и \* особенно.
[15:12:07] <gds> do -- и мне, но на практике почти один хрен, что do, что скобки.
[15:12:28] <bobry-> синтаксически чище по моему
[15:12:45] <gds> это да, по обоим пунктам.
[15:13:53] <bobry-> и еще, Typhon тут как то искал md библиотеку для камла
[15:13:58] <bobry-> такие в природе есть вообще?
[15:15:16] <gds> я не знаю, что это такое вообще.
[15:15:28] <bobry-> markdown
[15:16:02] <gds> какие-то куски-ошмётки есть, по слухам.
[15:16:10] <gds> лично я не знаю.
[15:16:15] <bobry-> вот бы мне ссылочку на них
[15:16:21] <bobry-> Typhon: тук тук
[15:24:10] <Typhon> да, есть мини-маркдаун от mfp
[15:24:19] <Typhon> в ocsiblog на гх
[15:26:15] <Typhon> https://github.com/avsm и у этого парня было что-то
[15:26:35] <Typhon> https://github.com/avsm/mirage-www/blob/6b859cfa74896bf0088200a786de1a4fea2c5b25/src/markdown.ml
[15:29:02] <Typhon> кстати, упустил вот такой бложэк http://www.openmirage.org/blog/
[15:29:22] <Typhon> http://www.openmirage.org/wiki/delimcc-vs-lwt с графиками и бенчмарками!
[15:47:03] <ermine> и что там круче?
[16:11:37] ftrvxmtrx вышел(а) из комнаты
[16:19:01] ftrvxmtrx вошёл(а) в комнату
[16:34:21] <Typhon> я пока отложил в "потом почитаю" :)
[16:34:27] <Typhon> http://martin.jambon.free.fr/cppo.html <- радуются препроцессорам
[16:34:59] <bobry-> хмм, есть сишная либа для md, libskirt -- может биндинги к ней написать да и нафик?
[16:35:10] <bobry-> GH ее юзает для github flavoured markdown
[16:37:41] <gds> если либа (или сам Марк Даун) серьёзные шняги, то лучше биндинги.  Однако вроде он несложен, как я помню.  И порой бывает так, что несложные штуки лучше писать на камле хотя бы с целью исключить глупые ошибки, присущие сишечьке/плюсекам, но не присущие камлу.
[16:38:41] <bobry-> markdown в принципе не сложен, правда я еще совсем не пользовал camlp4
[16:38:56] <bobry-> можно конечно как комар, заюзать парсеры-комбинаторы
[16:38:56] <gds> эээ, зачем camlp4?
[16:39:07] <bobry-> а чем щас модно?
[16:39:58] <gds> да хрен знает, за модой не слежу особо.  menhir вон попробуй в деле :)
[16:40:23] <gds> кстати, про парсеры (ermine, куку!).  думается мне, что какой-нибудь разборщик LL(1) на простых несложных комбинаторах в духе glr (список альтернатив) поверх итератов делается несложно.  или ошибаюсь?
[16:40:30] <bobry-> я вчера про стримы читал из camlp4 -- вроде как раз то что надо
[16:42:26] <gds> стримы это ок, только вот мардаун хитрее.  По слухам, там "x*y*z\n" это выделение жырным, а вот "x*y\n" -- тут "*" это просто символ.  (при том, что x,y,z не содержат ни '*', ни '\n'.)
[16:42:52] <bobry-> true
[16:44:15] <bobry-> а такие штуки чем разбирают?
[16:44:18] <gds> ну и вот, со стримами парсить такое -- не ок.  Разве что слегка извращаться, при '*' возвращая функцию и применяя её к нужному значению при '*' либо '\n', смотря что первое получилось.
[16:46:07] <gds> такие -- хрен знает.  Давно парсеры не ковырял.  Не LL-грамматика точно.  Видимо LALR, т.е. ocamlyacc будет ок, menhir тем более ок.  А на glr-подобное смотрю потому, что его можно тупо-тупо реализовать.
[16:46:11] <gds> регекспами, лол
[16:47:13] <bobry-> надо посмотреть что libskirt с ним делает
[16:47:43] <gds> в dev-зависимостях bison есть?  самый простой критерий.
[16:51:35] <bobry-> все чисто вроде
[16:51:48] <bobry-> его GH форкнули и обозвали sundown -- https://github.com/tanoku/sundown
[16:52:16] <bobry-> разумеется для х-ля есть биндинги http://hackage.haskell.org/package/upskirt
[16:52:37] bobry- правда в сях как свинья в помидорах
[16:56:37] <Typhon> ящитаю, что биндинги для камлолиб для парсинга — моветон!
[16:57:07] <bobry-> покажите мине какой нить пример шоли, с православным парсингом
[16:57:12] <bobry-> а то все калькуляторы пишут тока :)
[16:57:27] <Typhon> на стримпарсерах — вон cobson
[16:57:39] <gds> в целом -- моветон, но иногда бывают такие случаи, когда ответственность лучше переложить на сишечьколибу.
[16:57:41] <Typhon> на итератах с revised — amall у gds
[16:57:55] <gds> Typhon: жесток!
[16:57:59] <bobry-> Typhon: мне бы чего попроще :)
[16:58:02] <Typhon> ещё dumbstreaming есть у gds же, хз что там, парсинг должен быть
[16:58:03] <bobry-> я ж еще молод и зелен
[16:58:29] <Typhon> http://ygrek.org.ua/p/code/bencode.ml.html
[16:58:35] <Typhon> стримпарсеры
[16:58:45] <Typhon> разбирается bencode
[16:59:19] <bobry-> gds говорит шо стримпарсеры не подойдут
[17:00:41] <Typhon> да, очень может быть :-)
[17:11:19] komar вошёл(а) в комнату
[17:16:54] gds вышел(а) из комнаты
[17:22:06] gds вошёл(а) в комнату
[17:22:28] <gds> парсеры в amall и в dumbstreaming -- LL(1), если чо.
[17:23:14] <ermine> gds: ну непонятно как без ll(1) с итератами общаться, дело другое - как автоматически построить левую факторизацию везде
[17:25:32] ermine сегодня дошла до главы 11 в learnyouahaskell, там как раз будет про аппликативные функторы
[17:26:40] <ermine> правда, думается, что монады - это уже пережиток начала 21 века
[17:40:18] komar вышел(а) из комнаты: Replaced by new connection
[17:40:19] komar вошёл(а) в комнату
[17:44:52] <Typhon> в моде комонады всякие
[17:45:00] <Typhon> насколько я могу наблюдать
[17:46:25] <ermine> что такое комонады?
[17:49:40] <Typhon> это надо где-нибудь тут спрашивать, я думаю: http://comonad.com/reader/
[17:50:24] <ermine> Typhon: у тебя букмарка на сколько гигабайт уже набежала?
[17:51:02] <Typhon> это из мозга %) а в некошерном инстапэппере csv на чортову тучу строк набежало уже :-(
[17:51:45] <ermine> ну comonad.reader я и в гугле видела, но названием не прониклась
[17:52:34] <bobry-> ermine: ты все примеры оттуда (learnyouah-l) пробуешь? или просто читаешь
[17:52:49] <Typhon> этот бложек эдвард кметт видёт, известный довольно расовый х-люга
[17:52:50] <bobry-> а то я вот все по дороге с работы его почитывал и выяснил что в голове нифига не откладывается
[17:53:04] <Typhon> пушо х-ль ленивый
[17:53:11] <bobry-> :D
[17:53:55] <ermine> bobry-: просто читаю, местами по диагонали даже
[17:54:34] <ermine> bobry-: там просто всё детально понятно
[17:54:44] <bobry-> ну да, просто надо бы сразу в дело ;)
[17:58:24] <ermine> не, лучше сначала дочитать
[17:58:43] <ermine> а то если сразу в дело - так сразу подумаешь, что уже умный, и бросишь читать дальше
[18:23:24] <Typhon> х-ль? в дело? ну у меня столько фибоначей не наберётся
[18:23:44] <gds> Typhon: ты непростительно забываешь про факториалы!
[18:23:48] <bobry-> :))
[18:24:20] <Typhon> :-)
[18:25:04] <Typhon> у нас тут одного х-лелюба троллят немножко на тему написания ДСЛя на х-ле для конфигурации влцы. а то там же смерть-смерть эти опции страшные :-)
[18:28:41] <gds> да обосраться просто, опции!111
однако вот думаю, что такие штуки, как опции и вообще апи лучше где-нибудь описывать весьма типизированным образом, а потом из этого щачстья генерить в том числе код для cmdliner.  Ну, если его хватает.  А то и для веб-сервисов.
[18:29:16] <ermine> в камле есть camlp4, потому что в х-ле есть монады
[18:29:24] gds промышленно прокладывает морфизмы между командными строками, веб-сервисами, биндингами, говном и пользователями.
[18:29:47] <gds> ermine: в х-е есть th, потому что в камле...   ох щи
[18:30:24] <ermine> gds: кто это? темплейты?
[18:31:03] <ermine> gds: и соответственно, кстати, в камле есть первоклассные модули, потому что в х-ле есть тайпклассы
[18:31:13] <gds> ну, если ты их так называешь, то да, темплейты.
[18:31:51] <ermine> а как еще можно называть?
[18:34:22] <gds> ну ведь С-т-ну ты же не называешь.  Тут как бы диграмматон.
[18:40:09] <ermine> вообще, если сравнивать количество чтива по камлу и хаскелю, то можно сделать вывод, что камло - язык ограниченный и в нём надо чувствовать себя Цэ-писателем
[18:45:10] <gds> большое количество проблем при попытке начального освоения языка вызывает большое количество туториалов по данному языку.
[18:45:56] <bobry-> может камл даже не начинают осваивать? )
[18:48:31] <gds> ну разумеется.  я, например, родился сразу с прошивкой caml-light, потом конечно проапгрейдился.
[19:00:19] <ermine> вы еще расскажите про применение теории категорий в камле
[19:02:20] <ermine> хотя это тоже вопрос - надо ли применять подобные теории в программераже?
[19:02:52] <ermine> есть еще теории (конечных) автоматов, есть еще какие-то теории
[19:04:39] <ermine> вообще развели теорий
[19:04:46] <ermine> а стоять у станка уже некому
[19:41:27] bobry- вышел(а) из комнаты
[19:45:39] <ermine> читая learnyouahaskell, надо забывать про камло и не думать о том, как реально выполняется fmap reverse getLine, ы
[19:47:58] <ermine> это ведь так мило представлять IO String просто каким-то типом без функций
[19:48:11] <ermine> сила хаскиля не с нами
[19:52:48] ftrvxmtrx вышел(а) из комнаты
[19:52:57] ftrvxmtrx вошёл(а) в комнату
[20:24:08] Typhon вышел(а) из комнаты
[20:31:55] ftrvxmtrx вышел(а) из комнаты
[20:34:53] mrm вышел(а) из комнаты
[20:38:25] mrm вошёл(а) в комнату
[20:45:49] komar вышел(а) из комнаты: Replaced by new connection
[20:45:49] komar вошёл(а) в комнату
[20:45:54] bobry вышел(а) из комнаты
[20:46:21] bobry вошёл(а) в комнату
[20:58:06] <bobry> посмотрел я sundown, ничего хитрого там чета нет
[21:00:36] <gds> радоваться надо.
[21:03:51] <bobry> *foo\nbar* -- это emphasis, а *foo\n\nbar* уже нет :)
[21:05:13] komar даже *foo\nbar* emphasis’ом не считает.
[21:05:56] <bobry> komar: а sundown считает, и в syntax guide я ничего запрещающего этого не нашел
[21:06:04] <bobry> вот кстати markdown the haskell way https://github.com/jgm/pandoc/blob/master/src/Text/Pandoc/Readers/Markdown.hs
[21:14:54] mrm вышел(а) из комнаты
[21:29:04] komar вышел(а) из комнаты
[21:37:07] komar вошёл(а) в комнату
[21:42:42] <ermine> там не камло, там нормальный язык
[21:42:44] <ermine> эх!
[21:43:13] <bobry> ну вот, если уж ermine забивает на камло :(
[21:43:31] <bobry> осталось только gds в хацкеллисты завербовать
[21:43:37] <bobry> и нету камьюниьти
[21:44:50] <ermine> gds: айда в хаскеллисты?
[21:45:27] <gds> bobry: 1. спасибо, но операцию перемены пола тоже проспонсируют?  Там это если и не слишком принято, но весьма приветствуется.
2. окамловское сообщество чуть больше, хотя комплимент принял.
[21:45:38] <gds> ermine: профайлить за меня будешь?  если да, то давай.
[21:45:53] <bobry> gds: как тонко про пол :)
[21:46:18] <gds> bobry: баянист тамада услуги, чо :[
[21:51:07] <ermine> gds: а чо там с профайлером?
[21:55:03] <gds> ermine: это немножко сложнее, чем в окамле.
[21:56:54] <ermine> gds: ну достаточно положиться на великих тугодумов хаскиля
[21:57:16] <gds> ermine: полагайся, чо.  Мне же надо дела делать.
[21:57:18] <ermine> и ненадо ничо профайлить
[21:57:29] <ermine> достаточно m1 >>= m2 и всё
[21:57:35] <bobry> :)
[21:58:06] <bobry> кстати по моим наблюдениям в haskell@cjr народу раз в 5 побольше
[21:58:14] <bobry> хотя может им дела не надо делать
[21:59:17] <ermine> а они там что-то обсуждают?
[21:59:46] <bobry> а я давно не был -- не знаю
[22:00:10] <gds> как бы вас всех тут забанить за б-гопротивные и б-гомерзские речи?
[22:02:08] ermine изучила ботагый набор репок мужика jmg и приуныла
[22:07:00] <ermine> надо скорее дочитать learnyouahaskell и заняться делом
[22:13:27] shaggie вышел(а) из комнаты
[22:24:24] komar вышел(а) из комнаты: Replaced by new connection
[22:24:25] komar вошёл(а) в комнату
[22:35:08] ftrvxmtrx вошёл(а) в комнату
[23:36:01] shaggie вошёл(а) в комнату