откуда браться проектам на этих языках, если "бизнес выбирает" (?)
Они есть но их малый процент. Но в этом проценте данные языки не показывают себя эффективно настолько что проекты на них резко выигрывали на фоне остальных. Иными словами, жизнь даёт данным языкам показать свою эффективность, но пока они её не показали в достаточной степени.
не знаю, что это может значить в контексте/категории приложений т.е. если A, B — приложения, то f ∊ Hom(A,B) будет изоморфизмом, если есть g ∊ Hom(B,A) такой, что g . f = id(A) && f . g = id(B)
А что там функциональнее в плане фич, Kotlin или Swift? Ну, там чтобы, Хиндли-Милнер, автокаррирование, pipeline оператор, имутабельность, структурное сравнение, first citizen функции.