Stream: t-compiler/wg-rls-2.0

Topic: Sorbet

matklad (Feb 02 2020 at 11:32, on Zulip):

I recommend everyone to spend 50 minutes watching this talk:

It describes the Stripe's type checker for ruby. In particular, it describes the ideal incremental compiler pipeline:

It's very instructive to reflect on how this is different from rust-analyzer's architecture.

There are two differences:

lqd (Feb 03 2020 at 22:46, on Zulip):

there's also a recent blogpost about it (part of an ongoing series on Sorbet)

Last update: Sep 22 2020 at 00:30UTC