Сегодня в 20:00 будет сразу 2 доклада, которые вызывают особенный интерес:

1. Ричард Эйзенберг будет рассказывать о частичных конструкторах: https://www.youtube.com/watch?v=rqmCwpRXT_E
This talk will explore the possibility of explicitly partial type constructors, where we can declare loudly that types like Set work only with some type arguments, but not others. The design proposed improves error messages, simplifies type signatures, and allows instances like Functor over Sets.

2. Джейми Уиллис будет рассказывать о библиотеке для парсерных комбинаторов Parsley, основанной на селективных функторах — разработке Андрея Мохова со товарищи: https://www.youtube.com/watch?v=Zhu-cPY1eac
Selective functors give a ray of hope to the combinator world by generating a purely static structure eligable for analysis and staging, yielding high-performance parsers. This talk will focus on how working with Parsley is different to working with a normal monadic parser combinator library as well as touching on what makes it tick.