Hi, Thanks for the Post.
Maybe you could like this aspiring new programming language in the making:
It is a Lisp with a Haskell like Typesystem on the jvm, but with ML like structures and signitures.
There is even a book describing the language:
the-lux-programming-language: A detailed tutorial on how to use the Lux programming langu,age and its associated…www.gitbook.com
(Ps I'm not involved in the development of the language, but would be interested to know what you think about it)