Devdays spring 2014 — различия между версиями

Материал из SEWiki
Перейти к: навигация, поиск
м (BRO (aka Beta Reducing Online))
Строка 17: Строка 17:
 
Предложил: Никита Карташов.
 
Предложил: Никита Карташов.
  
== BRO (aka Beta Reducing Online) ==
+
== 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.

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