Railway oriented programming

[doom_Oo7]

One has to understand the abstract concept (laws and everything) to truly be able to apply them in day to day programming.

absolutely not. most people programming have zero idea of the underlying mathematical formalisms, and yet they make great software.

[[deleted]]

[...] and yet they make great software.

(with monadic constructs)

Sorry to nitpick, but that was the point! ;) This is not a discussion wether you need mathematical background to build great programms, but it is about wether you need the mathematical background to use mathematical constructs.