Viewing profile — baweaver

That's definitely one of the core motivations is to capture, contextually, as much of an upgrade as possible in hard code. It's also a perniciously hard problem I'm very far from s…

The testing utilities are also great. The difficulty, I'd say, is inherit to working with ASTs and simplifying it is hard. They tried with Node Pattern, synvert tried with NQL, and…

Consider it a sandbox and a more minimal syntax around what Rubocop already does well. If anything I may try and upstream some of it later after it takes more shape. It's also used…

To be fair I didn't post it :) Yeah, it's still very very early in the process and I released it as I have a talk at Ruby Kaigi going over some of how this works next Tuesday, so I…

You know I'm friends with @bbatsov right? That's reaching pretty far. I've actively funded the maintainers in the past as well, doesn't mean I agree with everything or every name, …

Agreed. Currently at Square so watching some of this. The best path forward will be a lot of discussion, especially around learnings with production codebases where possible. Perso…

That's definitely fair, and probably a large reason why they're so paranoid about repeating that.

The intention right now is for the StdLib to provide known types to build off of written in RBS. There's no requirement to use them necessarily. Steep and Sorbet are second-level, …

Yep, and glad to see the work Stripe is doing on things as well. Always enjoy seeing where you all are going. Soutaro has been great to work with over here (Square), and he has a t…

Yeah, there was a ton of discussion on this in the Ruby bugtracker and at core meetings. Matz is very sensitive to breaking the language with Ruby 3 and the core team is doing thei…

Sorbet was written in C++ and is a great piece of work, Stripe did a great job with it. It does have some issues as soon as someone gets into the magic weeds with metaprogramming l…

It was, and I was around during one of his discussions on that at RubyConf last year. It's a very valid concern and Matz is very sensitive to it. There are a lot of things he's jok…

Pretty much. Matz is very sensitive to breaking the language in any way with the Ruby 3 upgrade, which brought up the true keyword argument hard-break and [likely got that pushed b…

Matz had mentioned this as a key reason he was interested in working on this, as well as a "language server" with a lot of really interesting features like what JS/TS has with VS C…

That would be correct.

Soutaro is indeed a code member of the Ruby team, he also happens to work at Square. Soutaro is also one of the main contributors to RBS and helped define that standard. He was goi…

That's correct. Sorbet currently uses RBI but after meeting with core they standardized on RBS and are migrating to present a more unified front and enable easier development of ty…

It is, and checkers like Steep and Sorbet can infer these types. We're currently playing with the idea of deriving from documentation like YARDoc as well.

This. RBS is the underlying language for defining type checkers. Sorbet and Steep both utilize it, and this allows future type checkers to evolve from a known-base instead of havin…

I was more of referring to the level of separation.

Careful on that line as some of us become programmers and are quite apt at playing both roles when needed. In reality separation of concerns is a luxury only afforded to larger tea…