огонь! надо ехать теперь

Пробежал список книг, почитал к ним аннотации, понял, что имею много всяких обрывочных знаний. Хочется иметь некоторую структуру понимания концептов ФП.

Столкнулся с тем, что дело это требует серьёзного упорядочивания имеющихся знаний и разрешения массы белых пятен.

Решил оттолкнуться от того, что преподают в образовательных учреждениях СПб и понял, что в принципе код специальности 01.04.02 с дисциплиной "Функциональное программирование" в НИУ ВШЭ покрывает мои потребности.

Однако в виду полной занятости по основной работе не имею возможности совмещать полноценную учебу с требуемыми целями по работе. Думаю вот над чем...

Может быть кто-нибудь имеет возможность мне преподавать эту дисциплину в частном порядке комбинируя очные встречи и скайп?

Также мне нравится и такая программа обучения: http://lambdaconf.us/downloads/documents/lambdaconf_slfp.pdf

^ программа в НИУ ВШЭ

Я могу посоветовать курс csc по фп от товарища Москвина

https://compscicenter.ru/courses/func-prog/2015-spring/classes/

Наши лекции в ИТМО: https://github.com/jagajaga/FP-Course-ITMO

А видосы есть?

Нет. Когда-нибудь планируем..

#spam

Прибейте беднягу, он по всем чатам своими какашками  спамит

Удалила, но на самом деле релевантные вакансии я бы не стала удалять

Прошел 2 записи видео с лекциями. Сделано хорошо, смотрю дальше. Спасибо за рекомендацию!

Понаписал анонсов:

В каждой тысяче строк кода есть баг. Поэтому не нужно писать код -- нужно писать теоремы. [Google пишет](https://boringssl.googlesource.com/boringssl/+/b2c312d670b9967cf881419758f0ec286b66a25f), [MIT пишет](https://github.com/mit-plv) -- и тебе, $username, пора!

Летняя недельная школа по вопросам прикладной формальной верификации. Вводный трек на по четыре пары, чтобы познакомиться с инструментарием, исследовательским багажом и индустриальным и академическим state of the art; продвинутый трек для уже знакомых и желающих перейти от лабораторных работ к продакшену, и кулуарящихся профессионалов.

Предметная область про переход дальше конвенциональных тестов и типов: проперти тесты, разрешаемые статически и ну очень сильные и зависимые типы. Уже не совсем исследовательская, но ещё не коммодизированная. Инструменты, которые используются чтобы писать криптографический и другой важный, от которого все зависят, с мультипликативным импактом код (это ещё называют "популярные библиотеки"). Стык низкоуровневого и функционального программирования и системной инженерии. Дедуктивная верификация, абстрактная интерпретация, Coq, проекты DeepSpec, Frama-C, экстракция и эмбеддинг: интенсив, и проекты, и самоорганизованные воркшопы.

15-21/07. Приезжайте: http://iacsv.kocherga.club/summerschool.html

учи детей хаскеллю пей парное молоко
16-29/06, 15-28/07, 12-25/08 (можно приехать на часть)

*также подходит современная алгебра, теория типов, логика, лисп, SICP,  TLT, программирование на типах, а сейчас мы посмотрим как на самом деле работает этот рантайм, криптография... - в общем, почти что угодно!

Как пример, предыдущие проекты и лабораторные работы включали в себя написание криптосистемы Палье, небесных пчёлок (Cloud Haskell + CRDT: https://habr.com/ru/company/goto/blog/351496/), и ковыряние асинхронных эксепшонов, чтобы написать многопоточный сервер. Через дорогу пасутся коровки.

https://cft.lambda.goto.msk.ru

@wldhx, этo вы?

✅

сматчил пo выступлению прo GnuNet в прoшлoм гoду 🙏