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: https://www.youtube.com/watch?v=Gdx6by6tcvw.

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 https://blog.nelhage.com/post/why-sorbet-is-fast/ (part of an ongoing series on Sorbet)

Last update: Feb 25 2020 at 02:10UTC