Hy looks really incredible, because it's like Clojure without the JVM. I really hope it becomes more popular. It might take a ClojureScript variant to compete, though.
If anybody on Arch Linux wants to give a Hy a try, I put together a PKGBUILD: python-hy.
Hy allready got a package in AUR, hy-git
Now i see there is python-hy and python-hy-git-git!
> with some optional typing
I'm experimenting on this with Hype. It's barebones and does some whacky-don't-look-at-it macro "magic", but it works! Also trying to mimic core.typed's way of annotation.
Note: Just using python functions annotations with a typeannotation library to provide some runtime type checking. It's rather rad if i can say so my self.
https://github.com/Foxboron/Hype https://github.com/ceronman/typeannotations
http://www.hylang.org