资讯频道 → 开源软件
阅读更多

1顶
0踩

开源软件

转载新闻 Flow：Facebook 的 JavaScript 静态类型检查器

2014-11-27 10:48 by 正式编辑 cao345657340 评论(0) 有3892人浏览
javascript facebook 开源
11 月 18 日，Facebook 宣布推出一个开源的 JavaScript 静态类型检查器，旨在发现 JS 程序中的类型错误，以提供程序员的效率和代码质量。本文译自 Facebook 官博文章，FB 的三位工程师为大家简要介绍了这个工具。

今天，我们很兴奋要发布 Flow 的先期版本，它是一个新的开源JavaScript静态类型检查器。Flow给JavaScript增加了静态类型来提高开发人员的生产力和代码质量。特别是，静态类型提供了一些极大的助益，如前期错误检测，它可以帮助您避免某些种运行时故障；如代码的智能提示，这有助于代码维护、导航、转换和优化。

我们设计了Flow，使得开发人员能够获得它的裨益，同时不会失去在在JavaScript中编码的“感觉”。Flow增加了最小的编译时开销，因为它会主动地在后台做所有的工作。同时Flow并不强制你改变你如何编码 ，它会执行复杂的程序分析来迁就你所熟悉和喜欢的习惯。

Flow仍处于早期阶段，不过我们已经在Facebook上尝试用它了。我们希望你会享受在你的项目使用它，并期待您的反馈。您可以访问flowtype.org学习上手。



概述

Facebook是喜欢JavaScript的；它快速便捷，它富有表现力，它到处可以允许，这些使得它成为一个伟大的产品构建语言。同时，静态类型的缺失拖慢了开发者。bug难于找到（如奔溃往往是离导致的根源很远），代码维护噩梦一般（如在对全部的依赖项没有完整认知的情况下，重构就是在冒险）。Flow提高了速度和效率，使开发人员可以在使用JavaScript更加高效率。

但分层静态类型系统上的JavaScript很不简单。 JavaScript积木般的语法非常富有表现力，而简单的类型系统不足以精确建模它们的语义。为和几种常见的JavaScript风格无缝协作，Flow采用的这种数据流和控制流分析，编译器通常表现为从代码中提取语义信息。然后使用这些信息进行类型推导，构建类型理论的高级技术。当然了，设计一个功能强大的静态分析还不够 —JavaScript代码库可能会很大，所以类型检查必须速度极快以不打断开发者的的编辑运行循环。Flow进行其模块化的分析，以模块的边界指导类型。这样可以进行激烈的并行增量式的类型检查架构，很像Hack。这使得类型检查看上去只在转瞬间，即使有数百万行代码。

Flow的类型检查是选择在–你不需要立刻类型检查所有你的代码。然而，Flow的设计基本是假设大部分的JavaScript代码被是隐式静态类型；甚至类型可能根本未在代码的任何地方出现，他们在开发者的心中，用来推理代码的正确性。Flow尽可能地自动推断出那些类型，这意味着它可以找到类型错误，而无需修改任何代码。在另一方面，一些JavaScript代码，尤其是框架，大量使用反射，往往是很难静态推导的。对于这样的固有动态代码，类型检查会很不精确，所以Flow提供了一个简单的方法来明确信任这样的代码并继续。这种设计在我们Facebook巨大的JavaScript代码库中得到了验证：我们的大多数代码是隐式的静态类型，开发人员可以检查他们代码的类型错误，而无需显式标注的代码类型。

这使Flow跟现有的JavaScript类型系统（如 TypeScript）大为不同，现有的类型系统做了个较弱的假设，即大部分JavaScript代码是动态类型的，而且它是由开发者指明哪些代码可能适合做静态类型化。在一般情况下，这种设计会导致以下范畴内的减益：较少类型的错误被发现，并且工具是不那么有效。虽然这对于一些代码是个合理选择，但一般而言这样的设计不能提供足够多的好处，因为它可能没有明显的额外工作。当然，必要时Flow提供在切换到类型检查的这个弱模式，比如，检查现有的代码时，这是个典型的有效简单方法。

为了说明这个差别，看看这个小例子： 
function onlyWorksOnNumbers(x) {
     return x * 10;
}
onlyWorksOnNumbers(‘Hello, world!’);

Flow将捕获错误（我们正试图乘一个数字和一个字符串），而较保守的分析需要明确标注x的类型。在这个玩具例子里，不会有问题，但对一个巨大的代码库所需要标注的量可能过高。Flow可以发现程序里的错误，而不需要注释–当然，虽然程序员可以随意添加类型注释，如果他们选择这么干。

类型系统

Flow的类型系统的许多特性都是可以预见的。对标准基本类型（数字，字符串，布尔）的支持，以及禁止它们之间的隐式转换，除非有一小部分合法的情况下。结构类型，如那些用于函数，对象和数组的，也支持。类型可以是多态的。

令人惊讶的是，Flow不会考虑null和undefined是上述类型的一部分。包括着他们的类型也是可能的类型，而这些类型的使用必须进行相应的检查以防备之。对其他类型的联合（例如string|number）也是支持的，而且其使用液需要进行类似的防备。Flow理解在收窄类型的动态检查中的影响。

让我们看一个例子来说明空值的处理。下面的程序崩溃总是在运行，但传统的类型系统会认为这是很好的类型化： 
function length(x) {
  return x.length;
}
var total = length('Hello') + length(null);

Flow会在编译时捕获这个错误，并指出x可以为空（因此它的length属性不应该被访问）。此外，FLow了解到贯穿程序的控制流，所以这个程序的简单变化会得到很好的类型化： 
function length(x) {
  if (x !== null) {
    return x.length;
  } else {
    return 0;
  }
}
var total = length('Hello') + length(null);

此外，Flow理解JavaScript的对象模型的复杂性：构造函数、方法、原型和其动态扩展和绑定。还有对于指定的对象复杂的操作，如合并对象，提取它们的键，等等类型的实验支持。我们希望在未来这些特性将使使框架API可以指定精确的类型。

类型错误通常报告为值及其用途之间的不兼容：例如，一个函数被调用时参数过少，对象中丢失的属性被访问，或一个字符串作为一个数字使用。

最后，Flow支持动态类型（任何），它可以用于绕过期望的类型系统：例如，任何可以用来注释的位置处的静态分析是不精确的，并导致为类型错误（通常，使用了反射）。此外，切换Flow到上述类型检查的弱模式会导致所有位置的未注明类型被假设为注解。

该类型系统的更多细节可以在文档中找到。

可伸缩性

要想可伸缩，Flow得分别检查每个模块，利用其对模块与其它模块的依赖关系及其它模块的类型接口的所知。为生成这些类型的接口，Flow可能会要求类型标注在模块的边界。

Flow在在后台运行的持续服务维持着整个代码库的语义信息。当服务启动时，Flow执行整个代码库的初步分析。随后，每当一组文件被改变（由于个别文件被保存，或者被切换或重订到一个开发分支），这个服务通过逐步检查这些文件和其他文件的正确性，可能已经受到的变化，来更新其已知。这样，当开发者请求类型错误时，它们是已经可用的服务，所以可以瞬时响应。这种服务器架构是建立在和强大的Hack相同的技术上。

兼容性

Flow致力于跟随JavaScript的标准的发展。它已经支持各种ES6特性，如析构，类，扩展对象，可选函数参数，以及核心API的扩展（如Map，Set，Promise，以及Object，Array和Math的新函数）。其他特性（尤其是模块）也在开发中。Flow支持模块组织遵从CommonJS的/ Node.js的规范。

此外，Flow支持JSX和可用于类型检查React 应用程序。比方说，你定义一个React 的类： 
var Hello = React.createClass ({
 render: function() {
   return <div>Hello {this.props.name}</div>;
 }
});

如果您在命名JSX字面量的React类时输入了一个错字，Flow将捕获如下的错误： 
React.render(<Hallo name='Mark'/>, ...);

此外，当您在React类中使用React.PropTypes标准时，你可以静态地类型检查JSX字面量的属性，：

Flow现在会捕获错误如属性缺失，如<Hello/>，或者用了错误的类型属性，如<Hello name={42}/>。

更多细节可以在Flow的React支持文档中找到。

开源

Flow实现了OCaml中的大部分。代码库正在积极发展，并会继续在未来数个月内迅速发展。除了工作在Facebook的代码库，我们希望Flow的分析引擎的实现将是非常有用的，就像那些构建JavaScript和其他语言类似的开发工具一样。如果你想合作，请让我们知道！

要了解更多关于Flow，请下载尝试一下，来看看flowtype.org，或者点击下面的按钮。

Source Watch Fork
  • 大小: 19 KB
来自: 伯乐在线
1
顶
0
踩
评论 共 0 条 请登录后发表评论

发表评论

您还没有登录,请您登录后再发表评论

相关推荐

  • Flow之一个新的Javascript静态类型检查器

    今天我们兴奋的发布了 Flow 的尝鲜版，一个新的Javascript静态类型检查器。Flow为Javascript添加了静态类型检查，以提高开发效率和代码质量。更明确的说，静态类型检查提供的好处像早期错误检查，帮助你发现一些只有...

  • JavaScript静态类型检查工具FLOW简介

    Flow是Facebook出品的，针对JavaScript的静态类型检查工具。其代码托管在github之上，并遵守BSD开源协议。 关于Flow 它可以帮助我们捕获JavaScript开发中的常见错误，而不需要额外地修改你原有的代码，比如静态类型...

  • JavaScript静态类型检查Flow.zip

    Flow 是 Facebook 出品的一个用于 JavaScript 代码的静态类型检查工具。用于找出 JavaScript 代码中的类型错误。Flow 采用 OCaml 语言开发。 标签：Flow

  • JavaScript静态类型检查器----Flow

    JavaScript静态类型检查器----Flow一、Flow介绍二、Flow快速上手三、移除类型注解四、类型注解五、原始类型注解六、数组类型注解七、对象类型注解八、函数类型注解九、一些特殊的类型注解十、任意类型Mixed和Any ...

  • 理解Flow静态类型检查

    Flow是一个由Facebook出品的JavaScript静态类型检查工具，它与Typescript不同的是，它可以部分引入，不需要完全重构整个项目，所以对于一个已有一定规模的项目来说，迁移成本更小，也更加可行。类型检查是当前动态...

  • 进阶学习12：Flow——JavaScript的类型检查器(安装&使用、Flow详解)

    目录 一、概述 二、安装 三、使用 1.运行方式 2.编译移除注解 ...1.官方的 flow-remove-types ...四、Flow特性 ...1.类型推断 ...2.类型注释 ...Flow是一款JavaScript的静态类型检查器，是2014年Facebook推出的一.

  • php静态类型检查,如何使用flow进行静态类型检查

    Flow 是 facebook 出品的 JavaScript 静态类型检查⼯具。Vue.js 的源码利⽤了 Flow 做了静态类型检查，所以了解 Flow 有助于我们阅读源码。为什么⽤ Flow？JavaScript 是动态类型语⾔，它的灵活性有⽬共睹，但是过于...

  • Flow, 一个新的Javascript静态类型检查器

    原文链接：https://code.facebook.com/posts/1505962329687926/flow-a-new-static-type-checker-for-javascript/ Avik Chaudhuri Basil Hosmer Gabriel Levi caisijie 翻译于 2015/1...

  • Flow-JS静态类型检查工具

    前言 在使用vue-grid-layout插件的时候，运行时报错 然后就发现该js中使用typescript，查阅资料发现，Flow是个JavaScript的静态类型检查工具，由Facebook出品的开源码项目，简单来说，它是对比TypeScript语言的解决...

  • 科普转载 静态类型检测工具Flow

    Flow 是javascript代码的静态类型检查工具。它是Facebook的开源项目，Vue.js(v2.6.10) 的源码使用了Flow做了静态类型检查。 一、使用Flow为js添加类型注释 通过给js代码添加一些类型注释，便可以借助Flow对文件...

  • 突破桎梏（六）：JavaScript 类型系统方案：Flow、TypeScript

    今天我们要从介绍编程语言的类型开始，再介绍 JavaScript 中类型体统存在的问题，再到为解决 JavaScript 类型系统的不足诞生出的两种最主流的 JavaScript 类型系统方案：Flow 和 TypeScript。 你准备好了吗？ 大纲...

  • Flow - JS静态类型检查工具

    Flow本质上也只是个检查工具，它并不会自动修正代码中的错误，也不会强制说你没按照它的警告消息修正，就不会让你运行程序。当然，并没有要求什么时候一定要用这类的工具，只是这种作法可以让你的代码更具强健性与...

  • 在VSCode中为Vue.js开发启用静态类型检查Flow

    众所周知，Javascript是一种弱类型（或者称为动态类型）语言，即变量的类型是不确定的。例如，下面代码中的temp一开始是字符串，后来又变成了数字：12temp = 'hello';temp = 5; 弱类型语言变量类型完全由当时的值...

  • 前端测试 - 静态类型检测（Flow， TypeScript）

    先要分清楚，强类型和弱类型、静态类型和动态类型是两组不同的概念，类型强弱是针对类型转换是否显示来区分，静态和动态类型是针对类型检查的时机来区分。 静态类型语言和动态类型语言得核心区别在于，静态类型语言...

  • JS 静态类型检查工具 Flow

    本文主要介绍了解决JS作为弱类型语言没有类型检查痛点的静态类型检查工具 Flow ，并且介绍了在WebStorm中使用Flow的方法，最后介绍了一些常用的Flow语法。 1. 简介 JS作为一种脚本语言是没有类型检测的，这个特点有...

  • 基于FPGA的四相八拍步进电机控制系统设计：集成交付、正反转、加速减速及调速功能

    内容概要：本文详细介绍了基于FPGA的四相八拍步进电机控制系统的开发过程。主要内容包括：1. 使用VHDL和Verilog编写LED显示屏驱动代码，用于显示角度、学号和姓名等信息；2. 实现步进电机的正反转控制，通过状态机管理相序变化；3. 开发加速减速控制模块，确保电机启动和停止时的平稳性；4. 设计调速功能，通过调节脉冲频率实现速度控制。此外，文中还讨论了调试过程中遇到的问题及其解决方案。 适合人群：对FPGA开发和步进电机控制感兴趣的电子工程师、嵌入式系统开发者以及相关专业的学生。 使用场景及目标：适用于需要高精度运动控制的应用场合，如工业自动化、机器人技术和精密仪器等领域。目标是帮助读者掌握FPGA控制步进电机的基本原理和技术细节。 其他说明：文中提供了详细的代码片段和调试经验分享，有助于读者更好地理解和应用所学知识。同时，作者还提到了一些实用技巧，如通过PWM调节实现多级变速，以及如何避免步进电机的共振问题。

  • Android开发：基于SQLite的日历备忘录记事本项目详解与实现

    内容概要：本文详细介绍了基于Android Studio开发的日历备忘录记事本项目，涵盖日历查看、添加备忘录、闹钟提醒和删除备忘录等功能。项目使用SQLite数据库进行数据存储，通过CalendarView、EditText、Button等控件实现用户交互，并利用AlarmManager和PendingIntent实现闹钟提醒功能。此外，项目还包括数据库的设计与管理，如创建DatabaseHelper类来管理数据库操作，确保数据的安全性和完整性。文章还探讨了一些常见的开发技巧和注意事项，如时间戳的使用、手势监听的实现等。 适用人群：适用于初学者和有一定经验的Android开发者，尤其是希望深入了解Android开发基础知识和技术细节的人群。 使用场景及目标：该项目旨在帮助开发者掌握Android开发的基本技能，包括UI设计、数据库操作、闹钟提醒机制等。通过实际项目练习，开发者能够更好地理解和应用这些技术，提升自己的开发能力。 其他说明：文中提到一些进阶任务，如用Room替换SQLite、增加分类标签、实现云端同步等，鼓励开发者进一步扩展和优化项目。同时，项目源码公开，便于学习和参考。

  • Matlab实现基于SVM-Adaboost支持向量机结合Adaboost集成学习时间序列预测的详细项目实例（含完整的程序，GUI设计和代码详解）

    内容概要：本文档详细介绍了一个基于SVM（支持向量机）和Adaboost集成学习的时间序列预测项目。该项目旨在通过结合这两种强大算法，提升时间序列预测的准确性和稳定性。文档涵盖了项目的背景、目标、挑战及其解决方案，重点介绍了模型架构、数据预处理、特征选择、SVM训练、Adaboost集成、预测与误差修正等环节。此外，文档还探讨了模型在金融市场、气象、能源需求、交通流量和医疗健康等多个领域的应用潜力，并提出了未来改进的方向，如引入深度学习、多任务学习、联邦学习等先进技术。 适合人群：具备一定机器学习基础的研究人员和工程师，特别是那些从事时间序列预测工作的专业人士。 使用场景及目标：①用于金融市场、气象、能源需求、交通流量和医疗健康等领域的复杂时间序列数据预测；②通过结合SVM和Adaboost，提升预测模型的准确性和稳定性；③处理噪声数据，降低计算复杂度，提高模型的泛化能力和实时预测能力。 其他说明：文档不仅提供了详细的理论解释，还附有完整的Matlab代码示例和GUI设计指导，帮助读者理解和实践。此外，文档还讨论了模型的部署与应用，包括系统架构设计、实时数据流处理、可视化界面、GPU加速推理等方面的技术细节。

  • #游戏之追逐奶酪123

    #游戏之追逐奶酪123

Global site tag (gtag.js) - Google Analytics