现在您可以使用Gradle的Android插件在Scala中创建Android应用程序。它集成了ProGuard工具来修剪结果APK文件中的赘肉，因此似乎可以满足您的需求。

https://github.com/jvoegele/gradle-android-plugin/wiki

为Scala开发Android应用程序正在不断发展。目前最好的方法似乎是SBT与Android -sdk-plugin相结合，这是维护*，在我的Scala/Android项目中工作得很好。还可以找到一个最近的例子，演示了该插件与前面提到的Scaloid的使用。

请注意，这个问题是一个典型的例子，在Stack Overflow上有过时的答案。这个答案在某些时候也可能过时。

*在这个回答线程中提到的其他基于SBT的项目在撰写本文时的过去六个月里似乎没有为它们编写代码。它们可能与新版本的Scala和SBT存在兼容性问题。

我用Eclipse 3.7、Scala 2.10和插件AndroidProguardScala v50验证了这个详细的解决方案:

https://stackoverflow.com/a/11084146/1287856

一切都很好。带有扩展的主活动类的简单测试应用程序只占用38Kb。支持图书馆项目。导出项目时激活Proguard。

有关教程和示例，请参见Stéphane Micheloud的“探索Android”页面:http://lamp.epfl.ch/~michelou/android/

Scala在Android上最大的问题是编译时间。

可能是因为Proguard类在双四核(8-CPU) E5450 Xeon (8GB)上使用IDEA13/Scala插件编译需要两分钟或更长时间。

在完成了一个大型的Scala Android项目后，我只是回到了Java，因为编译时间太令人沮丧了。

如果你使用maven，使用android-scala-test作为启动模板。这对我来说很有效。

Scaloid是一个用Scala编写的Android API包装器，可以帮助你以Scala风格编写Android程序。