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