1. 7

Programming language designed for secure, distributed, data-driven systems that makes immutability the core concept to an extreme degree.

  1.  

  2. 3

    There was a bunch of discussion and comments from the author on Enchilada on the concatenative mailing list a few years ago that is an interesting read if you want to know more about the language.