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…