Последние несколько дней меня сильно печалит тот факт, что я продалбывал интересные курсы в универе последние пару лет =/
Ну, с первым курсом всё норм — я там в принципе почти ничего не пропускал, да и не особо чего интересного было.
На втором курсе очень даже можно было заботать матлог; в каком-то смысле, когда мне сейчас показались интересными не только функциональное программирование, но и всякие релейтед-вещи, я понял, что у меня как-то немало пробелов в базе (хотя я и многое «заткнул» на третьем курсе, но, тем не менее). Хотя это, на самом деле, не так уж грустно — по матлогике есть немало чего адекватного почитать, те же конспекты, хотя бы. Ещё немного жаль, что я забил на ТФКП — хотя она и кажется не настолько важной, как та же матлогика, для изучения других вещей, но, в целом, сама по себе довольно интересная, как мне кажется.
Но, наверное, больше всего меня разочаровывает то, как я вдолбал курс ФП в пятом семестре — где-то на первую половину занятий я не ходил, потому что я многое из этого уже знал (и, как мне казалось, владею Хаскелем относительно неплохо), перечитывал (и не раз) — с одной стороны, и потому что пары были рано в субботу и мне было лень вставать в 8 часов (лицорука, да) — с другой. В конце концов спать субботним утром стало довольно привычным, и теперь, я понимаю, что продолбал во втором семестре возможность узнать что-то из таких интересных вещей, как Агда/stream fusion от человека, который более-менее неплохо шарит во всём этом и даже иногда использует (и по-прежнему я не особо хорошо умею писать на Хаскеле).
Единственное, что во всей этой ситуации радует — то, что немалую часть из этого можно нагнать — что-то можно почитать самому (SICP/RWH/что-то по матлогу), про Агду и вещи из теории типов я надеюсь ещё услышать (посещая своего рода introduction-курс для первого и второго курса, ну ёбаный стыд =_\\). Жаль только, что факультатив по теории языков программирования мне посещать уже, похоже, смысла нет, ввиду вдалбывания мной первых n занятий и полного незнания Агды (а жаль, было бы интересно совместить то, что я слышал на эту тему в CS-центре с тем, что может рассказать Ян). Нда.