TE
科技回声
首页24小时热榜最新最佳问答展示工作
GitHubTwitter
首页

科技回声

基于 Next.js 构建的科技新闻平台,提供全球科技新闻和讨论内容。

GitHubTwitter

首页

首页最新最佳问答展示工作

资源链接

HackerNews API原版 HackerNewsNext.js

© 2025 科技回声. 版权所有。

Why the Sorbet type checker is fast

116 点作者 brianyu8超过 5 年前

5 条评论

edflsafoiewq超过 5 年前
&gt; I’m struck here by an analogy to the Linux kernel. Kernel developers often use “time to build the kernel” as a go-to benchmark when proposing kernel optimizations, because it’s a performance-intensive benchmark that every kernel developer, by construction, has readily at hand. Not coincidentally, the Linux kernel is drastically faster than any other production kernel I know of for certain operations that kernel builds exercise heavily, such as filesystem lookups. I think there’s a general lesson here that converting some desirable system property into a direct personal pain point for developers of the system creates very powerful feedback loops to ensure that property.<p>Nice observation. It&#x27;s a generalization of how devs with slow computers write more efficient code.
评论 #22151149 未加载
muglug超过 5 年前
As an aside, it&#x27;s amazing how much work Stripe has put into Sorbet. More than half of the ~100 contributers work at Stripe: <a href="https:&#x2F;&#x2F;github.com&#x2F;sorbet&#x2F;sorbet&#x2F;graphs&#x2F;contributors" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;sorbet&#x2F;sorbet&#x2F;graphs&#x2F;contributors</a>
评论 #22151182 未加载
redka超过 5 年前
Tangentially related but what is the experience of introducing Sorbet into an existing Ruby codebase? How does it compare to rewriting Javascript code to Typescript? Does it provide benefits quickly or only after the whole thing is typed? Are there many gems already typed?
评论 #22149590 未加载
throwawayjava超过 5 年前
<i>&gt; These tests include fuzz testing, as well as running a “shadow build” in Stripe’s CI that runs over every pull request to the monorepo, but reports failures only to the Sorbet developers, instead of to the PR author.</i><p>What a great idea!
guy_c超过 5 年前
A nice demo of Sorbet in action - <a href="https:&#x2F;&#x2F;youtu.be&#x2F;jielBIZ40mw?t=837" rel="nofollow">https:&#x2F;&#x2F;youtu.be&#x2F;jielBIZ40mw?t=837</a>