Концепции, заложенные в язык Haskell, разработаны математиками на основе математических концепций. Чтобы понимать, каким образом появились концепции языка, и каким путем к ним пришли его разработчики, нужно знать математику. Но чтобы использовать Haskell для программирования, знания этих вещей не нужно. Это как с транспортным средством - для его создания нужно знать в значительном объеме и математику, и физику, и материаловедение, но чтобы управлять им, эти знания совсем не обязательны.
Подтвержу свой ответ цитатой из работы
Monads for functional programming авторства одного из разработчиков языка Haskell Филипа Вадлера из Университета Глазго:
It is doubtful that the structuring methods presented here would have been discovered without the insight afforded by category theory. But once discovered they are easily expressed without any reference to things categorical. No knowledge of category theory is required to read these notes.
Вряд ли методы структурирования, описанные здесь, могли бы быть найдены без тех возможностей, которые нам предоставила теория категорий. Но после того, как они были найдены, они легко описываются без какого-либо упоминания теории категорий. Знания теории категорий не требуется для того, чтобы понять эту статью.
Простой
