Котлин как раз пример языка на стирающем типы рантайме, там такое изи

Да, я сначала написал в стиле Котлин , а потом вспомнил что дженерики в дот нете то настоящие лол

Привет

А то что в F# нет HKT это плохо?

нет, это нормально

HKT это бонус?)

Опасный бонус. Может легко отправить язык в бездну фпшников

там где обитает хаскель и куда стремится скала

вот

почему у этих скалистов все так опасно? вот эти cats например

Мне кажется ты засланный казачок троллитель

да не

я просто пытаюсь понять

зачем мне писать http сервер со всякими Kleisli и т.д

с абстрактными эффектами и прочей ерестью

в скале есть нормальные продукты, которые любит бизнес и которые приносят валуе - акка, спарк, плей.
Есть и экосистема котов, которая только набирает обороты (по сравнению с первой категорией).

В этой экосистеме почему-то обитают люди, которые любят писать простые вещи очень сложным способом, оправдываясь мифическими проблемами - expression problem, например. Или проблемой замены конца мира, или проблемы сайд-эффектов.

Все эти проблемы действительно случаются, и предложенный способ (ТФ например, или кото-эффекты) действительно их как-то решают, но на практике они встречаются КРАЙНЕ редко и проще 1 раз в год костыльнуть, чем тащить весь этот ворох бойлерплейта, которым фп-дрочеры любят обмазывать свои решения

по аналогии ооп-дрочеры любят обмазывать любой класс интерфейсом, а любой доступ в бд ПАТТЕРНОМ РЕПОЗИТОРИЙ, оправдываясь такими же мифическими проблемами.

Надо ли говорить что обе категории - дебилы

Имхо потому интерес к ФП часто и убивается где то на стадии появления. Увидят решения от таких аффтаров. Не поддерживаемые, запутанные, с кучей каких то паттернов на пустом месте. И остаются там где пока находятся, т.к. то что увидели точно не хотят.

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

изучить полезно, почему нет