3 ms·

I wonder how well this model can typecheck Ruby code.

• fnordpiglet 2y ago
  Realistically only at static time
• Alifatisk 2y ago
  Can’t wait for the follow up paper, RBS
• thih9 2y ago
  Context: Sorbet is also the name of a popular Ruby type checker[1], built by Stripe. [1]: https://sorbet.org https://sorbet.org