陡峭:Ruby的静态类型检查器 源码

上传:banner2991 浏览: 24 推荐: 0 文件:ZIP 大小:955.44KB 上传时间:2021-03-19 11:53:41 版权申诉
陡峭-Ruby的渐进式打字 安装 通过RubyGems安装。 $ gem install steep 要求 陡峭需要Ruby 2.6。 用法 Steep不会从Ruby程序中推断类型,但是需要声明类型并编写注释。 您必须执行以下三个步骤。 0. steep init 运行steep init以生成配置文件。 $ steep init # Generates Steepfile 编辑Steepfile : target :app do check "lib" signature "sig" library "set" , "pathname" end 1.声明类型 在sig目录中声明.rbs文件的类型。 class Person @name: String @contacts: Array[Email | Phone] def initialize: (name: String) -> untyped def name: -> String def contacts: -> Array[Email | Phone] def gues
上传资源
用户评论
相关推荐
pyright Python静态类型检查源码
Python的静态类型检查器 速度 Pyright是用于大型Python源库的快速类型检查器。 它可以在“监视”模式下运行,并在修改文件后执行快速的增量更新。 可配置性 Pyright支持,这些提供对
ZIP
2.31MB
2021-02-09 23:42
hegel先进静态类型检查源码
| Hegel是JavaScript的类型检查器,具有可选的类型注释,可防止运行时类型错误。 没有运行时类型错误。 黑格尔拥有强大的类型系统和健全性检查。 这意味着他发现在运行时可能引发的任何Type
ZIP
2.05MB
2021-05-01 01:55
冰糕专为Ruby设计快速强大类型检查源码
冰糕 该存储库包含Sorbet,这是一个为Ruby设计的快速,强大的类型检查器。 它的目的是易于以渐进类型添加到现有代码库中,并快速响应错误和建议。 本自述文件包含专门为Sorbet作贡献的文档。 您
ZIP
10.63MB
2021-02-01 22:55
PythonPyright微软开源Python语言静态类型检查
Pyright-微软开源的Python语言的静态类型检查器
ZIP
0B
2020-05-12 10:16
Java静态类型检查示例代码详解
本文将使用几个代码示例,深入讲解Java中的类型检查机制。一旦完全理解了本文的例子,就完全掌握了Java中的静态类型检查,感兴趣的朋友一起看看吧
PDF
52KB
2020-08-30 03:43
Python Pyright微软开源Python语言静态类型检查
Pyright - 微软开源的Python语言的静态类型检查器
ZIP
777KB
2020-08-13 08:41
红外面向JavaScript快速可配置推断静态类型检查源码
红外线 针对JavaScript的快速,轻量级,推断静态类型检查器。 红外线是JavaScript的可配置且高效的静态类型检查器。 这是通过在整个程序上静态推断–跟踪变量的类型随其变化–并在运行时发生
ZIP
368KB
2021-02-01 22:29
ML静态动态类型检查语义分析
普林斯顿大学作业,ML静态动态类型检查语义分析,该分析先进性静态类型分析,然后基于动态类型,进行运行结果分析。
SML
0B
2019-02-28 05:00
JavaScript静态类型检查Flow.zip
Flow 是 Facebook 出品的一个用于 JavaScript 代码的静态类型检查工具。用于找出 JavaScript 代码中的类型错误。Flow 采用 OCaml 语言开发。 标签:Flow
ZIP
7.54MB
2020-08-18 17:23
JavaScript静态类型检查工具FLOW简介
主要介绍了JavaScript静态类型检查工具FLOW简介,需要的朋友可以参考下
PDF
0B
2020-10-28 07:58
Flow之一个新Javascript静态类型检查
今天我们兴奋的发布了 Flow 的尝鲜版,一个新的Javascript静态类型检查器。Flow为Javascript添加了静态类型检查,以提高开发效率和代码质量,本文给大家分享Flow之一个新的Jav
PDF
99KB
2020-10-28 07:22
ForalljsJavaScript表现式静态类型和不变检查
Forall.js:JavaScript表现式静态类型和不变检查
ZIP
11KB
2020-08-30 05:32
ex_type Elixir类型检查源码
ex_type:Elixir的类型检查器
ZIP
40KB
2021-02-06 17:40
type in​​fer Clojure实用程序用于检查Clojure编译推断静态类型源码
type-in​​fer:Clojure实用程序,用于检查Clojure编译器推断的静态类型
ZIP
11KB
2021-02-07 21:06
typedecorator基于装饰类型检查实现源码
类型装饰器 基于装饰器的Python类型检查实现。 提供@params , @returns和@void装饰@params ,用于描述函数参数和返回值的类型。 如果类型不匹配,则可以引发异常,可以记录
ZIP
13KB
2021-05-10 17:25