As long as it doesn't require a runtime library to run I see no reason why not to allow it. It was this that kept Scala from becoming a major Robocode language.
Heck I might try it, it looks neat.
Under what Chase said Ceylon, Fantom, Gosu, Kotlin, are eligible languages for robocode