Jeff Foster

I think there are two cases here: 1. For base_types.rb, I agree we want something like "type_alias :slice '[]'" 2. For other classes, we should intercept the alias method and...

Huh, odd. In any case, we can go with the slightly more awkward "type_alias" for everything, and at some point perhaps get a change made to the language so we...

I thought we would do this outside of the parser. So the typesig method would assign type signatures, and then the type_alias method would make aliases. That makes more sense...

Sure, rtc_alias sounds good. Yes, I think the type abbreviations in #22 should probably also be a method call---it removes an extra layer and simplifies the parser, so it seems...

Right, but with rtc_alias, you don't have to (a) extend the grammar with new "type my_type = ..." productions, and (b) explain to programmers what the new syntax means.

Sorry, you're right. For type aliases, I think they need to be in the parser, since we might at some point need a bit more complexity with them.

Now that rtc is much more mature, I think it's time to bite the bullet and get this done.

Going to http://api.rubyonrails.org/ and searching for "reload", I find there's a class ActionDispatch::Reloader (http://api.rubyonrails.org/classes/ActionDispatch/Reloader.html) that has something to do with reloading. I've also found a bunch of web pages about...