Interested in every aspect of software development, from type systems to product management.* Web & iOS app developer: Rails for web apps, UIKit, Objective-C and Swift for iOS apps.* Open source: I have sent several patches to open source projects. Also published some RubyGems, CocoaPods, and one NPM package.* DevOps: Since I am working in a small team, I do many operation tasks. Mainly using Heroku, and also have some Linux servers.* Product manager: Defined functionality of our products, prototype the user interface, and support developers to do their jobs.View the profile
About the talk
This talk is about the new feature of Ruby 3 for static type checking. The Ruby committer team had a plan to provide an optional static type checker for Ruby 3, but it is changed. Ruby 3 won't ship with a static type checker, but it will provide a feature called RBS to support type checker developments. In this talk, I will explain what RBS is, how the gem helps type tools developments, and what to do to get your gems ready for RBS.
Soutaro is a lead Ruby engineer at Square working on Steep, RBS, and static typing. He is a core Ruby committer working with Matz and other core committers on the RBS specification that will ship with Ruby 3.
Well here we are. Okay. So we are in the final throes of day. Number one, we've only got two primary slots left, including in, which is the keto closing this out. So I don't know about you, but 2020 has proven to be just as fast at this conference is it has the entire rest of the year. So here we are. All right, so a couple of things to check out before we goes number one. Again there's a keynote just following this year, just a little bit, so please make sure to tune in for that. And
then also, if you have not been paying attention or have noticed, some of the chaps going on or announcements that are happening inside the Open chat, make sure to check those out because there's a few different things that are coming up. That may be very valuable to you in some area of your life. So don't forget that stuff. All right, without further ado, Introduce satoro. He is going to be giving us the state of Ruby three typing. So here we go. The stage is yours. Okay, hello,
good afternoon. Yet. I'm speaking from Japan and it is 6 a.m. Idabel, extra careful, Duty Court. I'm also a member of there to be typed in section 2. So today are we talkin about the sad state of it so you typing. So what's happening? A short summary of The bsp and tithing. Show me serious tip with a feature to support at checkers. Include a text Tiffany, Sean blonde, guys called RV ass and write my record at the S Jam. Also include a detective missions in the air of the standard bribery is encouraging
between 5 and 4 already. That will be a liberal tactic Terriers available for debate. And we don't have a standard size speaker for do BCAAs Define. You can choose the best speakers for stores that give you a heart attack. If you choose This is a small release of detective. Case forever folder V. I want to introduce the mic a kick up ass, it's called Steve and if you want to change something, you can write Spooby to change the DLC. That's the one I just introduced is so bad.
Is cell. Watch the first step production-ready steps. I took care for the day and it is the most widely used to be today. Beasticus, Steve and so bad dreams that user. Write some type of decorations of the Colossus poem. But that time is different. It is an E-Tech security blocks by Mommy and Croatian War definition. Please play voice mail. Can you be quiet? I need to be programmed and it's right if Pines relationship between prostate and how that message got corned beef, be at when it tries to Jenna Wright State
Physicians of Therapy Program. It will be fine Josie, swiftly that. You can start using Tech Pro, just talked to you in so Ruby Street. Another temperature I should mention rref. It is an exciting project team is Best Buy. Yes, it means that we have at least put a kick is going to be today. I want you to start to explain. What is the idea of static Electric Inc? This is an example of a program. Mike's conference grasp objects. Please set up account, 2020, augment, and
issue. That talks to that talk. This is a very small to be program. The first one is that what is the type of the new method? We passed a string argument choose a new method. What is the nature of the new method symbol for m a x x + 40 years. Call my sister. Best Buy, can I order something right question? But it may be an onset of your face and you can just push my start, but it is, instead of hash, we cannot just push message. We need to use the March for Life. I still have
some attention of the speaker message that said, it's not clear. How is a beer with signature of a speaker message? We need to know the what the speaker. What what, what kind of biography is it to the Frog? So is that what is a type of the speaker? Look available? this is sex questions, if there is an incompatible metal, fragment is now what we want to do with a text to Jeannie s at to know information about the reasoning of this program because without running step program Instead food that accept checking,
we introduced a feature of ips. So what is a PS2 Define types of the B program? It is to describe the API of a departing for it. How about the relationship between Jack of Spades by step? Using rvsp? Can to find this structure of the B program. It also means they are the S is a rivalry and attitude have certificates performance. This is a very short example of the RPS. Scrap definition. It is to Define conference cost. Jason osterberg, a Spaceport integration. It means a Supercar is toxic It's hard to
edit your video syntax. How is the type of definition of? How is that type of insurance method argument? Ski Lodge Steamboat Springs. There is Peter message to Oba Rose. Steve a speaker. Or if we omit the rock, it will return an immigration office. States that at the eye of the conference cross. You think there's cost-efficient about? I always mess up the new type of string Osment. How is that talks mess out of the conference object is a push message. A speaker repeats it with Pastor brought you to a speaker message. It will be a speaker of, it will be every day.
So that type of the speaker by Brooke will be speaking in tongues. So you think the IDS, we can find some of the informations are. There are to be profound, and we will find some problems with some sort of, the kind of debt checks cords at, at kicking, I want to introduce some of the features of RBS. It has geniux Engine with instance. So we can write something like the array of integer. 18, c is an inside of a ray and the elements of the array is Institute. we can ride out of string
and I update you on the breeze of the hash object is Union, type of defining a type right now. Press brake a of the TV program so we don't need to define a twinkle twinkle. Simple. It's okay to be gay by you off. The Bible that value of the expression, but it's not a ninja Breaking Bad or images. We have no type of Union, type is new. Christian is equivalent to in one year. This is too important to reason about side near freaky of expression. Choppa style is to support typing. This is an example of a integer combat boot.
1/2 and 2 in to miss out on it because I'm in such an instance. But there is no assumption that the Supercar of a trust or if it types require to be a missing. It includes someone. Is it important to support an object? If it has intuition, you may find that start with an underscore. I'm with you. So to avoid that concrete, we need to put another Square before I send them of. Interphase That last one is an anti-theft bag, special type. Fast & Furious crew for Deborah time, value of it, and
it's difficult to reason about the value of antibiotics to give us doing something for that by you. It is an active warrants and any type of tax credit. It is an x-ray of the IDS and IPS bribery. the library is not very big library but that it has to be So I want you to explain how I can be intense. We want you to find the three types of the audience files, that standard rivalry size them tires on application site. Standard Library types. How to become a chest by the fire and all that. Jim
types is expired of gems, despair gems. You can write the happiest part of the gems is Pigeon post, isn't it? The audience files? Aspen API application types. so this is the power of the upright fee at signatures of applications and stereo power off the application uses definition I want you to say that the main target of RBS, a standard Library types of genotypes. I want you to show the audience can be used to eat by Sade. We want it. We hope that that extra cuz we're supposed the same text over that genotypes and standard Library times.
But we are not talking about the application type definitions. Facebook has some different Nigeria, type decoration languages and Civic continues. Play Antarctica, the blue one with, try to have it continue using the definition execration. Or maybe that one will try to use a PS4 application types. Death can be some some, some levels of the other options to the re-edit of each ticket. Use it on our PS4, the primary objective in children. Yes. And it is rotational. If users will write the IDS for the type of the application
and Hyprov, also supports RVs in 4 hours for the library. And enforce the types of your ugly programs without texting station. So it means that application How about so bad? And so they are bi as its native deterioration run yet. We hope that some of these upset of the Ipsy. Okay, so this is a very quick introduction of IBS. And yeah, I went with Sprint, the idea of Harvey as we just leave this question frequently that requires parking pass in and out of fire. So embedding speculation into because
I would be better because they're having a different fires before you say anything too tired, to change the name of my boyfriend. Yeah. I know that. Reasons. The first one is that to avoid breaking ties in to be called This is a request from bar because she believes that explanation will be updated in future. She says that in some time and then she once no time to begin in a quart. Yeah, I think that you're going to do bad things in dubious. We know that
not all of the individual parts are interested in Touching. We don't want you to untie for 10 a.m. So yeah, it sucks. Now in Derby. the last one is a somewhat technical that we need to support Survivor is Byzantine see or anything other than to be to be called, we need somewhere to support to the creative type in extensions libraries I want to know what that it is. Just a nice conversation. Set a timer at sorts is not to duplicate that in my interpretations conditions are needed for a
chiggers. And how do you say it? Like a conversation is 2/3 up to date. Okay, so I want you to talk about CRVs off to be gems. Be nice, catching lights a Sunday driver darts files. I want you to explain Texas steps to how we can just give you the IDF of the weekend and I want to explain. How would you write a PS5? so the first one, the first option is that place in jump, space IDs Just make unsticky rectory and RBS parts. This is an example of a gem codes from Jason. This is my jam, and it has
a secret and included in that. When are the estimate is trying to load a rivalry between, you can say 63 and lost the IPS fire skin. That's all I asked to to Art an IPS file for existing jams. Even if the ulcer of a giant don't want to publish, don't want to be this damn space RTS parts. We need a PS5. And if it was recalled mrds for price, to correct, the Odyssey on Spotify. Definition of is an example of an alarm for 2 and put some of the ideas on some sporting 5. I want you to know exact
match for bhajans of on the beach, MS. We, we want to have fun, ladies, Jam say, I guess five for a discount for 3 a.m. bike a 3.0 Dixie on Skype with Dr. GS5 old-fashioned interject. That's what one of our DS is a big difference from. Optimistic. It means, exit East play. Bhajans 321 is required. For 250 is no better by If it is semantic, versioning says 321 at 4 to is incompatible because I'm a virgin is different for you to it's all good. Dude you want to
go to It is because that we believe that having something Compass Road, don't have any issues and it is about if you find that incompatibility is a problem. Then you can just disable to rodents, a jab at a full back to manual for a few. Find a KOA. I want to know about the party at you got money over here by the obvious by speaking to buy some tools, and I'll meet you at the plantation. I want to show that expression of the type, brought you some smart to print, some of the hardest part.
Import Road, exhaust reviews. Chest pass is a pass. Name is the type of this keyboard. Yes, that is fine. As I choose at sports type but that is much prettier. We know we need to mention that there is a salmon types. Type r s in c e. R v. S me to review CRV spark energy for Tech Pro and we need to edit Safari. Okay. So this is an summary of the, my dog has a feature to support shoes. Step-by-step be careful and we might just have to be and it would be a question. Thank you for watching my presentation
Buy this talk
Buy this video
With ConferenceCast.tv, you get access to our library of the world's best conference talks.