Objective Caml - Воскресенье, 17 апреля 2011

Objective Caml

ocaml@conference.jabber.ru

Воскресенье, 17 апреля 2011< ^ >

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

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

GMT+4
[00:15:14] Kakadu вышел(а) из комнаты
[00:16:55] <gds> http://antilamer.livejournal.com/354408.html?thread=2935912#t2935912 -- Вам понравился этот комментарий?  Поставьте мне симпаффку или плюсните мне рейтинг!1122334444
[00:17:46] <komar> Опять кого-то затроллил?
[00:18:17] <komar> Че-то не загружается, опять этот чертов жожэ похаписты поломали.
[00:21:23] <zert> троллота
[00:21:26] <gds> не, komar, Вы чо.  Я не какой-нибудь там тролль.  Я серьёзный человек.  I HAS A SERIOUS BUSINESS.
[00:21:50] <komar> А, во.
[00:33:40] <Typhon> чотко! чота его только в полном тредике нет! ВЛАСТИ СКРЫВАЮТ?
[00:34:24] <Typhon> и вообще, если по твоей ссылке заходить, то "read 62..." , а если просто по записи, то 57
[00:41:20] ermine вышел(а) из комнаты
[00:41:41] <gds> я там, по ходу, разошёлся.  Ну это не шутка -- целый день думать о манатках, функторах (в их плохом смысле слова -- fmap) и вообще.
[00:42:06] <Typhon> https://github.com/ekmett/streams  btw, от эвдварда "the.comonad.reader" кметта
[00:42:08] <gds> тем более, был шаббат.  Закончился, да, но осадочек остался.
[00:47:27] <gds> эзазырил, экметт это экметт.  (в предыдущем предложении все слова начинаются на букву "э", и почти все обоснованно.)
ну я вообще против каманаток ничего не имею против.  Это они против меня что-то имеют.  Например, при том, что мне нужно было что-то типа Stream, только с cobind, каманатки меня не удовлетворили, и даже ярый, определившийся хаскеллюга мне не помог -- типы не сошлись, хоть ты вешайся.  Такие дела.
[00:56:55] zert вышел(а) из комнаты
[01:01:23] Typhon вышел(а) из комнаты
[01:15:52] ftrvxmtrx вышел(а) из комнаты
[01:17:00] ftrvxmtrx вошёл(а) в комнату
[09:44:53] ygrek вошёл(а) в комнату
[10:23:21] ermine вошёл(а) в комнату
[11:17:25] Kakadu вошёл(а) в комнату
[11:33:14] Kakadu вышел(а) из комнаты
[11:33:58] Kakadu вошёл(а) в комнату
[11:46:36] iNode вошёл(а) в комнату
[11:56:41] komar вышел(а) из комнаты: Replaced by new connection
[11:56:42] komar вошёл(а) в комнату
[12:16:51] Kakadu вышел(а) из комнаты
[12:32:34] arhibot вошёл(а) в комнату

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

[13:01:01] Конфигурация комнаты изменилась
[13:48:17] Kakadu вошёл(а) в комнату
[13:53:03] <Kakadu> "зигохистоморфные препроморфизмы" в правду есть, или словоблудие?
[13:54:22] <gds> есть.
[13:55:44] <gds> http://stackoverflow.com/questions/5057136/real-world-applications-of-zygohistomorphic-prepromorphisms
[13:58:47] <Kakadu> ой какая зренотень
[13:58:52] <Kakadu> хренотень*
[13:59:50] <gds> может ты ещё и штангу не тягаешь?
[14:00:53] <Kakadu> не, не тягаю
[14:01:59] <ermine> Kakadu: у тебя tls сейчас отключен?
[14:02:57] <Kakadu> ermine: без шифрования я совсем.
[14:03:24] <ermine> Kakadu: ясно
[14:03:45] <ermine> Kakadu: дальше у нас будут только поиски тех злосчастных маршрутизаторов
[14:04:00] <Kakadu> ermine: чем я могу помочь?
[14:07:22] <ermine> блин, тут приват отключен

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

[14:07:43] Конфигурация комнаты изменилась
[14:07:50] <Kakadu> я могу тебя доваить в ростер
[14:07:57] <Kakadu> или кактам называется
[17:15:02] Kakadu вышел(а) из комнаты
[17:18:25] Kakadu вошёл(а) в комнату
[17:34:19] Kakadu вышел(а) из комнаты
[17:35:00] Kakadu вошёл(а) в комнату
[17:35:56] <komar> ermine: ты когда-нибудь использовала оксиген за nginx'ом?
[17:39:20] <komar> Там есть такая проблема, что make_string_uri и другие функции выдают ерунду а-ля localhost:4002/... вмето имени того хоста, по которому запрашиваю веб-сервер, то есть nginx. В новых оксигенах уже починили, не?
[17:41:10] zert вошёл(а) в комнату
[17:45:12] <ermine> komar: нет
[17:45:29] <komar> Не починили или не исполльзовала?
[17:46:00] <ermine> komar: ну используй директивы nginx, чтобы подставляло хост
[17:46:59] <komar> То есть? Оксиген по идее сам должен парсить нгинховые заголовки и подставлять хост какой надо, но такого не реализовали.
[17:48:04] ygrek вышел(а) из комнаты
[17:52:28] arhibot вышел(а) из комнаты
[18:42:44] Typhon вошёл(а) в комнату
[18:47:34] ygrek вошёл(а) в комнату
[18:51:02] <Kakadu> люди, а почему LINQ  - это монады?
[18:52:04] <gds> это не монады.  но многое, что делается linq, можно сделать монадами, и наоборот, и соответствия весьма таки прямые.
[18:53:30] <Kakadu> думаю, что всё-таки монадами в .net правильнее называть Workflow Foundation...
[18:54:19] <Kakadu> верно ли утверждение, чтот с любой монадой связаны две функции (bind, return) или нет?
[18:57:42] <Typhon> join
[18:58:05] <Typhon> тайпклассопедию читни, если интересуют подобное вещи :-)
[18:59:05] <Typhon> монада -- аппликативный функтор  + join.
[18:59:30] <Typhon> просто х-исты слабые духом и не связали класстайп функтора с класстайпом манаток
[18:59:51] <Kakadu> а под тайпклассопедией что понимается?
[19:02:03] <gds> Kakadu: если интересует теория категорий, рекомендую маклейна.  если интересует то, как в х-е реализовали понятия, которые хоть и называются так же, как и некоторые другие понятия теории категорий, лучше об этом почитать на сайте х-я (можно погуглить по "typeclassopedia").
[19:02:25] <gds> Typhon: кстати-кстати, про функторы в теории категорий у меня уже заготовлен птсо :)
[19:03:09] <gds> с практической же стороны, от манатки и от функтора обычно требуется разное, поэтому лично я -- хз, стал бы связывать или нет.
[19:03:36] <Typhon> круто, ждём.
[19:04:09] <Typhon> маклейн сложный, если что :-) чуваки рекомендуют пирса про категории для компьютерных учёных, но я не листал даже
[19:05:52] <gds> круто тем, что х-ь показал себя никому не нужным и непрактичным языком -- ну, это не новость, но доказательную базу мы таки соберём, чтобы не быть голословными.
[19:06:28] <Kakadu> меня тут один человек просил статью почему не надо больше одной функции в тайпкласс пихать
[19:07:02] <gds> маклейн сложный, факт.  я на определённом моменте понял, что ниасиливаю, и оставил на будущее.  которое вот уже почти пришло.  только разгрести всякое тут.
[19:08:46] ygrek тем временем вернул hudson (который jenkins) обратно к жизни
[19:08:49] <Typhon> Kakadu, статьи нет, люди жаловались -- udpn в жж, кажется.
[19:09:42] Vinnipeg вошёл(а) в комнату
[19:11:37] <Typhon> http://udpn.livejournal.com/43652.html
[19:11:47] <Typhon> + ещё что-то было про их Eq
[19:12:11] <Kakadu> понял
[19:17:59] <Typhon> permea_kra странный чувак -- когда понял, что мёртвым окамль объявить не получилось, объявил "непрактическим". интересно, какие требования у такого языка, и что человек придумает, если окамель будет им удовлетворять? :-)
[19:23:43] <Kakadu> http://antilamer.livejournal.com/354408.html?thread=2946152#t2946152
Что он мне тут нарисовал?)
[19:26:46] <Typhon> ничего не видно. про функциональные шняжки в дотнетах эрикмайер рассыказывает часто, можно на channel9 найти видео его. про монады и комонады что-то было, кажется
[19:30:44] <Kakadu> а откуда пошло называть легковесный потоки "зелеными"?
[19:31:51] <zert> меньше потребляют тактов на переключение, экономят елистричество
[19:33:08] ygrek вышел(а) из комнаты
[19:34:37] ygrek вошёл(а) в комнату
[19:35:40] <Kakadu> мдя
[19:40:21] Typhon вышел(а) из комнаты
[19:47:32] Vinnipeg вышел(а) из комнаты
[19:47:48] <ygrek> > В свежем номере ПФП замечательная статья про продолжения. К сожалению, в качестве примеров там зачем-то приведены дампы памяти интерпретатора плохо типизированного лямбда-исчисления, формат которых некоторые ошибочно называют языком программирования.
[19:49:19] <gds> ygrek: не читал пока, но интересно, о каком языке речь.
[19:49:41] <ygrek> я тоже не читал
[19:49:51] <ygrek> понятно ведь
[19:50:03] <ygrek> (lambda (x) x x)
[19:50:25] <ygrek> ой, пару скобочек забыл
[19:52:20] <gds> у меня есть запасные, держи: )))))))
[19:53:00] <Kakadu> и ещё такие: ((((((
[19:53:20] Kakadu вышел(а) из комнаты
[19:53:23] <gds> мну груфняво...  хнык-хнык (((((
[19:53:28] Kakadu вошёл(а) в комнату
[19:58:23] <Kakadu> какая отвратительная неделя. (
[19:58:36] <Kakadu> из хорошего только то, что я обоину на столе поменя(
[19:58:52] <zert> я сразу понял, что какое-то лиспие :)
[19:58:57] <zert> оказалась схема
[19:59:45] <Kakadu> блин, я же этот рефал зимой сдавал...
[20:00:22] <zert> а его назад вернули?
[20:01:12] <Kakadu> шо?
[20:02:35] ygrek рулит виндой в qemu через vnc проброшенный в ssh-туннель проброшенный через ещё один туннель
[20:03:05] <ygrek> хм, и по ощущениям гораздо приятней чем удалённые X
[20:05:32] <zert> венда не нужна
[20:06:15] <ygrek> нужна конечно, очень легко травить поломанными билдами криворуких батарейкописателей например
[20:12:02] Kakadu желаем всем никогда не набирать формулы в MSWord2007
[20:18:29] <ftrvxmtrx> а зачем их набирать в нём, если есть LaTeX?
[20:18:57] <Kakadu> чтобы преподователи, которые не знаю латех поставили зачет
[20:19:04] <ftrvxmtrx> ужас :(
[20:20:15] <Kakadu> вообще, какая разница виндовс или линукс, когда человек ни в чем не хочет разбираться.
[20:20:17] <Kakadu> ?
[20:25:56] <Kakadu> и пускай не смеют гвоврить что опенсурс бажный
[20:41:23] <zert> у нас на 2-м курсе в универе был латех, а на 3-м набирали формулы в икселе
[20:41:37] <zert> после такого дурдома я свалил оттуда
[20:42:21] <Kakadu> а помоему на моем потоке из 60 человек латех знают 2
[20:42:36] <Kakadu> по факту презентации в бимере делаю только я
[20:43:25] <Kakadu> может я что-то не понимаю, но латех же удобнее...
[21:02:18] <zert> да, для тех кто знает
[21:02:45] <zert> для кого-то и ягу пить в подъезде удобнее
[23:15:09] gds вышел(а) из комнаты
[23:51:10] <ygrek> http://existentialtype.wordpress.com/2011/04/16/modules-matter-most/