Я специалист этих ваших камплюгхтэр сцайенс и читал много классических книг и даже статей этих ваших спрингер-дуршлаг. Хочу бросить погромирование и начать житькакие подводные камни? Я выгляжу как уёбок, у меня неадекватные политические взгляды, каких-либо способностей творческих или в общении нет, и никогда даже девушки не было.Гхм...С чего начать?
C А М О В Ы П И ЛАМОВЫПИЛ
>>865447Я не такой, т.ч. не вариант.
1. Удалить весь пак 2д вайфу с компа2. ???3. Профит!
>>865439 (OP)Спорт может?
>>865439 (OP)Для начала, тебе нужно сменить несколько работ программистом чтобы нажраться говна и осознать, что среди коллег 99% просто быдлосы/нормалфаги, также тебе нужно подольше посидеть в pr и программистских чятиках и пытаться обсуждать здесь свои любимые темы. Со временем ты возненавидишь программирование, а ещё через некоторое время оно начнёт вызывать у тебя апато-абулический синдром. После этого ты гарантированно бросишь программирование как увлечение, и будешь искать что-то интересное для себя где-то в другом месте.
>>865512> быдлосы/нормалфагиЕщё ролевики )))
>>865439 (OP)>Я специалист этих ваших камплюгхтэр сцайенсОбъясни на пальцах изоморфизм Карри-Ховарда. Я так понимаю, что есть какое-то соответсвие между системами типов и системами (их, получается, много?) логики. В чём отличие логических систем, соответсвующих типизированному и нетипизированному лямбда-исислению?
>>866005Нетипизированному лямбда-исчислению вообще не соответствует никакая классическая логическая система.
>>866005Propositions as types wadler youtube
>>865508Если удали все пикчи с компа, то я ведь всё равно пойду на анимублядские трхеады на форчане и стану дальше сохранять картинки на комп.