The Unison language (unison-lang.org) has some really interesting ideas, from content-addressable immutable code to dependency-injection with abilities, a powerful yet simple alternative to monads. I've written a couple of articles: pragdave.me/discover/

Enjoy