Shen looks like a dream come true to me. Some key features: pattern matching, optional static type checking, macros, integrated Prolog, optional lazy evaluation. I wish I could use this in my work. In case you're into Emacs and would like to play with it there is an Elisp implementation with a REPL [0]. There are also implementations in Python, JavaScript, C, and others [1].
