The contract does say that the app has to be "originally" written in Obj-C, C, C++, or Javascript, so it seems that technically an app that's written in something else and then translated to Obj-C by a code generator would violate the restriction. It's not clear how easy that'd be to enforce, though.