Objective Caml - Понедельник, 26 марта 2012

Objective Caml

ocaml@conference.jabber.ru

Понедельник, 26 марта 2012< ^ >

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

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

GMT+4
[00:30:14] ermine вышел(а) из комнаты
[00:40:28] ftrvxmtrx вышел(а) из комнаты
[00:44:10] ftrvxmtrx вошёл(а) в комнату
[02:01:56] Typhon вышел(а) из комнаты
[02:02:05] f[x] вышел(а) из комнаты
[02:37:18] gds вышел(а) из комнаты
[02:38:08] gds вошёл(а) в комнату
[02:38:43] Kakadu вышел(а) из комнаты
[03:40:48] f[x] вошёл(а) в комнату
[04:45:18] letrec вышел(а) из комнаты
[08:08:10] Typhon вошёл(а) в комнату
[09:16:55] dzhon вошёл(а) в комнату
[10:13:25] ftrvxmtrx вышел(а) из комнаты
[10:29:12] ftrvxmtrx вошёл(а) в комнату
[10:34:02] ftrvxmtrx вышел(а) из комнаты
[10:34:24] bobry вышел(а) из комнаты
[10:38:29] dzhon вышел(а) из комнаты: Replaced by new connection
[10:38:29] dzhon вошёл(а) в комнату
[10:52:52] ftrvxmtrx вошёл(а) в комнату
[11:48:02] ermine вошёл(а) в комнату
[12:09:27] Typhon вышел(а) из комнаты
[12:13:59] dzhon вышел(а) из комнаты: Replaced by new connection
[12:13:59] dzhon вошёл(а) в комнату
[12:46:59] Typhon вошёл(а) в комнату
[12:55:21] Typhon вышел(а) из комнаты
[12:55:55] Typhon вошёл(а) в комнату
[13:05:13] Kakadu вошёл(а) в комнату
[13:20:50] Kakadu вышел(а) из комнаты: Replaced by new connection
[13:20:51] Kakadu вошёл(а) в комнату
[13:48:39] dzhon вышел(а) из комнаты: Replaced by new connection
[13:48:39] dzhon вошёл(а) в комнату
[14:02:30] shaggie вошёл(а) в комнату
[14:02:36] shaggie вышел(а) из комнаты
[14:05:04] shaggie вошёл(а) в комнату
[14:05:04] Typhon вышел(а) из комнаты
[14:27:50] dzhon вышел(а) из комнаты
[14:43:21] gds вышел(а) из комнаты
[14:51:50] Kakadu вышел(а) из комнаты: Logged out
[14:52:07] Kakadu вошёл(а) в комнату
[15:09:44] dzhon вошёл(а) в комнату
[15:13:42] Typhon вошёл(а) в комнату
[15:20:47] letrec вошёл(а) в комнату
[16:22:10] <ermine> чота у вас тут так тихо?
[16:22:37] <Kakadu> угу
[16:23:38] <ermine> Kakadu: чирик-ик!
[16:24:18] <Kakadu> а у нас был снег
[16:24:25] <Kakadu> а я думал уже лето наступило
[16:24:39] Kakadu завтра едет на конфу в ПолиТех и не хочет рано вставать
[16:25:13] <ermine> ну вчера был снег
[16:25:33] <ermine> пришлось 10 км по этому безобразию топать
[16:26:15] <Kakadu> угумс
[16:26:18] <ermine> Kakadu: а ты не ложись вовсе :)
[16:26:33] <Kakadu> Да не, я должен быть бодрячком
[16:26:38] <Kakadu> чтобы троллить доклаждчиков
[16:27:36] <ermine> про нейросети?
[16:27:51] <Kakadu> неее
[16:28:00] <Kakadu> у меня там доклад про свой диплом
[16:28:56] <ermine> ужос
[16:29:00] <Kakadu> кошмар
[16:29:06] <Kakadu> вставать рано
[16:29:43] <ermine> а где, кстати gds?
[16:31:05] <ermine> у него получается местами круто - пытается доказать с помощью coq неглючность моего парсера
[16:41:39] dzhon вышел(а) из комнаты: Replaced by new connection
[16:41:39] dzhon вошёл(а) в комнату
[16:52:27] <Kakadu> ermine: можно провести обряд
[16:52:39] <Kakadu> осыпать вокруг себя из соли круг и произносить заклинания
[16:58:50] <ermine> у тебя пока не получается :)
[16:59:24] <Kakadu> я ещё не начинал
[17:11:53] ermine полирует дебаг парсера
[17:19:32] <klapaucius> Да я видел, он уже доказал, что функция которая ничего не принимает и ничего не возвращает - ничего не делает.
[17:20:28] <Kakadu> klapaucius: я думаю если функция чистая, то это правда
[17:21:22] <klapaucius> Это, разумеется, правда. Я же говорю - доказано Коком.
[17:26:39] <ermine> сегодня у него гемор получше - надо доказать коки, что моя функция, реализующая *, не зацикливается навсегда
[18:07:38] gds вошёл(а) в комнату
[18:16:49] dzhon вышел(а) из комнаты: Replaced by new connection
[18:16:49] dzhon вошёл(а) в комнату
[18:17:16] Kakadu вышел(а) из комнаты
[18:39:01] dzhon вышел(а) из комнаты
[18:57:20] <ermine> фух, отполировала до очередного левела совершенности
[18:57:31] <ermine> gds: доказал неглючность star?
[18:57:58] <gds> что-то память меня подводит, если брать "функцию, которая ничего не делает".  Ну да ладно, это скорее забавно.  Но, в таком случае, должны быть ещё 11 легендарных подвигов.
[18:59:30] <gds> ermine: пока нет, налаживаю "инфраструктуру" -- удобства для написания камлокода.  Кое-что было неудовлетворительно там.
[19:00:47] <ermine> gds: а как на цоке написать функцию, которая ничо не делает?
Defunition nothing_to_do : unit := () ?
[19:06:18] <ermine> не, такое coq не нравится
[19:06:38] <gds> := tt.
[19:08:02] <ermine> мде
[19:08:30] Kakadu вошёл(а) в комнату
[19:23:32] <gds> ermine: "Print unit." расскажет.  Впрочем, чото слегка оффтопик.
[19:30:31] <ermine> gds: coq - оффтопик?
[19:31:11] <gds> учитывая, что конфа называется ocaml, видимо да.  лично я так считаю.
[19:31:18] <ermine> аа, вот что tt значит
[19:32:26] ftrvxmtrx вышел(а) из комнаты
[20:03:23] komar вышел(а) из комнаты: Replaced by new connection
[20:03:23] komar вошёл(а) в комнату
[21:05:57] Typhon вышел(а) из комнаты
[21:12:49] letrec вышел(а) из комнаты
[22:10:36] Typhon вошёл(а) в комнату
[22:31:35] shaggie вышел(а) из комнаты
[22:34:24] bobry вошёл(а) в комнату
[23:03:38] <bobry> учитесь задавать домашку по фп http://compscicenter.ru/sites/default/files/materials/Homework5_0.html
[23:03:38] klapaucius вышел(а) из комнаты
[23:03:49] <bobry> это к лекции про чистое лямбда исчисление
[23:05:56] <ermine> а бывает грязное исчисление лямбд?
[23:06:13] <bobry> ermine: ну конечно, посмотри на камл, там все испачкано io!
[23:07:57] <ermine> bobry: а в вашем исчислении лябмды делятся на нормальные и рекурсивные?
[23:08:36] <bobry> а как туда рекурсию то засунуть? лямбы то все неименованные
[23:08:42] <bobry> разве что через какой нить хитрый комбинатор
[23:10:10] <ermine> вряд ли через комбинатор, ибо все три простейших не позволяют этого
[23:10:28] <ermine> они только жрут аргументы
[23:14:17] <bobry> ermine: ну да, может gds знает какое нибудь шаманство по этому поводу?
[23:15:11] <ermine> да сначала пусть докажет неглючность моих комбинаторов :)
[23:15:50] ermine сегодня перетряхнула маркдаун и там теперь ничо не работает
[23:15:52] <gds> а чо надо.  рекурсию на лямбдах?
[23:16:08] <bobry> ага
[23:16:47] <gds> какая типизация у этих лямбд?
[23:17:18] <bobry> типов нема
[23:17:31] <gds> какой порядок редукций?
[23:17:45] <bobry> нормальный
[23:18:06] <gds> пацанский такой, да.
[23:18:17] <bobry> ну тэк
[23:18:22] <ermine> типы вводятся только в какой-нить машинке
[23:20:18] ermine внезапно вспомнила, что днём вылизывала дебаг в парсере и пошла юзать его
[23:20:30] <gds> тогда всё просто -- Y-комбинатор в руки, и будет тебе рекурсия.
[23:21:06] <gds> и шо, эти задания надо сдать в чистой лямбде?  Они там не долбанулись?  Я бы написал что-то типа дсл.
[23:21:47] <bobry> gds: не, надо на х-ле
[23:21:50] <gds> (кстати, два вопроса я задал совершенно не зря, каждый из них повлиял на ответ.)
[23:22:02] <ermine> лямбды в чистом виде надо генерить
[23:22:23] <ermine> на дворе 21 век, хватит уже чота делать руками
[23:22:27] <gds> так если на х-е, то причём тут лямбды вообще?
[23:23:07] <gds> bobry: пиши на coq, потом экстрактишь в х-ь :]
[23:23:19] <ermine> чо, в задачке про хаскиль говорится? фуууу!!!
[23:23:23] <bobry> gds: при том что лекция была по лямбдам, а в кач-ве домашки дали вот этот ноненс
[23:23:27] <bobry> *нонсенс
[23:23:30] <ermine> это уже не то
[23:24:03] <ermine> кстати, хаскиль на самом деле изнутри весь в грязи
[23:24:17] <bobry> а в unsafePerformIO :)
[23:24:43] <ermine> ну это снаружи
[23:24:50] <ermine> а вот изнутри - это важнее
[23:25:20] <ermine> в камле хоть Obj.* не прикрываются какими-то моральными тряпочками
[23:28:09] ftrvxmtrx вошёл(а) в комнату
[23:28:51] <ermine> хм, зачотное зацикливание в парсере
[23:33:18] bobry вышел(а) из комнаты
[23:33:49] bobry вошёл(а) в комнату
[23:44:04] <ermine> вот для чего нужен монитор 24" - чтобы развернуть во всю ширину экрана лог дебага, в котором уже нехилый отступ от левого края по мере углубления в клятую рекурсию
[23:44:11] <ermine> и то еле влезло в этот монитор
[23:44:50] <bobry> я тоже хочу дебаггер в эрланговский PEG генератор :(
[23:46:43] <ermine> а монитор у тебя соответствует?
[23:48:41] <bobry> неа, 13''
[23:49:41] <ermine> макбук чоль?
[23:50:02] <bobry> uhuh, на работке
[23:57:42] <ermine> bobry: в принципе можно отлаживать свой пег в моем парсере, если использовать классический пег вида A <- B / C, только у меня идентификаторы с маленьких букв