I've always thought Pliant was interesting. It is only a little out of the mainstream (imperative language, runs on Linux) so, so far, nothing that blows my head open (like Oberon, Smalltalk, Prolog, Haskell, Coq, Hypothesis, TeX, and Plan9). But it seems practical.
