The most beautiful, well designed, programming language I have ever encountered in my 20 years of research is the equational programming language Q:

http://www.musikwissenschaft.uni-mainz.de/~ag/q/qdoc.pdf