Devdays spring 2014

Материал из SEWiki
Версия от 11:44, 24 марта 2014; Austudent (обсуждение | вклад) (BRO (aka Beta Reducing Online))

Перейти к: навигация, поиск

And may the odds be ever in your favour.

Темы проектов

Тут пишем идеи. Нумеруйте или подписывайте названия своих идей, чтобы было видно, где начинается новая идея.

Подсказочка: жмём вверхнем правом углу "представиться системе", после авторизации жмём вверху слева "править"

DRY

Расширение для Chrome, подсказывающее фразы при общении в VK и проверяющее написанные сообщения на то, что подобное вы уже писали (то же самое при добавлении песенок и так далее). Также нужно было бы сделать возможность шаблонного общения (в смысле, подсказок, что сказать из шаблонов).

Я еще придумал one-liner: put your VK out to DRY!

Технологии: HTML, CSS, javascript, вот это все.

Предложил: Никита Карташов.

BRO (aka Beta Reduction Online)

Веб-приложение наподобие этого, только для редуцирования термов нетипизированного лямбда исчисления. Пользователь вводит терм, программа подсвечивает ему места, которые можно редуцировать, после щелчка на одном из таких мест редуцирует его и выдает результат в котором снова можно выбрать что редуцировать (если, конечно, еще хоть что-то осталось).

Технологии: Haskell/Yesod или Ur/Web.

Предложил: Николай Обедин.