Для этой части программистов есть Go. Ну и JS. Я без рофлов. В мире микросервисов всегда можно часть тупых и простых микросервисов написать на Go или JS руками тех для кого ЗавТипы и всякие Scala Idris это слишком сложно. Причём такой работы на самом то деле дофига где нужны Go программисты которые просто будут печать нужный CRUD в нужных микросервисах и освобождать руки тех кто может в большее.
это совсем узкая ниша. Пошире чем scala/idris/haskell, но не кардинально. А основная часть будет юзать то, что и юзает сейчас