gltronred: (Default)
[personal profile] gltronred
Мои впечатления от участия в ICFPC-14



Пришел в лабу за десять минут до начала, с кофеваркой и книгами "Жемчужины ФП" и "Параллельное и конкурентное программирование на Haskell". Особо подготовиться не успел.

Начинаем читать задание, оно огромное. На выходе - программа для SECD машины. Ясно, что нужно писать две виртуальные машины (SECD и более-менее обычную) и компилятор для SECD. Три часа выбираем, с какого языка компилировать. Варианты - Лисп в лиспе и лисп в хаскеле. В итоге выбираем второй.

Я пишу компилятор. В некоторый момент понимаю, что нужно всё выкинуть и начать заново. Выкидываю, получается лучше.

Наученный горьким опытом некоторых прошлых ICFPC, сразу пишу скрипт компиляции.

Lightning раунд мы пропускаем. К его концу мы ничего толкового не успели сделать.

Меняю компилятор для оптимизации рекурсивных вызовов и хвостовых вызовов. Это оказывается не так сложно, как я думал. Точнее, сделать простую реализацию несложно. Сложнее сделать так, чтобы она оптимизировала все варианты, когда оптимизация возможна. Но нам это особо и не надо. Будет тормозить - посмотрю.

С AI у меня ничего не получилось, скомпилированные программы упорно не хотели работать.

Падение ВК проходит сильно мимо меня.

За два часа до конца Габриэль находит странности в поведении лямбда-бота и выясняет, что при запуске скомпилированной версии вылезает runtime error. Я в это время помогаю Дмитрию писать AI (исправлять хаскелевские ошибки компиляции DSL). За час до конца мы этот процесс завершаем, а Габриэль пишет тест, на котором компилятор ломается. За полчаса до конца я нахожу баг и правлю его. Отправить заново скомпилированный код мы успеваем.

Правда, особого толку не будет, нормальный AI мы так и не успели написать. Ждём результатов, чоужтам



Итоги и выводы.



Своим участием в ICFPC я доволен. Компилятор я написал, и он даже более-менее ничего. На следующий год студентам дам его написать :)

Хорошо, когда начало рано. В начале не нужно много людей, не нужно большое обсуждение. Надо быстро сделать заготовку. Если начало часа в четыре утра - скорее всего, будет немного людей, и затраты на обсуждение будут невелики. Конечно, потом нужно больше людей.

В очередной раз понял, что писать тесты - очень хорошо :) Правильный режим - тоже хорошо. Правильный режим - это ложиться к четырем и вставать к девяти-десяти :) В очном, а не удаленном участии есть плюсы.

Date: 2014-07-29 05:06 am (UTC)
From: [identity profile] yantayga.livejournal.com
А я предлагал — всем очно! ;)

Date: 2014-07-29 08:39 am (UTC)
From: [identity profile] gltronred.livejournal.com
И в три смены надо! :)

Date: 2014-07-29 08:45 am (UTC)
From: [identity profile] yantayga.livejournal.com
Не, это лишнее...

Date: 2014-07-29 08:53 am (UTC)
From: [identity profile] gltronred.livejournal.com
В задаче этого года - да, подзадач было много. Но всё равно, были моменты, когда параллельно работали всего над двумя-тремя подзадачами. И большое количество человек в это время только мешало бы. А в несколько смен можно эффективнее работать в таком случае

Date: 2014-07-29 08:59 am (UTC)
From: [identity profile] yantayga.livejournal.com
Но даже это очно можно было бы эффективно реализовать. И кроватей понадобилось бы меньше. ;)

Date: 2014-07-29 06:46 am (UTC)
From: [identity profile] anikola.livejournal.com
"Падение ВК проходит сильно мимо меня." - а что именно падало? Для меня ВК расшифровывается всего лишь как "Властелин колец" и "вконтакте". Первое упасть не могло, во второе слабо верится.

Date: 2014-07-29 08:49 am (UTC)
From: [identity profile] gltronred.livejournal.com
Что касается падения первого, оно произошло в конце Второй эпохи и (окончательно) в конце Третьей

Что касается падения второго, посмотри в этом самом втором кучу постов о падении

А ещё BK, по словам википедии, Burger King :)

Date: 2014-07-29 08:58 am (UTC)
From: [identity profile] anikola.livejournal.com
Вот-вот, слабо верится, падение первого могло произойти на этих выходных.
По второму - я туда сейчас в основном захожу посмотреть нет ли личных сообщений, поэтому и не увидел.
P.S. Результаты вашего соревнования уже подведены?

Date: 2014-07-29 06:25 pm (UTC)
From: [identity profile] gltronred.livejournal.com
Результатов ещё нет, я так понимаю, объявят на конференции ICFP, 1-3 сентября

Date: 2015-08-20 08:41 am (UTC)
From: [identity profile] yantayga.livejournal.com
А по 2015 где отчет? ;)

Authority sleazy generics no instruction

Date: 2016-12-11 08:25 pm (UTC)
From: (Anonymous)
viagra last post
[url=http://viagrawithoutadoctorprescriptionorder.com]viagra without a doctor prescription usa
[/url] canadian pharmacy viagra 20mg it is currently
viagra no prescription
(http://viagrawithoutadoctorprescriptionorder.com) - natural cure for ed
viagra generics community

Profile

gltronred: (Default)
gltronred

August 2017

S M T W T F S
  12345
6789101112
13141516171819
20212223242526
2728293031  

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Sep. 21st, 2017 06:59 am
Powered by Dreamwidth Studios