Много мороки с тем, чтобы максимально сократить конпелятору перебор альтернатив в паттерн-матчинге, например

А вот с таким понятием я еще не работал и в исходниках спарка не сталкивался

Где тип изоморфен своему "продолжению"

Блин, как жестко переписали родной факториал на "продолжениях", нужно время для осмысления

FactFixed эквивалент Fact

Когда осознал применимость рекурсивных типов

Конечно, инсайты - это прекрасно, но я в очередной раз понимаю, что не хотел бы мэйнтэнить scala - проект, написанный упоротыми хаскелистами

Главное, не то, что там сложная математика, не сложнее топологии каких-нить конечномерных пространств, а вот то, что ты становишься придатком кода, а не он - простым выразителем идей.

Анимешные девочки в стикер-паке про монатки, как раз на что-то намекают, извините

В целом, я заканчиваю трансляцию конфы, надеюсь, вам было интересно читать. Через неделю, 27 октября, я буду на ИТ-субботнике EPAM в Москве с докладом про Ignite, приходите

А 3 ноября с этим же докладом в Ярославле

Одновременно, я буду читать мастер-класс в Ярославле, 2 ноября по Spark ML/TF/Ignite ML, за деталями - в личку