A language I've discovered with delight is Cobra. It is python-like, with built-in unit test support, contract support, and currently on top of the .Net platform (but a backend is flexible enough that some work at targeting Java and Obj-C has been done).