What languages have you worked with? As per the OP, there are certain languages where types are much more expressive and add something to the programming experi

What languages have you worked with? As per the OP, there are certain languages where types are much more expressive and add something to the programming experience. Learning haskell changed a lot about the way I think about programs and that is even as someone who primarily writes in java.