The Unison Language promises to be a friendly programming language from the future, which although deriving much of its syntax from Haskell/ML family of functional languages has as its main feature (USP) that the AST rather than the textural representation of the source code is the artefact of programming and considers code as content addressable and that definitions are immutable.
Very interesting ideas here from the programmer perspective. However I’m now convinced that language is not really about syntax or even expressivity in the end. After all the \(\lambda\)-calculus wins there. The real challenge is with runtime systems and back end architecture and omtimisations available for a specific domain or paradigm of computing.