Пост про алкашку или Хакатон "У айседа"

[metaclass]

Как известно, theiced не пьет алкоголь.
Я алкоголь немного пью, но чем дальше, тем меньше этот процесс доставляет, по сравнению, скажем, с кодогенерацией на Clojure. Курить табак я не курю, прочее ни разу не пробовал - жена запрещает, говорит "выгоню из дома".

Посему практически никогда не получается вытащить айседа на участие в заседаниях раввинского суда, где псят на жабодрочеров, обсуждают планы? как менеджерам еще заработать немного денежек на мягкие французские булки методом вспахивания ИТ на artureg и kometa_zxc. А вести же застольные беседы без средств изменения сознания тяжко.

Посему, мой моск, разгоряченный витаминами, чаем и ноотропами посетила идея, что изменять сознание можно не только пусканием алкашки по организму, а так же коллективным программированием ада, заборов и коровников или там еще каким-нибудь техногенным стимулятором выделения эндорфинов. Главное условие - чтобы от получаемого продукта, до зарабатывания денежек менеджерам было не менее чем 1-2 шага, чтобы это был отдых, а не работа :)

То бишь: собираются психи где-нибудь где есть электричество, чай, еда и интернеты и начинают коллективно придумывать какой-нибудь совсем уж нечеловеческий трэш, типа там "переведем комментарии в ядре линукса на белорусский язык", затем в чаду угара и трэше содома это реализуют, пока из ушей дым не пойдет, и видения мертвецов не появятся. И никакой алкашки не надо.

Comments

[nivanych.livejournal.com]

Авот и неправда.
Конструктивность, оно такое — если что построил, то это истинно!
Следуйте идеалам конструктивизма — и вам всегда будет только правда!
В этих языках давно есть средства работы с не полностью доказанным.
Например, с недоказанно-завершимым в агде можно работать свободно.
И ващщее, можно описывать (но это большой секрет!!) массивы разной длины и проверять соответствие в rumtime!!
Если серьёзнее, то при некоторой привычке, можно работать с ними не сложнее, чем с `обычными` функциональными языками, только стиль написания сильно другой. И типы могут описать всё разумное. И если надо доказательства, то их можно!

[thedeemon.livejournal.com]

Т.е. компилятор им скажет "так и быть, дам это запустить, но я предупредил: это бессмысленная фигня, зря вы ей занялись". ;)

[nivanych.livejournal.com]

Ну да, в агдочке как-то так.
Можно и общую рекурсию.