We're sadly not yet open-source, but the playground is up as a teaser and we will release once we have a bit more time. In the meanwhile we're happy to chat about it and answer any questions.
Show this thread
I've spent the last 6+ months working on a fast gradual typechecker for Ruby at @stripe, alongside @darkdimius and @ptarjan. Today we announced it at #rubykaigi2018, alongside an emscripten-based web playground: https://sorbet.run
-
-
-
This is just one of the super interesting developer productivity projects we have in-flight at Stripe; We're hiring at https://stripe.com/jobs if this is the kind of thing that strikes your fancy.
Show this thread -
Oh, and one quick brag: we typecheck source at nearly 100k lines/second/core. This is by far one of the fastest tools I've used and we're very proud of it.
Show this thread
End of conversation
New conversation -
-
-
Curious, why go this route as opposed to putting effort behind
@CrystalLanguage? -
Crystal has some really neat ideas, but it's not compatible enough with Ruby. We have millions of lines of Ruby we are adopting this onto incrementally.
-
Many years ago
@chadfowler convinced me that trying to add types to ruby without a compile step just converts one runtime exception to another. Are you adding a compile step for this? -
No compile step; type annotations are represented as a DSL; runtime library optionally wraps and checks at runtime, static checker runs on the side.
End of conversation
New conversation -
-
-
Looks great, I see some inspirations from RDL, is that right? (Typesystem built at runtime, not statically?)
-
Both, actually! We have a runtime system ala RDL that does checking by wrapping methods, and a second system that is completely static that parses the code+sigs and checks statically.
-
Definitely some inspiration from RDL, though -- we borrowed their annotations for the stdlib (with some fixes: https://github.com/plum-umd/rdl/pulls?utf8=%E2%9C%93&q=is%3Apr+author%3Aptarjan …+)
-
Thanks, can't wait to catch up on the talk!
End of conversation
New conversation -
-
-
Do you have a paper or blog post describing your work?
-
There are no blog posts or papers out yet. Talk that would cover some details of rollout and implementation has been accepted to
#strangeloop.
End of conversation
New conversation -
-
-
Very cool! You should come to Nashville and tell us all about it
@southeastruby!Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Oh wow. Congrats!
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
do sing out if you’re after another Rails monolith to try this out on! we’ve got loooaaddss of spots i now this would find issues
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Playing with the playground - that looks very nice.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
def bar(foo: Integer):returns(String) !
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.