Подписал петицию

[yasenp]

Громадяни проти Комісії з МораліПо тексту петиции есть замечания и вопросы (например, что такое "притлумлення", и разве не очевидно, что цитата Данилы Яневского вырвана из контекста). Но последние "подвиги" этой комиссии по морали вроде запрета ("не рекомендации") нескольких юмористических программ по ТВ и новой книги Олеся Ульяненко не оставляют у

Comments

[alogic]

И тебя приятно видеть и комиссию по морали эту не люблю:)

[yasenp]

Привет тебе, отважный покоритель лямбда-исчисления!

[alogic]

Функциональные языки сейчас на подъёме, там можно автоматизировать оптимизацию и доказательство корректности программ, так что изучаем.

[yasenp]

А что, функциональные языки связаны с ламбда-исчислением? Прикинь, не знал. Оптимизация и доказательство корректности программ средствами, приближенными к чистой математике - это круто. А ты знаешь о дистрибутиве Линукс, построенном на принципах функционального программирования? NixOS назвается: http://people.cs.uu.nl/andres/NixOS.html