Q新闻丨6月编程语言排行榜：Kotlin首进50强；苹果再次重申全面禁止热更新；GMTC，一场聚焦移动开发未来的技术大会正在召开

Kotlin 是近来的热门话题。 三周前，Google 的 Android 团队宣布，除了 Java 和 C ++，Kotlin 成为 Android 的第三个官方编程语言。 从 Android Studio 3.0 开始完全支持 Kotlin。 Kotlin 由 JetBrains 开发，拥有良好的表现力和极佳的编译速度。Kotlin 可以编译成 Java 字节码，也可以编译成 JavaScript，方便在没有 JVM 的设备上运行。 除了 Kotlin，Hack 和 Rust 也在 50 名之内。

苹果在今年 3 月份的时候就曾向所有开发者推送警告邮件，宣布未来将禁用 APP 内部的“动态分发”功能。并要求开发者在自家 APP 中删除 JSPatch 相关框架，否则 APP 将面临下架或禁止上架。

6 月 1 日，苹果再次重申：要求当前含有热更新功能的 App，在 6 月 12 日前移除相关代码，否则这些 App 可能会下架。

由于软件热更新绕过了苹果的审核，黑客开发者有可能会通过提交正常的版本之后，通过热更新的方式修改 APP 导致安全隐患，这违反了苹果的安全隐私政策。另外苹果此举既能改善部分使用混编语言的 App 的流畅性，也能重新掌握一些渠道的 App 审核权限。可以料想，从 6 月 12 日开始，iOS 可能会出现一次 APP 下架的小高潮。

AL 是一种易用的声明式编程语言，适用于抽象语法树（AST）推理，使开发人员可以扩展 Facebook Infer 静态分析器的功能。

Infer 采用 OCaml 编写，可标识 Null 指针访问、资源和内存泄漏，以及其它一些 C、Java 和 Objective-C 代码中的可检测错误。据 Facebook 介绍，在他们的 iOS 和 Android 移动应用中，80% 的软件缺陷是由 Infer 正确地检测出的。

昨日， GMTC 全球移动技术大会 2017 在北京国际会议中心正式召开。本次大会将持续两天，由极客邦科技 & InfoQ 中国主办，以「 智能时代的大前端 」为主题，邀请谷歌、微软、阿里、腾讯、滴滴、今日头条等国内外知名企业 50 余位技术专家莅临现场演讲。

在上午主会场上，GMTC 全球移动技术大会主编徐川发表讲话，表示 InfoQ 对移动技术的关注重点从原生开发转到大前端，移动技术将会进入次时代。我们必须找到那些最新的技术。那么如何去找呢？主编分享了对于未来移动技术趋势的看法。

在 Google I/O 2017 大会上，Paul Irish 发表了一段"2017 开发者工具年度报告"，他展示了一些 Chrome 开发者工具的新特性，其中包括能够帮助开发者简化代码和处理现代 JavaScript 需求的一些新特性。

2017 年，web 开发者们正在寻找新的方法来提升和优化网页性能，如今，用户的实际体验被视为最具有提升潜力的部分。为此，Chrome 开发者工具现在提供了一个新的覆盖分析器（Coverage profiler），它能够显示出浏览器实际使用的 JavaScript 和 CSS 的百分比。

2017 年 6 月 6 日，360 商业产品 CTO 胡宁（女）被卡内基梅隆大学的校刊《今日卡内基梅隆》作为封面人物报道，介绍了胡宁过去在卡内基梅隆的故事和之后取得的成绩；这是中国首位获此殊荣的女性。

胡宁： 本科就读于清华大学，之后以计算机科学博士学位毕业于美国卡耐基·梅隆大学；2005 年加入 Google，先后在 Google 纽约、硅谷总部、北京分部工作，历任工程师、高级工程师、主任工程师、技术总监；2010 年加入 MediaV 任 CTO，负责技术和产品，之后被 360 收购进入 360；现任 360 商业产品 CTO。一份堪称完美和让人羡慕的教育和职业经历。

在 WWDC 2017 大会上，苹果宣布了一系列新产品，包括升级配置的新款 iMac， 下一个版本的桌面操作系统 macOS High Sierra， iOS 11（beta 版已经释出），家庭语音助手 HomePod，以及 10.5 英寸的 iPad Pro 和售价 5000 美元超高配置的 iMac Pro。其中 iPad Pro 采用了 ProMotion 自适应刷新率技术，支持最高 120Hz 的刷新频率，64GB WLAN 机型起售价为人民币 5,188 元； iMac Pro 将于 12 月发售，采用了目前尚未发布的处理器和显卡，包括 18 个核心的 Intel Xeon 处理器和 AMD 的 Radeon Pro Vega 显卡，中国版本的售价未公布。iOS 软件方面值得一提的一个功能是管理所有文件的“文件 app”（非常直白），Safari 浏览器将内置跟踪屏蔽，苹果将这项功能称之为 intelligent tracking prevention，采用了热门的“机器学习技术”去挫败数字跟踪狂。