位置: 编程技术 - 正文

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

编辑:rootadmin

推荐整理分享Flow之一个新的Javascript静态类型检查器,希望有所帮助,仅作参考,欢迎阅读内容。

文章相关热门搜索词:,内容如对您有帮助,希望把文章链接给更多的朋友!

今天我们兴奋的发布了 Flow 的尝鲜版,一个新的Javascript静态类型检查器。Flow为Javascript添加了静态类型检查,以提高开发效率和代码质量。更明确的说,静态类型检查提供的好处像早期错误检查,帮助你发现一些只有在运行时才能发现的错误,以及代码智能感知,它会帮助代码维护,查找,重构和优化。

我们设计Flow的所有功能构建在现有Javascript规范之上。因为Flow主动地在后台工作,所以额外的编译开销很小。Flow并不要求开发者如何编写代码 —— 她用一套复杂的算法分析你熟悉的代码风格。

Flow仍然在初期阶段,但是我们已经在Facebook使用了。我们希望你在自己的项目中愉快的使用,期待你的反馈。可以访问 flowtype.org 快速开始。

总览

Facebook超爱Javascript;它快,表达性好,而且到处运行,是构建产品的极佳语言。同时,因为没有静态类型让开发者困扰。Bug难以发现(比如,崩溃的原因隐藏很深),代码维护犹如噩梦(比如,在不知道所有依赖的情况下进行重构风险很大)。Flow改进了速度和效率促进了开发者在使用Javascript的生成效率。

在Javascript之上添加一层静态系统并不简单。Javascript的积木(building block)表现力极高,一个简单的类型系统并不能精确组合出应有的语义。为了支持不同的Javascript编程范式和习惯,Flow引入了类似数据流(data-flow)和控制流(control-flow)这类通常用于编译时提取语义的分析技术。然后用提取的信息,加上先进的类型原理来做类型推断。当然,仅有一个强力的静态类型分析还不够 —— Javascript代码库会很大,这要求类型检查必须闪电般快速,才能不打断开发者编辑-运行的流程。Flow按模块执行分析,所有的类型都限制在模块边界以内。这最终形成一个高度并行、增量式的检查架构,类似 Hack 。这使得类型检查响应快速,即使是百万行级别代码。

Flow的类型检查是选择性的 —— 你不需要一次性执行检查所有。然而,Flow背后的设计基于假定大多数Javascript的代码类型是隐式静态类型;虽然类型可能不会到处在代码中出现,它们是以一种可以按照代码正确性推理出来的形式存在于开发者的思路中。一旦可能,Flow就去推断这些类型,意味着它可以不需要改动代码就能发现类型错误。另一发面,一些如存在于框架中的Javascript代码,大量使用了反射使得静态类型推断非常困难。对于这种天然动态的代码,类型检查就会错漏百出,因此Flow提供对此类代码添加信任并继续。这种设计在Facebook内部被大量的Javascript代码库所验证:大多数代码没有通过隐式静态类型检查条目,这些条目让开发者可以不用添加注释就能检查代码类型错误。

这使得Flow从根本上区别于其他Javascript的类型系统(如TypeScript),通过弱化的假设大多数JavaScript代码是动态输入的,并由开发者自己表达哪些代码应该是静态类型。通常来看,这类设计会导致检查覆盖率降低:更少的类型错误被检测到,工具不够高效。然而对于某些情况下是合理的,一般这种设计如果没有通过大量额外的努力就无法对实际开发提供足够多的帮助。尽管如此,Flow让你可以简单就获得这种弱化的类型检查,对于现有代码非常有用。

为了解释这种区别,请看下面的例子:

Flow能够发现这个错误(尝试把数字和字符串相乘),然而另一种更加保守的分析需要显式的标注 x 的类型。在这个玩具般的例子里面并不觉得费力,但是在巨型代码库里面几乎无人去做。Flow可以不用添加注释就能发现这个错误 —— 当然前提是开发者想这样做。

类型系统

Flow的类型系统实现了许多期望中的功能。支持标准基本类型( number , string , boolean ),类型之间的隐式转换在除一些特殊情形外是被禁止的。结构类型,如函数、对象和数组也被支持。类型可以是多态的。

也许你会感到意外,Flow没有把 null 和 undefined 当成是上述类型中的任何一种。这两种类型会有多种可能,使用这些类型必须在合理检查的保护之上。其它组合类型(如 string | number )也被支持,这种用法同样需要确保安全。Flow知道缩小类型范围时做动态检查的影响。

让我们用一个例子来描述处理 null 值。下面的程序总是在运行时崩溃,但是一般的类型系统会认为它没有问题:

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

Flow会在编译时期发现这个错误,并指出 x 可以是null( length 属性不应该被访问)。另外,Flow了解这个程序的控制流,所以简单修改就能让这个程序类型正确:

Flow还了解JavaScript复杂的对象模型:构造器,方法,原型和它们动态扩展以及绑定。已经试验性去支持类型的复杂操作如:绑定对象,抽取keys等等。我们希望未来这些功能使得让为框架指定具体类型成为可能。

类型错误通常报告为定义和实际值不兼容:比如函数调用的参数不足,对象中不包含要访问的属性,或者把字符串当成数字使用。

最后,Flow支持动态类型( any ),这种类型可以绕过类型系统检查:比如可用 any 表示静态分析无法准确判断而报错的location(通常使用反射的情况)。另外Flow在弱模式下遇到上述类型且没有注释类型的话,会自动假定为 any 。

扩展性

为了拓展,Flow根据模块和其它模块的依赖关系以及其它模块提供的类型接口,单独对每个模块进行检查。要生成类型接口,Flow可能需要在模块边界上进行注释。

Flow在一个后台运行的持久化服务器上,维护着整个代码库的语义信息,一开始Flow会对整个代码做一次分析,然后当一系列文件改动的时候(可能是单个文件改动或者在切换分支的时候),服务器会增量式更新改动文件以及由于类型关联的其它相关文件的语义信息。这样,当开发者试图获取类型错误时,它们已经在服务器上了,相应几乎是立即的。这种服务器架构与 Hack 构建在同一种技术之上。

兼容性

Flow致力于支持最新的JavaScript标准。目前已经支持各种ES6特性如destructuring, classes, extended objects, optional function parameters,以及核心API扩展(比如Map, Set, Promise, 和 new methods on Object, Array, 和 Math)。其它特性(尤其是模块)正在开发中。Flow支持CommonJS / Node.js 规范的模块。

如果你在JSX上使用的class名字有错误,Flow会发现这个问题:

而且,如果你在React class里面使用了React.PropTypes规范,你可以对JSX上的attributes做静态类型检查:

Flow就会发现 <Hello/> 缺少属性的错误,或者 <Hello name={}/> 属性类型的错误。

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

开源

Flow代码大部分用OCaml实现。代码库在活跃更新并且会在未来几个月快速进化。除了在Facebook范围内的数据代码库中运行外,我们希望Flow的分析引擎能用于构建类似的,无论是JavaScript或者其他的语言工具。请让我们知道你是否想加入!

好了,关于Flow之一个新的Javascript静态类型检查器的全部内容先给大家介绍到这里,后续还会持续更新,敬请关注!

图解Sublime Text3使用技巧 Sublime工具Web编程的我想大家都会知道吧,喜欢用的人也比较多,因为许多技巧,操作都很方便,下边介绍一下如何使用一些开发中常用的技巧!1.Sublime

Javascript实现Array和String互转换的方法 本文实例讲述了Javascript实现Array和String互转换的方法。分享给大家供大家参考,具体如下:Array类可以如下定义:varaValues=newArray();如果预先知道数组的

js实现仿微博滚动显示信息的效果 相信大家空闲的时候都会上上微博,推特等社交网站,每次我登陆微博时,我都会留意一下它有什么变化,小的有一些布局的变化,大的有API接口的改

标签: Flow之一个新的Javascript静态类型检查器

本文链接地址:https://www.jiuchutong.com/biancheng/386437.html 转载请保留说明!

上一篇:浅析JavaScript声明变量(js调用声音)

下一篇:图解Sublime Text3使用技巧(胰腺在人体的哪个部位图解)

  • 汽车增值税是企业交给国家的税
  • 必要收益率的取值可以是
  • 专票不抵扣认证什么意思
  • 开具技术服务费发票需要注意什么
  • 待认证进项税期末余额在贷方
  • 社保按基数交工资按时发怎么做账
  • 售后服务企业返利政策
  • 环保专项资金可以转让吗
  • 记账凭证核算形式账务处理程序的基本特点
  • 关于合并商誉应该减值还是摊销的辩论
  • 个人承担的社保算工资吗
  • 第三方投资入股
  • 进项税不够有别的税吗
  • 定额发票上盖什么章
  • 建筑行业劳务费开发票可以开工程款吗?
  • 报废固定资产收入计入什么科目
  • 公司购买二手车怎么抵税
  • 应收账款转让的会计处理
  • 代扣代缴增值税怎么申报
  • 硝铵磷肥的肥效期
  • 货币性项目和非货币性项目的区别是什么?如何进行处理?
  • 收到工会经费返还如何做账
  • ping命令出现unreachable
  • 期间费用率的意义
  • window10系统有几种
  • 完税证明和纳税申报表是一种东西吗
  • 月末结转本年利润怎么算
  • 代缴费社保
  • 在途物资运费会计科目怎么写
  • 如何在你的电脑上截图
  • thinkphp框架介绍
  • 购买仓库计入什么科目
  • 小规模拍卖公司怎么开票
  • 股东之间股权转让需要股东会决议吗
  • 管家婆实收资本显示负数什么原因
  • 购进原材料用于生产免税产品
  • 计算分配本月职工工资会计分录
  • 认缴出资和注册资本
  • 广播影视服务税率2023
  • 船舶税率是多少
  • 税务发票金额可以增加吗?
  • 个税返还手续费怎么做账
  • 盈余公积提取是什么意思
  • 转让负债 增值税
  • 建筑业一般纳税人增值税税负
  • 企业支付临时工劳务报酬需要取得发票吗
  • 土地承包经营权上的房屋
  • 未取得发票该怎么说明
  • 调整以前年度的费用怎么做
  • 客观原因怎么写
  • 专票三流合一指哪三流
  • 房地产一般纳税人可以不预缴增值税吗?
  • 长期待摊费用如何做分录
  • 销售废旧物资如何入账
  • mysql查看使用情况
  • win10安全系统
  • Windows Server 2008下 驾驭拨号上网
  • windows7的使用期限
  • 苹果Mac系统怎么安装
  • centos安装lvm
  • windows 8.1 with update (multiple editions)
  • RPDFLchr.exe - RPDFLchr是什么进程 有什么用
  • win8应用错误怎么办
  • 解决的英文
  • window10自动维护功能有什么用
  • perl中@_
  • java的gui框架
  • python进阶视频
  • unity摄像机怎么调出来
  • Node.js中的什么模块是用于处理文件和目录的
  • python基础开发
  • jquery操作样式的方法
  • ubuntu20.04 python
  • 手机截取电脑屏幕
  • python 管理系统
  • 督查局工作怎么样
  • 出口退税退运需要什么
  • 坚持问题导向的前提是
  • 土地增值税网上申报流程
  • 成都交房需要交什么费用
  • 免责声明:网站部分图片文字素材来源于网络,如有侵权,请及时告知,我们会第一时间删除,谢谢! 邮箱:opceo@qq.com

    鄂ICP备2023003026号

    网站地图: 企业信息 工商信息 财税知识 网络常识 编程技术

    友情链接: 武汉网站建设