Кстати, теория тоже планируется, поэтому Haskell. "Теория", это про параметрический полиморфизм, поверхностно про HKT, и подробно про "ужасающую тройку" (Ф/АФ/М). Так что это будет и курс по ФП, пусть и с уклоном в практику
Я не в столицах, поэтому всячески поддерживаю онлайны или записанные оффы. Но звук - это да, хотелось бы приличный.
Про ужасающие тройки и другую теория красивого - только "за"! Круто было бы ещё зависимые типы и предикатные ограничения обозреть. Кто-то их использует вообще? Какие примочки лучше? LiquidHaskell? Какие возможности у TemplateHaskell? Какие ограничения накладывают?
Кое-что из зав.типов Хаскель может, и не только длину закодировать для вектора, но "полнеценных" - и удобных синтаксически - з.т. в хаскеле нет и в ближайшее время не будет