Re: Ruby3 Will Have Types
Allen Maxwell <[email protected]>
| Newsgroups | gmane.comp.lang.ruby.general |
|---|---|
| Message-ID | <[email protected]> |
here is a talk that Matz gave at the beginning of April about Ruby3 at RubyHACK… there are also a bunch of other talks from the event… come check us out next year!
https://www.youtube.com/playlist?list=PLE7tQUdRKcyYoLJFe8Y6TMgZgUkqlSQzN
Max
///
/ ^ \
( o-o )
---oOOO--(_)--OOOo------------------------------------------
"Difficult things take time,
Impossible things take just a little bit more..."
-Art Bergs' Mom
.oooO
( ) Oooo.
----\ (----( ) -------------------------------------
\_) ) / Allen A. Maxwell
(_/ (801) 790-4500 (w)
(801) 502-4745 (c)
> On Apr 19, 2019, at 11:56 AM, Gerald Bauer <[email protected]> wrote:
>
> 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>
Unsubscribe: <mailto:[email protected]?subject=unsubscribe>
<http://lists.ruby-lang.org/cgi-bin/mailman/options/ruby-talk>