Does your programming language has the map function? That comes straight from CT. A simple but concrete result: map (f.g) = map f . map g (i.e. if you have two

Does your programming language has the map function? That comes straight from CT. A simple but concrete result: map (f.g) = map f . map g (i.e. if you have two functions that compose, mapping the composition is the same as mapping each one and compose the results) In functional programming, a lot of concepts are from CT, specially because of the focus on composition that both have. By using CT results they can do pretty crazy things with code and have the math to back it up :) To be fair, I just recently started learning the subject, but I think it has a lot to offer.