Devdays spring 2014 — различия между версиями
(→DRY) |
Austudent (обсуждение | вклад) |
||
Строка 16: | Строка 16: | ||
Предложил: Никита Карташов. | Предложил: Никита Карташов. | ||
+ | |||
+ | == BRO (aka Beta Reducing Online) == | ||
+ | |||
+ | Веб-приложение наподобие [http://logitext.mit.edu/logitext.fcgi/main этого], только для редуцирования термов нетипизированного лямбда исчисления. Пользователь вводит терм, программа подсвечивает ему места, которые можно редуцировать, после щелчка на одном из таких мест редуцирует его и выдает результат в котором снова можно выбрать | ||
+ | что редуцировать (если, конечно, еще хоть что-то осталось). | ||
+ | |||
+ | Технологии: Haskell/Yesod или Ur/Web. | ||
+ | |||
+ | Предложил: Николай Обедин. |
Версия 11:42, 24 марта 2014
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 Reducing Online)
Веб-приложение наподобие этого, только для редуцирования термов нетипизированного лямбда исчисления. Пользователь вводит терм, программа подсвечивает ему места, которые можно редуцировать, после щелчка на одном из таких мест редуцирует его и выдает результат в котором снова можно выбрать что редуцировать (если, конечно, еще хоть что-то осталось).
Технологии: Haskell/Yesod или Ur/Web.
Предложил: Николай Обедин.