据国外媒体报道，周二，Mozilla基金会对外发布了Firefox 9浏览器的正式版，其中包含一系列的新功能。就运行速度上来看，Firefox 9较其前身提升了30%。

目前，Firefox 9已经可供Windows、Mac和Linux平台的用户下载。Mozilla基金会表示，Firefox 9提供了增强的JavaScript性能和新的开发者工具，能够使得网络浏览更加快速。

此外，Firefox 9中具备的其他亮点包括Mac OS X“狮子”支持和专门针对Android平板电脑进行的优化。

速度提升30%

Firefox 9中包含的形态推断（Type Inference）功能使其JavaScript性能得到了很大的提升，使得加载、运行包含丰富图片、视频、游戏和3D图形的网站和Web应用程序的速度有所加快。

形态推断（Type Inference）是SpiderMonkey JavaScript引擎中的一个功能，它与JaegerMonkey JIT编译器整合去提供分析并生成更高效的代码。

Mozilla基金会指出，在诸如Kraken和V8的JavaScript基准测试中，形态推断（Type Inference）功能使得Firefox 9的速度得到了30%的提升。

新版Firefox 9较快的另一个因素就是它支持块XHR请求，允许网站在进行下载的时候就显示内容，而无需等待整个下载过程的完成。Mozilla表示，当网站下载大型数据集或者使用AJAX的时候，这个特性的重要性就表现得尤为明显。

专注于平板电脑的功能

在Macs中，Firefox for Mac支持两指重击导航手势，完善了多屏用户体验。Android版的Firefox 9则针对大屏幕尺寸的平板电脑进行了优化，例如Awesome Screen就整合了Firefox Sync功能，使得用户能够方便地访问浏览历史记录、打开的标签、书签，并且在桌面和移动设备之间保存密码。

新鲜的HTML5支持

Firefox for Android中使得开发者获益的就是能够支持HTML5 Form Validation API，在无需开发者填写自定义代码或使用第三方库的情况下就自动验证网站形式领域，如数字、电子邮件和网址等。