Наскальная живопись и боль

Запись больше для себя, сохранить текущий стейт продвижения по scala. Без StateMonad.

И так, прошло 4.5 года, как я как проститутка, за деньги на работах на scala.

Недавно прошла внешняя мысль, что чем больше ты испытываешь боль, тем больше продвижения по ФП. Тонко/философско, что-то есть. Вообще обучение и боль связаны, если не БДСМ.

Короче:

Есть немного котов, но от туда в основном моноид. Плюсов kittens, он генерит для котов моноиды для ваших АДТ. Монатки, ну стандартные, котовых и скалазишных явно нет. Пока нет боли, не пройдено. Пару мест где вызывает M.traverse/sequence. Traverse пока в процессе осознания. МонадТрансформеров нет, потому как в пару мест достаточно traverse.

Type constructor, то что погружение в F[_] - есть не более двух.

Тайпклассы - очевидно есть, торчат где только можно/модно.

Фри - ничего нет. Далекое понимание, но близкого к боли нет.

Shapeless - есть пару использований. В целом прикольно и больно. И правильно.

Сейчас пошел кусок akka/akka-streams. Очень круто. 5-6-7-8К rps (ну, не совсем rps, item-ов из kafka) на одной машине, вращаешь данными по правилу правой руки. В akka пока только persistence, sharding пока в прототипе. Иного пока не надо.

Макросов нет, scala.meta - вертится на языке, но без боли.

Стандартный slick && play.json. На другое смысле смотреть нет, боли нет.

Рекурсивных схем нет, были краткосрочные 10 секундные интервалы времени когда что-то открывалось. Но без боли.

Сопряжений и профункторов тоже нет.

Ковариации и контравариации - есть. Внезапно по 1 инстансу. Внезапно начинаешь испытывать боль, понимаешь что не хватает одного символа, с первой попытки интуитивно ставишь верно.

Ко-вещей - нет.

Оптики тоже нет, ради одного места не стал добавлять. Извините, там copy(copy), не глубже. Сплю спокойно.

Чистоты как в haskell - нет. Кое-где это вызывает боль и кровь в глазах. НЕ ХВАТАЕТ.

Выводы: боль - это хорошо. Мир - это война, свобода - это рабство, незнание - сила.