I'm a Web developer the most of the time and I tried to jump back and forth between languages and communities in my spare time to check out if there are some id

I'm a Web developer the most of the time and I tried to jump back and forth between languages and communities in my spare time to check out if there are some ideas that could interest me. I found dynamic language communities are most inspiring to me, just like the old Ruby community. I found the Clojure community is really fun. I tried Fulcro/Pathom, it's like GraphQL but much more flexible. And also there are open-source alternatives to Datomic like DataScript in the browser, and Crux is also very promising. I always wonder what if we bring some Prolog/Datalog to day to day programming, and those are the ideas well implemented and polished. Another interesting community I found is Elixir, Phoenix Liveview is very fast to not only prototyping but also achieve high performance. As a comparison, most statically typed languages community spent most of their time climbing the lambda cube, or in another word, struggle with correctness and expressiveness. It's not necessarily a bad thing - on the contrary, it's applausable. But I found most of the statically typed languages are focusing on those similar things rather than exploring new directions with would be more weird and fun.