SorbetRuby 类型检查器

联合创作 · 2023-10-02 02:49

Sorbet，一个快速且强大的 Ruby 类型检查器，大部分代码都是用 Ruby 编写的，为 Ruby 开发环境提供了类似 IDE 的特性，包括自动完成和跳转到定义等。

包括内容

核心静态类型检查器
创建新的 Sorbet 项目的工具
在现有项目中逐步采用 Sorbet
用于编写类型注解的 DSL
用于共享 Ruby gems 类型定义的中央存储库

特点

快速且可伸缩
简单且强大
兼容 Ruby
以配合团队使用的循序渐进的设计

浏览 7

点赞

收藏

分享

举报

评论

图片

表情

typepyPython 变量类型检查器

typepy 是一个Python库，用于运行时的变量类型检查器/验证器/转换器。特征检查值的类型验证类型的值将值从一种类型转换为另一种类型Python类型和typepy类的对应关系如下：支持的类型Py

typepyPython 变量类型检查器

typepy 是一个 Python 库，用于运行时的变量类型检查器/验证器/转换器。特征检查值的类型

Hegel高级静态类型检查器

Hegel是JavaScript的类型检查器，具有可选的类型注释并防止运行时类型错误。没有运行时类型错误。Hegel有一个强大的类型系统和健全性检查。这意味着他能发现任何可能在运行时抛出的类型错误。可

Hegel高级静态类型检查器

Hegel 是 JavaScript 的类型检查器，具有可选的类型注释并防止运行时类型错误。没有运行

使用 Flow 类型检查

FlowJavaScript 静态类型检查

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

is WhatJS 类型检查工具

isWhat是一个非常简单且小巧的JS类型检查功能，它同样完全支持TypeScriptnpmiis-what用法is-what很容易使用，并且大多数功能都可以像你所期望的那样工作。//importfu

FlowJavaScript 静态类型检查

Flow 是 Facebook 出品的一个用于 JavaScript 代码的静态类型检查工具。用于找

PyrePython 类型检查工具

Pyre是一个快速、可扩展和高性能的Python类型检查工具，适用于大型的 Python3代码库，旨在通过在终端或编辑器中以交互方式标记类型错误来帮助提高代码质量和开发速度。Pyre随附了Pysa，这

inaka-sheldonErlang 拼写检查器

Sheldon 是一个非常简单的 Erlang 拼写检查器。当某些单词拼写错误时，Sheldon会建

点赞

收藏

分享

举报