Re: Ruby3 Will Have Types
Gerald Bauer <[email protected]>
| Newsgroups | gmane.comp.lang.ruby.general |
|---|---|
| Message-ID | <CAAxEZd_FfJBRL2fVaKDx+Ua5wkiiSF8dNmHYtUQJbgCmepizTA@mail.gmail.com> |
Hello,
> The HN link references a Twitter post. Is there some kind of official
> announcement, e.g. on ruby-lang.org, or at least something on the
> tracker at bugs.ruby-lang.org? Twitter does not appear as a serious news
> source to me.
Update: That's the best I found so far - that's the RubyKaigi 2019
Progress Report on Ruby 3 (Planned for December 2020 following Ruby
2.7 planned this year for December 2019).
See the Talk Slides titled "Static Analysis" [1]
Ruby 3 static analysis will have four items:
1. Type signature format
2. Level-1 type checking tool
3. Type signature profiling / prototyping tool
4. Level-2 type checking tools
...
Happy (type-safe) coding with ruby. Cheers. Prost.
[1] https://docs.google.com/presentation/d/1z_5JT0-MJySGn6UGrtdafK1oj9kGSO5sGlTtEQJz0JU/view#slide=id.g57cf166414_14_5
Unsubscribe: <mailto:[email protected]?subject=unsubscribe>
<http://lists.ruby-lang.org/cgi-bin/mailman/options/ruby-talk>