If you're on the fence about it, and are looking for things you can "drop into" your existing programming experience, I don't think you should spend any signifi

If you're on the fence about it, and are looking for things you can "drop into" your existing programming experience, I don't think you should spend any significant time on it, over just studying idioms of a programming language directly. I think if folks are interested, they should investigate CT for it's own sake (it is interesting mathematically) and not for some expected payoff. I will say that though I only have a basic understanding, I at least acknowledge that go far with it seem to be more comfortable with how "things can be embedded in other things" and "prove compositional properties" at least in certain carefully constructed situations.