Objective Caml - Среда, 18 мая 2011

Objective Caml

ocaml@conference.jabber.ru

Среда, 18 мая 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:16:29] zert вышел(а) из комнаты
[02:23:12] Typhon вышел(а) из комнаты
[02:25:59] Kakadu вышел(а) из комнаты
[03:03:26] Digimmortal вошёл(а) в комнату
[04:23:51] Digimmortal вышел(а) из комнаты
[08:01:06] ermine вошёл(а) в комнату
[09:07:02] gds вошёл(а) в комнату
[09:41:29] Sergey Plaksin вошёл(а) в комнату
[10:21:42] <f[x]> знаем мы эти "угу", зачёт сдал - и всё
[11:01:10] ftrvxmtrx вышел(а) из комнаты
[11:05:10] zert вошёл(а) в комнату
[12:07:06] ftrvxmtrx вошёл(а) в комнату
[12:18:37] Typhon вошёл(а) в комнату
[12:27:25] komar вошёл(а) в комнату
[12:49:31] Kakadu вошёл(а) в комнату
[13:54:52] <komar> zert: оксиген не заработал?
[14:01:29] Sergey Plaksin вышел(а) из комнаты
[14:11:34] <zert> какой?
[14:13:00] <komar> zert: тот, у котрого конфиг на xml'е.
[14:13:16] <zert> и у него тоже
[14:13:17] <zert> ?
[14:13:18] <zert> рак
[14:13:53] <komar> Угу.
[14:14:08] <komar> И вообще, он думает, что не как хаппстак, а как апач. И это многих бесит.
[14:14:22] <komar> *что он
[15:03:12] ermine вышел(а) из комнаты
[15:10:22] <Kakadu> f[x]: сформулируй до какого состояния её надо допилить?
[15:10:39] f[x] просто зубоскалит
[15:11:04] <f[x]> до такого чтобы мы на неё с github'а переползли?
[15:13:35] gds вышел(а) из комнаты
[15:13:57] gds вошёл(а) в комнату
[15:15:07] <Kakadu> f[x]: ну понятно
[15:15:15] <Typhon> Kakadu: у тебя сейчас хтмл парсит или нет вика?
[15:15:27] <Kakadu> парсит
[15:20:28] <Kakadu> Typhon: как-то парсит)
[15:23:34] Kakadu вышел(а) из комнаты: Replaced by new connection
[15:23:34] Kakadu вошёл(а) в комнату
[15:46:38] Digimmortal вошёл(а) в комнату
[16:37:34] ftrvxmtrx вышел(а) из комнаты
[16:45:51] ftrvxmtrx вошёл(а) в комнату
[17:05:13] komar вышел(а) из комнаты: Logged out
[17:05:16] komar вошёл(а) в комнату
[17:07:18] komar вышел(а) из комнаты: Replaced by new connection
[17:07:19] komar вошёл(а) в комнату
[17:17:48] Kakadu вышел(а) из комнаты
[17:17:50] Kakadu вошёл(а) в комнату
[17:30:43] gds вышел(а) из комнаты
[18:27:46] <Kakadu> а французы действительно считают, что occduce это движение в правильном направлении?
[18:31:11] <komar> Kakadu: ты про оксигенщиков?
[18:31:20] <Kakadu> komar: именно
[18:31:38] <komar> Вроде как писали об этом, но это было давно.
[18:32:10] <komar> Я советую не вые и пользоваться Htmltext'ом — у меня все на ocamlduce.
[18:32:34] Typhon вышел(а) из комнаты
[18:32:53] <Kakadu> htmltextом --- это то что я пытался сделать?
[18:33:26] <komar> А, ты про OccDuce.
[18:34:02] <komar> Я про него только что услышал.
[18:36:02] <komar> Впрочем, это еще атомнее, так что сказанное мной справедливо и для OcCDuce.
[18:39:16] <Kakadu> надо бы им написать что эта Дусь из э литтл бит крэйзи
[18:40:03] <Kakadu> Est fol un petit peu
[18:47:09] <komar> Да не говори.
[18:47:19] <komar> Я до сих пор не умею парсить некоторые сообщения об ошибках.
[18:47:39] <komar> Надо написать туториал «как выключить моск и начать понимать OCamlduce».
[18:53:20] gds вошёл(а) в комнату
[18:53:37] Kakadu вышел(а) из комнаты
[18:58:08] gds вышел(а) из комнаты
[18:58:13] gds вошёл(а) в комнату
[19:06:56] <gds> подскажите такую штуку.  Хочется базово проверить, понимает ли человек (императивное/оо известно) функциональщину хоть как-нибудь.  Что ему дать "для парсинга"?  Факториал-фибоначчи -- избито, но специфика особо не нужна, вплоть до того, что не важно, понимает ли человек индуктивные типы данных.
У меня идея, но тупая: дать синтаксис лямбды, числа пеано в виде лямбды, записать ими какой-нибудь алгоритм (вычисление 3*5 например), и попросить поименовать сущности и/или вычислить результат.  В качестве бонуса -- записать через это последовательность коллаццца и попросить доказать завершимость редукции либо привести какие-либо доводы.  Но это уже какой-то садизм и явная, неприкрытая злоба.
[19:08:48] <komar> О, да я не понимаю функциональщины.
[19:09:00] <f[x]> gds: ermine понимает функциональщину, правда
[19:09:01] <komar> Хотя когда-то понимал, но память такая штука...
[19:09:34] <gds> f[x]: нужен не один.
[19:10:34] <f[x]> gds: http://stackoverflow.com/questions/5993365/beginner-question-on-ocaml-refs
[19:11:02] <f[x]> только без ограничения DO NOT USE LET
[19:11:14] <gds> komar: но, если захочешь, ведь сможешь нарыть модель вычислений в лямбда-исчислении и применить её к выражению?
[19:11:29] <komar> s/нарыть/заного изучить/
[19:11:31] <komar> Да.
[19:12:06] <f[x]> по-моему это садизм
[19:12:09] <komar> gds: или ты думаешь, что у некоторых людей бракованные мозги и они ни при каких обстоятельствах не могут понимать функциональщину?
[19:12:31] <f[x]> ещё про монадки можно спросить
[19:13:05] <gds> komar: да, у многих.  Более того, у многих недостаточно заинтересованности в предмете, было бы интересно узнать и это заодно.
[19:13:23] <gds> f[x]: это даже не садизм, это...  это вообще!
[19:13:38] <komar> По-моему лябды и монады — это вещи тривиальные, если _правильно_ их объяснять.
[19:14:16] <f[x]> это примерно как спрашивать про множественное наследованию на c++
[19:14:22] <komar> Просто себя помню тогда. Откроешь какой-то тутор — черт знает о чем вообще рассказывают, откроешь другой — ага, да тут и понимать нечего.
[19:14:26] <f[x]> нафиг не нужно
[19:16:29] <gds> про ...-ocaml-refs -- страшно.
[19:17:47] <f[x]> хм, как раз наоборот
[19:18:02] <f[x]> и это вполне реальный практический прикол
[19:18:11] <gds> синтаксис заставляют изучать, матчинг.
[19:18:19] <f[x]> (не включая решения на Obj)
[19:18:29] <f[x]> а, так тебе камло проверять не надо?
[19:19:15] <gds> не, чисто общие понятия о функциональщине.  Камло -- это уже следующий момент, там я что-нибудь соображу, простое, несложное.
[19:53:44] ermine вошёл(а) в комнату
[19:56:32] Kakadu вошёл(а) в комнату
[20:10:25] Digimmortal вышел(а) из комнаты
[20:30:14] Typhon вошёл(а) в комнату
[20:37:15] <Typhon> gds, задать задачку, которая эффективно решается через рекурсию, желательно с примением HOF'ов. посмотреть задания из сикпа или харисона (того, который лекции писал).
[20:37:28] <Typhon> но в харисоне лямбда исчисление всякое.
[20:38:42] <gds> идею понял, вполне годится.
[20:40:52] komar вышел(а) из комнаты: Replaced by new connection
[20:40:53] komar вошёл(а) в комнату
[20:43:10] <Typhon> или пусть патенты на формулы перекладывает ^_^ http://paulspontifications.blogspot.com/2011/04/patent-5893120-reduced-to-mathematical.html
[21:10:12] ftrvxmtrx вышел(а) из комнаты
[21:55:52] ftrvxmtrx вошёл(а) в комнату
[22:02:32] <zert> komar: а ты в твиторе есть?
[22:09:25] avysk вошёл(а) в комнату
[22:09:50] avysk вышел(а) из комнаты
[22:15:08] gds вышел(а) из комнаты
[22:32:49] <Kakadu> либо я туплю, либо французы поломали компиляцию eliom
[22:42:58] <ermine> а что там опять сломалось?
[22:43:19] <Kakadu> последний коммит не компилируется
[22:45:15] <Kakadu> грегуар не везде eliom_data_type выпили
[22:45:20] <Kakadu> л*
[22:46:04] <ermine> а нечему там ломаться
[22:46:29] <Kakadu> у тебя компияется?
[22:46:45] <ermine> а, елиом
[22:46:58] <ermine> так елиом же отдельно от оксигеня
[22:47:21] <Kakadu> дык я не спорю
[22:47:45] <Kakadu> а что, отдельно значит не французы?
[22:50:06] <ermine> чота винцент давно ничо не гаварит в мейллисте
[22:50:26] <Kakadu> а они протечку починили?
[22:50:44] <komar> zert: за кого ты меня принимаешь?
[22:51:09] <zert> xt84 не ты?
[22:51:18] <zert> с краснодара тоже
[22:51:28] <ermine> хз
[22:51:57] ermine компилит свежий елиомчик
[22:52:44] <komar> Нет.
[22:53:13] <ermine> не кампилица
[22:53:36] <ermine> жалко что у них нет генератора css
[22:53:48] <Kakadu> ermine:  eliom_client.ml 209, eliom_client.mli 158, eliom_services.mli 206 ?
[22:54:39] <ermine> ну и бох с ним
[22:55:46] <ermine> Kakadu: хочешь сваять патч, послать им и получить орден?
[22:56:12] <Kakadu> ermine: я хочу чтобы они это пофиксили, да побыстрее
[22:56:26] <Kakadu> первые два места я переименовал и всё ОК
[22:56:44] <Kakadu> а в третьем месте - нечто что за 10 секунд не понять
[22:56:56] <ermine> Kakadu: напиши в личку грише
[22:57:46] <Kakadu> ermine: грегуару в ирке?
[22:57:48] <Kakadu> уже
[22:58:05] <Kakadu> правда не в личку, а в конфу
[22:58:12] <ermine> ну вот скоро поправят
[22:58:47] <ermine> а в жабире их нет?
[22:59:00] <ermine> там есть у хренцузов jabber.fr
[23:00:59] Kakadu думает, что разбираться во вранцузском тексте знаю пару слов --- презабавнейшее занятие
[23:01:09] <Kakadu> забавная опечатка
[23:13:09] <Kakadu> я забил в гуглкартинках запрос `Kakadu` и понял что представлял себя другим)
[23:18:38] <Typhon> что такое dose3? чей это клон? камлобилда? оазиса? камлофинда?
[23:32:59] <Kakadu> черт, нет ещё полуночи
[23:33:07] <Kakadu> а спать уже хочется\
[23:33:15] <Kakadu> а гелиум не компилится
[23:33:23] <Kakadu> а модули ядра не написаны
[23:33:28] <Kakadu> и всё надо делать
[23:43:28] <ermine> очередной курсач?
[23:43:40] <Kakadu> факультатив
[23:43:45] <ermine> крутой у тебя вуз
[23:44:00] <Kakadu> уж сам не рад
[23:44:14] <ermine> военка с цивилизацией, основы сетями с какими-то цифрами, оксиген, модули ядра, что еще?
[23:45:37] <ermine> Kakadu: и какая у тебя будет специальность? разнорабочий?
[23:46:17] <Kakadu> ermine: множества Мандельбродта, классификация Пуанкаре, лемма о конечном числе функционалов
[23:46:36] <Kakadu> ermine: математик-программист
[23:48:46] <ermine> тогда точно про оксиген забыть до конца сессии
[23:49:08] <Kakadu> хорошо что хоть полтора экзамена осталось
[23:50:32] <ermine> ну множества еще можно как-то нарисовать, а лемму и классику?
[23:50:43] ermine и таких слов не слышала
[23:51:13] <Kakadu> по мандельбродту у меня автомат, а классификацию и лемму я сдал год назад
[23:51:18] <Kakadu> правда лемму не с первого раза
[23:52:02] <Kakadu> классификация - это когда решения маленького дифура имеют форму на картинке
[23:52:07] <Typhon> у меня на прошлой работе был коллега со специальностью программист-математик (или математик-программист). на жсе писал веб морды (препогано) :-)
[23:55:08] <Kakadu> мне тоже на работе не весело
[23:55:30] <Kakadu> писать на хаксе то, чем я врядли буду пользоваться
[23:57:02] <ermine> а сейчас похоже 100% персонала интернета  так или иначе пишет вебы
[23:57:26] <ermine> больше ничего не существует
[23:58:07] ermine дочитала про css, но так и не поняла - уже модно юзать css3 или еще рано
[23:58:50] <Typhon> модно, но рано
[23:59:24] <Typhon> и гордо писать внизу сайта, что "только хром 13-dev и firefox 4.5.3.3-beta3, без всяких ваших ие!1"
[23:59:50] <Typhon> где-то есть таблицы поддержки браузерами фич, туда надо смотреть