You can also use ATS with a few patches to the compiler:

http://sourceforge.net/mailarchive/message.php?msg_id=290363...

Quite a few languages are available for Android development now that the NDK allows native code.

(It should be pointed out that Android is not a tier-1 platform, and so gets broken fairly regularly. The Samsung people are normally pretty quick to debug and submit a fix though.)