Довольно сумбурно, почти два часа рассказывать про local reasoning и композицию функций - перебор. То что они хвалились, что отбирают людей на курс , чтобы был одинаковый бэкграунд - хрень полная. Что в принципе и по тесту было видно. Ещё полтора часа зачем-то притягивали тайп класс , чтобы показать как сделать обобщенную функцию, которая сможет работать с F[_] . Если такие демо устраивать, то хотя бы на аудиторию которая знакома со скалой, а не так, чтобы объяснять каждую строчку для тех кто скалу никогда не видел. Объяснить важность local reasoning и композицию функций прекрасно можно без притаскиваемая патмата в код, разбора структуры скаловского листа и тайп класса аля монада. Так как зачем эта монада (как свойство F[_]) понадобилась , если бы я не писал на Scala или возможно Java, мне было бы не понятно и показывало язык не с самой лучшей стороны - если хотите работать с дженериками, то придётся делать кучу приседаний :)
