Соответственно тем техники, которые являются идиоматичными для Scala или Haskell (современный ФП), сюда плохо подходят и выглядят как натягивание совы на глобус.
Ну натянуть вполне прилично их можно, на самом деле. Просто никто не заморачивался.
Можно тот же трюк из статьи lightweight higher kinded types применить, как сделали авторы arrow-kt в котлине. Будет вполне себе (хоть и костыльно немного) достаточно, чтобы абстракции нужной мощности можно было выразить.
Крылатый
А давайте сделаем F# без .NET? Чтобы куда угодно можно было прилепить.
А насколько оно было близко к промышленной разработке, извиняюсь?
gsomix
Я сильно подозреваю, что ни одна "неидиоматичная" библиотека не используется хоть сколько-нибудь серьезно: language-ext (C#), FSharpPlus (F#), arrow-kt (Kotlin).