Ну в скале большая часть библиотек портирована именно с хаскеля… но там везде упор на стэкобезопасность и потокобезопасность.
Т.е. существует Eval монада внутри которой невозможно переполнение стэка 🙂 там Brackets / Sync / ConcurrentEffect и ряд других примитивов которые делают код потокобезопасным.
Ну а в котлине - есть Arrow.kt который фактически является бэпортом Scala Cats с плагином к компилятору котлина.
https://arrow-kt.io/https://typelevel.org/cats/В случае с хаскелям стэкобезопасность и потокобезопасть очень негативно сказываются на скорости работы из-за системы типов (Partial Continuation Types), особенностей GHC и реализации LLVM фронтенда.