если что, я не уговариваю никого на микросервисы 😊 есть те, кому так удобнее и проще, есть те, кому проще по-другому, каждый делает как ему удобнее... в любом случае, решение принимает тот, кто потом отвечает за это решение...
В Haskell частенько юзаются монады State, ST, IO, фактически превращая код в императивщину, а иммутабельные мапы имеют логарифмическую сложность, а не константную) И вообще не все алгоритмы хорошо ложатся на ФП)