Благодаря Vaamo мне посчастливилось побывать в LambdaWorld в Кадисе в этом году, и это было потрясающе.
Переговоры
Хотя Зайнаб Али сказала в своем выступлении, что заранее не было согласования, можно было догадаться, что это была большая конференция по Теории категорий. Никогда об этом не слышали? Вам обязательно стоит посмотреть Keynote от Dr. Евгения Ченг : Теория категорий в жизни . И даже если знаете, тем не менее смотрите! В нем есть удивительное объяснение привилегий в нашем обществе:
В Очистке банана (Слайды) Зайнаб Али проделал удивительную работу, погрузившись в схемы рекурсии и объяснив, как теория категорий может использоваться для вывода катаморфизмов. (Примечание для себя: я должен пересмотреть этот разговор)
Не бойтесь оптики от Хесуса Лопеса-Гонсалеса на практическом семинаре научил меня использовать оптику в Scala. На самом деле это оказалось на удивление легко :-).
Profunctor Optics от Bartosz Milewski несколько раз поразил меня, и мне придется пересмотреть его еще несколько раз, чтобы понять все в целом.
Социальная
Может быть, для вас это большой облом, потому что не будет слайдов или разговоров на YouTube, которые дадут вам то социальное взаимодействие, которое я имел на конференции. Организаторы проделали потрясающую работу, предоставив достаточно свободного времени для общения с другими людьми и обмена личным опытом и извлеченными уроками. (И еще не совсем рабочие. У меня была интересная беседа о стоицизме)
Отказ от ответственности: эта статья была написана под влиянием постконференционного максимума ;-)
