内容简介:在昨日举办的 RubyKaigi 2019 大会上,知名 Ruby 开发者 Paul Tarjan 发表了名为"State of Sorbet: A Type Checker for Ruby"的主题演讲,Paul 曾就职于 Facebook,参与过 HHVM 和 Hack 的开发工作。 Kaigi 是日语...
在昨日举办的 RubyKaigi 2019 大会上,知名 Ruby 开发者 Paul Tarjan 发表了名为"State of Sorbet: A Type Checker for Ruby"的主题演讲,Paul 曾就职于 Facebook,参与过 HHVM 和 Hack 的开发工作。
Kaigi 是日语【会議】的罗马字母写法,因此我们可以将 RubyKaigi 看作是在日本举行的 RubyConf。
据 Dmitry Petrashko 的推特表示,Paul 在 RubyKaigi 2019 大会上的演讲透露了以下几点消息:
- 目前正与 Ruby 核心团队合作开发并为 Ruby 添加“静态类型”特性
- “静态类型”将会是 Ruby 3 stdlib 源码的一部分
- sorbet.org 网站已上线
- sorbet.run 提供了类似 IDE 一样的体验
Sorbet 是一个 Ruby 静态类型检查工具,不但快速而且功能强大:
- 多线程,可以在 CPU 的内核之间线性扩展。它会在几秒钟内完成类型检查,以在编码时提供反馈。
- 与编译器整合使用能提供像 IDE 一样的功能,如自动补全和跳转到定义。
- Sorbet 适用于常规的 Ruby,因此可以继续使用现有的 工具 链。
推荐阅读
Ruby 之父:Ruby3 有望 3 倍提速,不添加类型推断
以上就是本文的全部内容,希望本文的内容对大家的学习或者工作能带来一定的帮助,也希望大家多多支持 码农网
猜你喜欢:- Ruby 3 有望引入静态类型
- PHPKafka 1.1.3 发布,引入代码标准检测及静态分析工具,支持腾讯云 ckafka
- 静态库遇到静态库
- 全局变量,静态全局变量,局部变量,静态局部变量
- Android NDK秘籍--编译静态库、调用静态库
- static特别用法【静态导包】——Java包的静态导入
本站部分资源来源于网络,本站转载出于传递更多信息之目的,版权归原作者或者来源机构所有,如转载稿涉及版权问题,请联系我们。
The Little Typer
Daniel P. Friedman、David Thrane Christiansen、Duane Bibby、Robert Harper、Conor Mcbride / MIT Press / 2018-10-16 / GBP 30.00
An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time. A program's type describes its behavior. Dependent types are a first-class part of a language, and are......一起来看看 《The Little Typer》 这本书的介绍吧!