What language to learn after Haskell? [closed]

Answer 1

I'm a bit late but I see that no one has mentioned a couple of paradigms and related languages that can interest you for their high-level of abstraction and generality:

• rewriting systems, like Maude or ELAN;
• Constraint Handling Rules (CHR).