Observations

Ну так вот а я - в курсе, - точно так же, как в курсе, какое железо и софт используется в смарт-картах, жёстких дисках, SSD, клавиатурных контроллерах, вайфае и 4G-модемах, автомобильных контроллерах, авионике и электрочаниках с вайфаем, и почему в обозримой перспективе ФП там не будет. И мне совершенно не нужно изучать теорию категорий в тонкостях, чтобы это понимать, - точно так же, как шофёру грузовика не надо быть геологом, знающим всё о руде, чтобы сказать, что десять тонн его самосвал выдержит, а пятьдесят - уже нет. Я не просто так это говорю, а потому что я разобрал и изучил столько устройств, сколько Вам просто в руках за всю жизнь подержать не пришлось, так что чем спорить, лучше бы послушали человека, который имеет в этой области более высокую компетенцию, чем Вы. Мне вот не приходит в голову спорить о каких-то аспектах синтаксиса скалы, поскольку я этих тонкостей не знаю, но для того, чтобы сравнивать бенчмарки, знания теории категорий не нужно - всё вполне очевидно из цифр.