baweaver

6 ms·

1.
by baweaver 2y ago
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 solving well quite yet.
2.
by baweaver 2y ago
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 I wanted to try with pattern matching and potentially
3.
by baweaver 2y ago
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 wrap a lot of AST tools for a talk I have next week
4.
by baweaver 2y ago
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 wanted something out even if it's simple for
5.
by baweaver 2y ago
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, but I respect their work.
6.
by baweaver 6y ago
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. Personally I prefer inline annotations, but want to explore the p
7.
by baweaver 6y ago
That's definitely fair, and probably a large reason why they're so paranoid about repeating that.
8.
by baweaver 6y ago
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, they build off of RBS. Matz has mentioned offhandedly i
9.
by baweaver 6y ago
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 ton of really amazing things coming soon that we're work
10.
by baweaver 6y ago
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 their best to ensure an easy transition.
11.
by baweaver 6y ago
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 like Rails does. Disclaimer: Working at Square, have friends
12.
by baweaver 6y ago
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 joked about removing or changing but won't becau
13.
by baweaver 6y ago
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 back]( https://discuss.rubyonrails.org/t/
14.
by baweaver 6y ago
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 Code. I had the good fortune to hear him talk
15.
by baweaver 6y ago
That would be correct.
16.
by baweaver 6y ago
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 going to keynote on this at RubyKaigi this year until it was ca
17.
by baweaver 6y ago
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 type checking libraries on top of it. Very little of this
18.
by baweaver 6y ago
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.
19.
by baweaver 6y ago
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 having to reinvent everything.
20.
by baweaver 11y ago
I was more of referring to the level of separation.
21.
by baweaver 11y ago
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 teams and orgs. If you have the people, do it. If you don'
22.
The Clairvoyant Project(baweaver.com)
2 points by baweaver 11y ago|0 comments
23.
Intro to Spark(baweaver.com)
3 points by baweaver 11y ago|0 comments
24.
A Functional Programming Primer for Spark(baweaver.com)
2 points by baweaver 11y ago|0 comments
25.
Sublime Scoping with Rails(baweaver.com)
1 points by baweaver 11y ago|0 comments
26.
The Impersonal Interview(baweaver.com)
1 points by baweaver 11y ago|0 comments
27.
by baweaver 12y ago
OP Here. Had a bit of fun playing around with world theory, decided to share for kicks and giggles. More of a 'what if?' scenario than anything.
28.
The World Is a Functional Program(baweaver.com)
10 points by baweaver 12y ago|2 comments
29.
The Frivolous Front End Framework(baweaver.com)
1 points by baweaver 12y ago|0 comments
30.
A Burgeoning Blog – Why You Should Blog(baweaver.com)
1 points by baweaver 12y ago|0 comments

More ›