Set Theoretic Programming Language
If set theory is the foundation of all mathematics, then why not also programming (which is a kind of constructive mathematics). The closest to that existing today is, of course, Haskell.
Don’t neglect the cool multimedia things that it can do, according to this book review.