[logicchains]

I used it recently to write something at work that would count as "an application", and it was so much more pleasant than writing the equivalent in Python would have been. Having a proper type system and multiple dispatch really makes a huge difference, and immutability by default and rejection of OO makes for code that's really easy to reason about.