>удобной многопоточности
Вопрос зачем мне многопоточность в какой-то опердени? У меня крутятся разные инстансы одного и того же приложения, а разные микросервисы это разные приложения, которые общаются по сети.
>Лучшая система типов
В чем она лучше? .NET имеет нормальную систему.
>Наличие разумной макросистемы
Чем макросистема хаскеля лучше .нета?
>Уменьшение проблем с мутабельностью
Ок.
> Вопрос зачем мне многопоточность в какой-то опердени?
Распараллелить выполнение каких-то задач, обеспечить какой-то внутренний тредсейф кэш.
> В чем она лучше? .NET имеет нормальную систему.
Попробуй написать код, который будет работать для любых числовых типов, при этом не будет боксить и будет удобен в использовании. (Хинт: для этого нужны тайпклассы или их эмуляция)
И да, заодно посмотри как сделан параллельный и не параллельный LINQ к обьектам, там смешно иногда, но это скорее претензии к стд либе, чем к системе типов
> Чем макросистема хаскеля лучше .нета?
В .net - нет макросистемы вообще, кроме немерля, но он умер.